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
类型的变量,只能赋值为null
或undefined
。
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
类型表示非原始类型,即除了number
、string
、boolean
、symbol
、null
或undefined
之外的类型。
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提供了更强大的类型检查和推断能力,帮助您更好地编写可维护的代码。在实际项目中,正确使用这些类型将使您的代码更加清晰和健壮。