数据类型¶

变量和常量¶

关键字let声明变量，const声明常量，并通过类型注释指定类型

//变量
let count: number = 0;
count = 40;
//常量
const MAX_COUNT: number = 100;

基本类型：string、number数字类型、boolean、enum

引用类型：Array、自定义类

联合类型：Union

类型别名：Aliases

String类型¶

string代表字符序列；可以使用转义字符来表示字符。

字符串字面量由单引号（'）或双引号（"）之间括起来的零个或多个字符组成。

字符串字面量还有一特殊形式，是用反向单引号（`）括起来的模板字面量。

let s1 = 'Hello, world!\n';
let s2 = 'this is a string';
let s3 = `The result is ${a}`;

Void类型¶

void类型用于指定函数没有返回值。

此类型只有一个值，同样是void。由于void是引用类型，因此它可以用于泛型类型参数。

class Class<T> {  
    //...
}
let instance: Class <void>

Object类型¶

Object类型是所有引用类型的基类型。任何值，包括基本类型的值（它们会被自动装箱），都可以直接被赋给Object类型的变量。

Array类型¶

array即数组，是由可赋值给数组声明中指定的元素类型的数据组成的对象。

数组可由数组复合字面量（即用方括号括起来的零个或多个表达式的列表，其中每个表达式为数组中的一个元素）来赋值。数组的长度由数组中元素的个数来确定。数组中第一个元素的索引为0。

let names: string[] = ['Alice', 'Bob', 'Carol'];

Enum类型¶

enum类型，又称枚举类型，是预先定义的一组命名值的值类型，其中命名值又称为枚举常量。

使用枚举常量时必须以枚举类型名称为前缀。

enum ColorSet { Red, Green, Blue }
let c: ColorSet = ColorSet.Red;

常量表达式可以用于显式设置枚举常量的值。

enum ColorSet { White = 0xFF, Grey = 0x7F, Black = 0x00 }
let c: ColorSet = ColorSet.Black;

Union类型¶

union类型，即联合类型，是由多个类型组合成的引用类型。联合类型包含了变量可能的所有类型。

class Cat { 
    // ...
}
class Dog { 
    // ...
}
class Frog { 
    // ...
}
type Animal = Cat | Dog | Frog | number// Cat、Dog、Frog是一些类型（类或接口）

let animal: Animal = new Cat();
animal = new Frog();
animal = 42;
// 可以将类型为联合类型的变量赋值为任何组成类型的有效值

可以用不同的机制获取联合类型中特定类型的值。

示例：

class Cat { sleep () {}; meow () {} }
class Dog { sleep () {}; bark () {} }
class Frog { sleep () {}; leap () {} }

type Animal = Cat | Dog | Frog | number

let animal: Animal = new Frog();
if (animal instanceof Frog) { 
    let frog: Frog = animal as Frog; // animal在这里是Frog类型 
    animal.leap(); 
    frog.leap(); 
    // 结果：青蛙跳了两次
}
animal.sleep (); // 任何动物都可以睡觉

Aliases类型¶

Aliases类型为匿名类型（数组、函数、对象字面量或联合类型）提供名称，或为已有类型提供替代名称。

type Matrix = number[][];
type Handler = (s: string, no: number) => string;
type Predicate <T> = (x: T) => Boolean;
type NullableObject = Object | null;