布尔值
最基本的数据类型就是简单的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表示文本数据类型。 和JavaScript一样,可以使用双引号( ")或单引号(')表示字符串。
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.`;
这与下面定义sentence的方式效果相同:
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
元组类型允许表示一个已知元素数量和类型的数组,各元素的类型不必相同。 比如,你可以定义一对值分别为 string和number类型的元组。
// 元组 表现和定义不统一 建议:定义元组有几个元素,那就使用多少,最少不要进行新增
let x: [string, number] = ['aaa', 111]
// console.log(x[0].substr(1));
// console.log(x[1].substr(1));
// x[3] = 'world';
// 应用场景:用于 函数的返回值 有多个的情况下
// function getDay() {} ['月份','年份']
枚举
枚举类型用于定义一组命名的常量。使用枚举可以使代码更加清晰。
enum Color {Red, Green, Blue}
let c: Color = Color.Green;
// 手动赋值
enum Color {Red = 1, Green, Blue}
let colorName: string = Color[2]; // 'Green'
任意类型(Any)
当你不知道一个值的类型时,可以使用any类型。any类型可以绕过TypeScript的静态类型检查。
let notSure: any = 4;
notSure = 'maybe a string';
notSure = false; // 也可以是个 boolean
Void
某种程度上来说,void类型像是与any类型相反,它表示没有任何类型。 当一个函数没有返回值时,你通常会见到其返回值类型是 void:
function warnUser(): void {
console.log("This is my warning message");
}
声明一个void类型的变量没有什么大用,因为你只能为它赋予undefined和null:
let unusable: void = undefined;
未定义(Undefined)和空(Null)
在TypeScript中,undefined和null各自有自己的类型。
let u: undefined = undefined;
let n: null = null;
默认情况下,null和undefined是所有类型的子类型,但可以通过设置--strictNullChecks编译选项来启用更严格的空值检查。
Never
never类型表示的是那些永不存在的值的类型。 例如, never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型; 变量也可能是 never类型,当它们被永不为真的类型保护所约束时。
never类型是任何类型的子类型,也可以赋值给任何类型;然而,没有类型是never的子类型或可以赋值给never类型(除了never本身之外)。 即使 any也不可以赋值给never。
下面是一些返回never类型的函数:
// 返回never的函数必须存在无法达到的终点
function error(message: string): never {
throw new Error(message);
}
// 推断的返回值类型为never
function fail() {
return error("Something failed");
}
// 返回never的函数必须存在无法达到的终点
function infiniteLoop(): never {
while (true) {
}
}
Object
object表示非原始类型,也就是除number,string,boolean,symbol,null或undefined之外的类型。
let obj: object = {name: 'Tom', age: 30};
类型断言
在TypeScript中,类型断言是一种显式地告诉编译器某个值的类型是什么的方式。这在某些情况下非常有用,特别是当TypeScript的编译器无法从上下文推断出某个值的类型,或者当你确切地知道某个值的类型但编译器不这么认为时。
类型断言有两种形式:
- 尖括号语法 (value)
这种语法在JSX中可能会与JSX的语法冲突,因此TypeScript推荐使用另一种形式。
let someValue = "这是一个字符串";
let strLength: number = (<string>someValue).length;
注意:在TypeScript 2.7及更高版本中,由于与JSX的冲突,建议使用as语法。
- as ****语法 (value as Type)
这是推荐的类型断言语法,因为它没有尖括号语法的JSX冲突问题。
let someValue = "这是一个字符串";
let strLength: number = (someValue as string).length;
// 或者因为someValue本来就是string类型,所以这里的类型断言其实是多余的,但这里只是为了展示语法
在上面的例子中,尽管someValue的类型已经通过TypeScript的推断确定为string,但类型断言的展示仍然是有用的,以说明如何在需要时显式地指定类型。
类型断言不是类型转换,它不会改变值的实际类型,也不会执行任何运行时的代码来验证值的类型。它只是告诉TypeScript编译器:“我知道这个值的实际类型是什么,请相信我,不要报错了。”
使用类型断言时需要谨慎,因为错误的类型断言可能会导致运行时错误。例如,如果你将一个number类型的值断言为string类型,并尝试调用.length属性,TypeScript编译器不会报错,但运行时将会抛出一个错误,因为number类型没有.length属性。
let numberValue: number = 123;
let strLength: number = (numberValue as string).length; // 运行时错误,因为numberValue不是string
因此,在使用类型断言时,你应该确保你确实知道值的实际类型,并且这种断言是安全的。