1:any 类型,unknown 类型,never 类型
顶层类型:any、unknown
any:可以接受所有类型的值。也可以赋值给所有的变量类型。
unknown:可以看做是any类型的缩小范围。可以接受任何类型的变量,但是在使用之前,需要先做判断。直接进行使用会报错。
let a: unknown = 1;
if (typeof a === "number") {
let r = a + 10; // 正确
}
总结:如果使用的时候需要定义any变量,可以优先考虑unknown
never:底层类型,类型为空,不包含任何值。可以用于类型运算之中。
2:ts类型系统
- Boolean 和 boolean
- String 和 string
- Number 和 number
- BigInt 和 bigint
- Symbol 和 symbol
由于js有包装对象的概念,所以大写类型同时包含包装对象和字面量两种情况,小写类型只包含字面量,不包含包装对象
- Object
大写的Object,包含了js里面所有可以转成对象的值,所以基本没啥用。 - object
小写的object类型代表 JavaScript 里面的狭义对象,即可以用字面量表示的对象,只包含对象、数组和函数,不包括原始类型的值 - 值类型
ts规定,单个值也是一种类型
let a:1 = 1
以上代码中,a只能数字1,不能是其他的类型,否则会报错。
3:联合类型(或)、 交叉类型(且)、 type、 typeof
- 联合类型(或)
一个变量的类型可以是多个类型的集合,如果是多个类型的集合,使用的时候需要缩小类型。
function printId(id: number | string) {
if (typeof id === "string") {
console.log(id.toUpperCase());
} else {
console.log(id);
}
}
以上id的类型是number和string,在使用的时候 就需要做判断,直接调用会报错。
- 交叉类型(且)
多个类型组成一个新的类型。
A&B:如果给一个变量定义为A&B类型,那么这个变量就必须得既属于A类型,也得属于B类型。这个类型常用来给对象添加属性
type a = {b: string}
type c = a & {d: number}
类型c是一个交叉属性,这个类型的变量既有b又有d
-
type
是对类型起一个别名 -
typeof
在js中typeof是对值的类型进行判断,在ts中,对typeof 进行移植到了类型系统中,返回的是该变量属于哪种类型
let a: number
let b: typeof a
if(typeof b === 'number' ) {
}
以上代码中,注意区分typeof使用在类型系统中,还是用在值的判断类型中。
函数
- 用法,声明函数类型
const a: (str: string)=>void = function (s){}
或者使用type起别名
type myFN = (x: string) => void
const a:myFN = (x: string) =>{}
- Function
Function可以作为任何函数的类型,但是Function对函数没有约束,类似于any,所以不建议用这个。 - 函数如果是抛出错误,返回应该用never
function fail(msg: string): never {
throw new Error(msg);
}
- 函数重载
当一个函数可能接受不同的参数类型时,就需要使用函数重载,函数重载时,在函数内部需要判断参数类型
function a(p1: string):void{}
function a(p2: number):void{}
function a(p: (string | number) ):void{
if (typeof p === 'string'){
} else {
}
}
- 构造函数类型声明两种写法
参考:https://typescript.p6p.net/typescript-tutorial/function.html
网友评论