TypeScript特殊类型详解

8/16/2021 Typescript

TypeScript是JavaScript的超集,不仅支持JavaScript的所有基础类型,还引入了更多强大的类型系统,使得代码更加健壮和可维护。

# 基础数据类型

TypeScript包含了许多基础数据类型,包括布尔值、数字、字符串、数组、元组、枚举、Any、Void、Null、Undefined、Never、Object。让我们一一来看。

# 布尔值(Boolean)

布尔值代表真或假的值。在TypeScript中,使用关键字boolean来定义布尔类型。

let isDone: boolean = false;

# 数字(Number)

数字类型可以包括整数和浮点数,支持二进制、八进制、十进制和十六进制字面量。

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

# 字符串(String)

字符串类型表示文本数据,可以使用双引号(")或单引号(')表示。

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

# 数组(Array)

数组可以包含多个相同类型的元素。TypeScript提供两种定义数组的方式。

// 第一种方式,在元素类型后面接上 []
let list: number[] = [1, 2, 3];

// 第二种方式,使用泛型
let list: Array<number> = [1, 2, 3];

# 元组(Tuple)

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

let x: [string, number];
x = ['hello', 10]; // 正确
x = [10, 'hello']; // 错误

console.log(x[0].substr(1)); // 正确
console.log(x[1].substr(1)); // 错误,'number'类型没有'substr'方法

# 枚举(Enum)

枚举类型允许为一组数值赋予友好的名字。它们在TypeScript中对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;

# Any

any类型表示在编译阶段不知道具体类型的变量,通常用于与原生JavaScript代码进行交互。

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // 可以,类型为boolean

let notSure: any = 4;
notSure.ifItExists(); // 可以,ifItExists可能在运行时存在
notSure.toFixed(); // 可以,toFixed方法存在(但编译器不会检查)

let prettySure: Object = 4;
prettySure.toFixed(); // 错误:'Object'上不存在'toFixed'属性

# Unknown

unknown类型与any有点相似,但更安全。如果不使用类型断言来缩小类型,操作unknown类型会报错。

const dog: unknown = getDog();
dog.hello(); // 错误:Object的类型是'unknown'

const getDogName = () => {
 let x: unknown;
 return x;
};

const dogName = getDogName();
console.log((dogName as string).toLowerCase());

# Void, Null, Undefined

void表示函数没有返回值,一般用于函数声明。如果声明void类型的变量,只能赋值为nullundefined

function warnUser(): void {
    console.log("This is my warning message");
}
let unusable: void = undefined;

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

# Never

never类型表示永不存在的值的类型。例如,它是那些总是会抛出异常或永远不会有返回值的函数的返回类型。

function error(message: string): never {
    throw new Error(message);
}

function fail() {
    return error("Something failed");
}

function infiniteLoop(): never {
    while (true) {
    }
}

# Object

Object类型表示非原始类型,即除了numberstringbooleansymbolnullundefined之外的类型。

declare function create(o: object | null): void;

create({ prop: 0 }); // 正确
create(null); // 正确

create(42); // 错误
create("string"); // 错误
create(false); // 错误
create(undefined); // 错误

# 类型断言

类型断言允许开发者告诉编译器,“我知道自己在干什么”。它类似于其他语言中的类型转换,但不会进行特殊的数据检查和解构。

有两种方式可以进行类型断言。

# 尖括号写法

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

# as写法

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

通过这些特殊类型和类型断言,TypeScript提供了更强大的类型检查和推断能力,帮助您更好地编写可维护的代码。在实际项目中,正确使用这些类型将使您的代码更加清晰和健壮。