TypeScript类型

发布日期:2026/08/31标签:# 编程

基础类型

介绍

为了让程序有价值,我们需要能够处理最简单的数据单元:数字,字符串,结构体,布尔值等。 TypeScript支持与JavaScript几乎相同的数据类型,此外还提供了实用的枚举类型方便我们使用。

布尔值

最基本的数据类型就是简单的 true/false 值,在JavaScript和TypeScript里叫做 boolean (其它语言中也一样)。

typescript
let isDone: boolean = false;

数字

和JavaScript一样,TypeScript里的所有数字都是浮点数。这些浮点数的类型是 number。 除了支持十进制和十六进制字面量,TypeScript还支持ECMAScript 2015中引入的二进制和八进制字面量。

typescript
let decLiteral: number = 6;
let hexLiteral: number = 0xf00d;
let binaryLiteral: number = 0b1010;
let octalLiteral: number = 0o744;

字符串

JavaScript程序的另一项基本操作是处理网页或服务器端的文本数据。像其它语言里一样,我们使用 string 表示文本数据类型。可以使用双引号(")或单引号(')表示字符串。

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

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

typescript
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.`;

效果等同于:

typescript
let sentence: string = "Hello, my name is " + name + ".\n\n" +
    "I'll be " + (age + 1) + " years old next month.";

数组

TypeScript像JavaScript一样可以操作数组元素。有两种方式可以定义数组:

  • 第一种:在元素类型后面接上 [],表示由此类型元素组成的一个数组:
typescript
let list: number[] = [1, 2, 3];

  • 第二种:使用数组泛型 Array<元素类型>
typescript
let list: Array<number> = [1, 2, 3];

元组 Tuple

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

typescript
// 声明元组类型
let x: [string, number];
// 初始化
x = ['hello', 10]; // OK
// 错误初始化
x = [10, 'hello']; // Error

访问索引元素时:

typescript
console.log(x[0].substr(1)); // OK
console.log(x[1].substr(1)); // Error, 'number' 没有 'substr' 方法

访问越界元素时,会使用联合类型替代:

typescript
x[3] = 'world'; // OK, 字符串可以赋值给 (string | number) 类型
console.log(x[5].toString()); // OK, 'string' 和 'number' 都有 toString
x[6] = true; // Error, 布尔不是 (string | number) 类型

枚举

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

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

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

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

或者全部采用手动赋值:

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

枚举类型支持由枚举的值得到它的名字:

typescript
enum Color { Red = 1, Green, Blue }
let colorName: string = Color[2];
alert(colorName); // 显示 'Green',因为上面代码里它的值是 2

任意值

对于在编程阶段还不清楚类型的变量(如动态内容、第三方代码库输入),可以使用 any 类型跳过编译阶段的类型检查:

typescript
let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // ok, definitely a boolean

anyObject 的区别在于,Object 变量只允许赋任意值,但不能在其上调用任意方法:

typescript
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'.

数组包含不同类型数据时:

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

空值

void 表示没有任何类型,常用于函数没有返回值的情况:

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

声明一个 void 类型的变量作用不大,因为只能给它赋予 undefinednull

typescript
let unusable: void = undefined;

Null 和 Undefined

TypeScript中,undefinednull 各自拥有同名的类型:

typescript
let u: undefined = undefined;
let n: null = null;

默认情况下 nullundefined 是所有类型的子类型。当开启 --strictNullChecks 标记时,nullundefined 只能赋值给 void 和它们各自的类型。

Never

never 类型表示那些永不存在的值的类型。 例如:总是会抛出异常或根本不会有返回值的函数表达式/箭头函数的返回值类型;或者被永不为真的类型保护约束的变量。 never 类型是任何类型的子类型,可以赋值给任何类型;但没有任何类型是 never 的子类型(除 never 本身外,即使 any 也不行)。

typescript
// 返回 never 的函数必须存在无法达到的终点
function error(message: string): never {
    throw new Error(message);
}

// 推断的返回值类型为 never
function fail() {
    return error("Something failed");
}

// 返回 never 的函数必须存在无法达到的终点
function infiniteLoop(): never {
    while (true) { }
}

类型断言

当开发者比 TypeScript 更了解某个值的具体类型时,可以使用类型断言。类型断言只在编译阶段起作用,没有运行时影响。 三种断言形式:

  • 尖括号语法
typescript
let someValue: any = "this is a string";
let strLength: number = (<string>someValue).length;

  • as 语法(在 JSX 中仅支持此语法):
typescript
let someValue: any = "this is a string";
let strLength: number = (someValue as string).length;

关于 let

建议尽量使用 let 关键字替代传统的 var 来声明变量。