TypeScript(一)

基础类型

TypeScript支持与JavaScript几乎相同的数据类型,还提供了实用的枚举类型

布尔值(boolean)

let isDone: boolean = false;

数字(number)

和JavaScript一样,TypeScript里的所有数字都是浮点数,这些浮点数的类型为number,除了支持十进制和十六进制外,还支持二进制和八进制

let decLiteral: number = 6;//十进制
let hexLiteral: number = 0xf00d;//十六进制
let binaryLiteral: number = 0b1010;//二进制
let octalLiteral: number = 0o744;//八进制

字符串(string)

和JavaScript一样,可以使用双引号("")或单引号('')表示

let name: string = "bob";
name: string = 'smith';

还可以使用模板字符串,可以定义多行文本和内嵌表达式.这种字符串被反引号(`)包围,并且以${expr}这种形式嵌入表达式

let name: string = `Gene`;
let age: number = 37;
let sentence: string = `Hello, my name is ${name}. I'll be ${age + 1} years old next month.`;

数组(Array)

TypeScript像JavaScript一样可以操作数组元素,有两种方式可以定义数组:
第一种,可以在元素后面街上[],表示由此类型元素组成的一个数组

let list: number[] = [1, 2, 3];

第二种方式是使用数组泛型,Array<元素类型>

let list: Array<number> = [1, 2, 3];

这里面的数组是把JavaScript里的数组摘取了一部分,用于定义某种统一类型的数组

元组(Tuple)

元组类型允许表示一个已知元素数量和类型的数组,各元素的类型不必相同

let x: [string, number];
x = ['hello', 10];//OK
x = [10, 'hello'];//报错

当访问一个已知索引的元素会得到正确的类型

console.log(x[0].substr(1));//ok,字符串有该方法
console.log(x[1].substr(1));//报错,数字类型没有该方法

当访问一个越界的元素,会使用联合类型替代,其实意思就是说后面的元素可以为前面已经有过的元素类型

x[3] = 'world';//ok
x[6] = true;//报错,布尔不是前面定义的(string|numebr)类型

枚举(enum)

枚举类型是对JavaScript标准数据类型的一个补充,使用枚举类型可以为一组数值赋予友好的名字

enum Color {Red, Green, Blue}
let c: Color = Color.Green;//1

默认情况下从0开始为元素编号,可以手动指定成员的数值:eg

enum Color {Red = 1, Green, Blue}
let c: Color = Color.Green;//2

或者,全部都采用手动赋值

enum Color {Red = 1, Green = 2, Blue = 4}
let c: Color = Color.Green;//2

枚举提供的一个便利是可以由枚举的值得到它的名字:eg

enum Color {Red = 1, Green, Blue}
let colorName: string = Color[2];//Green

Any(any)

为在编程阶段还不清楚类型的变量指定一个类型,如果我们不希望类型检查器对值进行检查而是直接让它们通过编译阶段的检查就可以用any类型来标记这些变量

let notSure: any = 4;
notSure = "Maybe a string instead";
notSure = false; //ok

在对现有代码改写时,any类型是十分有用的,它允许你在编译时可选择性的包含或移除类型检查
当你只知道一部分数据的类型时,any;类型也是有用的,比如,一个数组,包含了不同类型的数据

let list: any[] = [1, true, 'free']
list[1] = 100;

其实就是说any类型就是本来JavaScript默认的

Void(void)

看起来void类型像是与any类型相反,表示没有任何类型,当一个函数没有返回值时,你通常会见到返回值时void:

function warnUser(): void {
    alert("This is my warning message");
}

声明一个void类型没有什么大用,因为你只能为它赋予undefined和null:

let unusable: void = undefined;

Null(null)和Undefined(undefined)

TypeScript里,undefined和null两者各有自己的类型分别叫做undefined和null.和void相似,它们的本身的类型用处不是很大

let u: undefined = undefined;
let b: null = null;

默认情况下null和undefined是所有类型的子类型,就是说你可以把null和'undefined'赋值给任意类型的变量
然而,当你指定了--strictNullChecks标记,null和undefined只能赋值给void和它们自己,这能避免很多常见的问题.

Never(never)

never类型表示的是那些永不存在的值的类型
never类型是任何类型的子类型,也可以赋值给任何类型,然而,没有类型是never的子类型或可以赋值给never类型.即使any也不可以赋值给never

function error(message: string) : never {
    throw new Error(message);
}
function fail() {
    return error("Something failed");
}
function infiniteLoop() : never {
    while (true) {
    }
}

类型断言

遇到当你比TypeScript更了解某个值的信息时可以通过类型断言告诉编译器:'相信我,我知道自己在干什么'.类型断言好比其他语言里的类型转换,但是不进行特殊的数据检查和解构.它没有运行时的影响,只是在编译阶段起作用.TypeScript会假设你已经进行了必须的检查.
类型断言有两种形式.其一是'尖括号'语法:

let someValue: any = "this is a string";
let strLength: number = (<string>someValue).value;

另一个为as语法:

let someValue: any = "this is a string";
let strLength: number = (someValue as string).length;

两种形式是等价的,使用完全凭喜好,但是使用JSX语法时,只有as语法断言时允许的