布尔类型（Boolean）
// true false
var flag: boolean = true
flag = false
// flag = 'hello world' (报错，不能赋值其他类型)
数字类型（number）
var num: number = 123
let binaryLiteral: number = 0b1010 // 二进制
let octalLiteral: number = 0o744 // 八进制
num = 456
字符串类型（string）
let str: string = 'hello world'
let years: number = 2021
let words: string = `您好，${years}，${str}`
数组类型（array）
ts中定义数组有多种方式
- 第一种定义数组的方式
let numArr: number[] = [1, 2, 3, 4]
let strArr: string[] = ['Apple', 'Cherry', 'Grape', 'Peach']
- 第二种定义数组的方法
let numArr2: Array<number> = [1, 2, 3, 4]
let strArr2: Array<string> = ['Apple', 'Cherry', 'Grape', 'Peach']
- 第三种
var arr3: any = ['Apple', 123, false]
元组类型（tuple）
- 属于数组的一种, 定义数组元素类型
- 各元素的类型不必相同，对应位置的类型需要相同
let arr: [string, number, boolean] = ['Apple', 123, false]
枚举类型（enum）
- 枚举类型用于定义数值集合
enum Flag { success = 1, erroe = -1 }
var f: Flag = Flag.success
console.log(f) // 1
enum Color { Red, Green = 5, Blue };
let c1: Color = Color.Red
let c2: Color = Color.Green
let c3: Color = Color.Blue
console.log(c1) // 0
console.log(c2) // 5
console.log(c3) // 6
任意类型（any）
- 无拘无束的“任意类型”，它能兼容所有类型，也能够被所有类型兼容
// 被标记为 any 类型的变量可以拥有任意类型的值
let temp: any = 123
temp = "hello"
temp = true
temp = () => {}
// 标记为具体类型的变量也可以接受任何 any 类型的值
let num:number = temp
let str:string = "hello"
// 声明变量如果不指定类型，TS解析器会自动判断变量的类型为 any（隐式的any）
let temp
temp = 123
temp = "hello"
temp = true
未知类型（unknown）
- 类型安全的any，不能直接赋值给其他变量
let unknownVar: unknown = "hello";
unknownVar = false;
unknownVar = 123;
unknownVar = {
name: "sunshine",
};
unknownVar = () => {};
// 不能直接赋值给其他变量
const val1: string = unknownVar; // Error
const val2: number = unknownVar; // Error
const val3: () => {} = unknownVar; // Error
const val4: object = unknownVar; // Error
// 只能赋值给 any 与 unknown 类型的变量
const val5: any = unknownVar;
const val6: unknown = unknownVar;
object
let a : object
a = {}
a = function() {
}
// {} 用于指定对象中可以包含哪些属性
// 语法：{属性名:属性值，属性名:属性值}
// 属性名后面加上 ? 号,表示属性是可选的
let b: { name: string, age?: number }
b = { name: "孙悟空" }
undefined
- 初始化变量为一个未定义的值
let str: string
console.log(str) // undefined 报错
let num: undefined
console.log(num) // undefined 正确
let temp: string | undefined
console.log(temp) // undefined 正确
null
- 表示对象值缺失
var num: null
num = null
void
- 用于标识方法返回值的类型，表示该方法没有返回值。
function run(): void {
console.log('run')
}
run()
// 错误写法
function run1(): undefined {
console.log('run')
}
// 正确写法
function run(): number {
return 123
}
never
- never 是其它类型（包括 null 和 undefined）的子类型，代表从不会出现的值。这意味着声明为 never 类型的变量只能被 never 类型所赋值
let x: never
let y: number
// 运行错误，数字类型不能转为 never 类型
x = 123
// 运行正确，never 类型可以赋值给 never类型
x = (() => { throw new Error('exception') })()
// 运行正确，never 类型可以赋值给 数字类型
y = (() => { throw new Error('exception') })()
// 返回值为 never 的函数可以是抛出异常的情况
function error(message: string): never {
throw new Error(message)
}
// 返回值为 never 的函数可以是无法被执行到的终止点的情况
function loop(): never {
while (true) { }
}
// 在类型流的分析中，一旦一个返回值类型为 never 的函数被调用，那么下方的代码都会被视为无效的代码（即无法执行到）
function foo (message: string){
if(message){
error(message);
// 等同于 return 语句后的代码，即 Dead Code
const msg = message;
}
}
拓展
联合类型
- 使用 | 来连接多个类型
let a: "men" | boolean | string | number
a = "men"
a = false
a = "str"
a = 10
类型断言
- 用来告诉解析器变量的实际类型
/**
* 语法：
* 1、变量 as 类型
* 2、<类型>变量
*/
let f : string
f = e as string
f = <string> e
& 表示同时
let j: { name: string } & { age: number }
j = { name: '孙悟空', age: 18 }
类型的别名
type myType = 1 | 2 | 3 | 4 | 5
let k: myType
let l: myType
let m: myType
k = 1
