TypeScript类型
基础类型
介绍
为了让程序有价值,我们需要能够处理最简单的数据单元:数字,字符串,结构体,布尔值等。 TypeScript支持与JavaScript几乎相同的数据类型,此外还提供了实用的枚举类型方便我们使用。
布尔值
最基本的数据类型就是简单的 true/false 值,在JavaScript和TypeScript里叫做 boolean (其它语言中也一样)。
let isDone: boolean = false;
数字
和JavaScript一样,TypeScript里的所有数字都是浮点数。这些浮点数的类型是 number。
除了支持十进制和十六进制字面量,TypeScript还支持ECMAScript 2015中引入的二进制和八进制字面量。
let decLiteral: number = 6;
let hexLiteral: number = 0xf00d;
let binaryLiteral: number = 0b1010;
let octalLiteral: number = 0o744;
字符串
JavaScript程序的另一项基本操作是处理网页或服务器端的文本数据。像其它语言里一样,我们使用 string 表示文本数据类型。可以使用双引号(")或单引号(')表示字符串。
let name: string = "bob";
name = "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.`;
效果等同于:
let sentence: string = "Hello, my name is " + name + ".\n\n" +
"I'll be " + (age + 1) + " years old next month.";
数组
TypeScript像JavaScript一样可以操作数组元素。有两种方式可以定义数组:
- 第一种:在元素类型后面接上
[],表示由此类型元素组成的一个数组:
let list: number[] = [1, 2, 3];
- 第二种:使用数组泛型
Array<元素类型>:
let list: Array<number> = [1, 2, 3];
元组 Tuple
元组类型允许表示一个已知元素数量和类型的数组,各元素的类型不必相同。
// 声明元组类型
let x: [string, number];
// 初始化
x = ['hello', 10]; // OK
// 错误初始化
x = [10, 'hello']; // Error
访问索引元素时:
console.log(x[0].substr(1)); // OK
console.log(x[1].substr(1)); // Error, 'number' 没有 'substr' 方法
访问越界元素时,会使用联合类型替代:
x[3] = 'world'; // OK, 字符串可以赋值给 (string | number) 类型
console.log(x[5].toString()); // OK, 'string' 和 'number' 都有 toString
x[6] = true; // Error, 布尔不是 (string | number) 类型
枚举
enum 类型是对JavaScript标准数据类型的一个补充。使用枚举类型可以为一组数值赋予友好的名字。
enum Color { Red, Green, Blue }
let c: Color = Color.Green;
默认情况下,从 0 开始为元素编号。也可以手动指定成员的数值:
enum Color { Red = 1, Green, Blue }
let c: Color = Color.Green;
或者全部采用手动赋值:
enum Color { Red = 1, Green = 2, Blue = 4 }
let c: Color = Color.Green;
枚举类型支持由枚举的值得到它的名字:
enum Color { Red = 1, Green, Blue }
let colorName: string = Color[2];
alert(colorName); // 显示 'Green',因为上面代码里它的值是 2
任意值
对于在编程阶段还不清楚类型的变量(如动态内容、第三方代码库输入),可以使用 any 类型跳过编译阶段的类型检查:
let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // ok, definitely a boolean
any 与 Object 的区别在于,Object 变量只允许赋任意值,但不能在其上调用任意方法:
let notSure: any = 4;
notSure.ifItExists(); // ok
notSure.toFixed(); // ok
let prettySure: Object = 4;
prettySure.toFixed(); // Error: Property 'toFixed' doesn't exist on type 'Object'.
数组包含不同类型数据时:
let list: any[] = [1, true, "free"];
list[1] = 100;
空值
void 表示没有任何类型,常用于函数没有返回值的情况:
function warnUser(): void {
alert("This is my warning message");
}
声明一个 void 类型的变量作用不大,因为只能给它赋予 undefined 和 null:
let unusable: void = undefined;
Null 和 Undefined
TypeScript中,undefined 和 null 各自拥有同名的类型:
let u: undefined = undefined;
let n: null = null;
默认情况下 null 和 undefined 是所有类型的子类型。当开启 --strictNullChecks 标记时,null 和 undefined 只能赋值给 void 和它们各自的类型。
Never
never 类型表示那些永不存在的值的类型。
例如:总是会抛出异常或根本不会有返回值的函数表达式/箭头函数的返回值类型;或者被永不为真的类型保护约束的变量。
never 类型是任何类型的子类型,可以赋值给任何类型;但没有任何类型是 never 的子类型(除 never 本身外,即使 any 也不行)。
// 返回 never 的函数必须存在无法达到的终点
function error(message: string): never {
throw new Error(message);
}
// 推断的返回值类型为 never
function fail() {
return error("Something failed");
}
// 返回 never 的函数必须存在无法达到的终点
function infiniteLoop(): never {
while (true) { }
}
类型断言
当开发者比 TypeScript 更了解某个值的具体类型时,可以使用类型断言。类型断言只在编译阶段起作用,没有运行时影响。 三种断言形式:
- 尖括号语法:
let someValue: any = "this is a string";
let strLength: number = (<string>someValue).length;
- as 语法(在 JSX 中仅支持此语法):
let someValue: any = "this is a string";
let strLength: number = (someValue as string).length;
关于 let
建议尽量使用 let 关键字替代传统的 var 来声明变量。