【typescript学习】类型别名与类型断言

类型别名

类型别名的声明类似于变量赋值，使用type该关键字进行声明

type SumType = (x: number, y:number)  => number

function sum(x:number, y:number) :number{
	return x + y
}

const sum2: SumType = sum 

常用场景

在联合类型中常用到类型别名

// 使用类型别名前
function getName(name: string | () => string):string{
	retrun typeof name === 'function' ? name() : name
}
// 使用类型别名后
type NameResolver = () => string
type NameOrResolver = string | NameResolver
function getName(name: NameOrResolver ): string{
	retrun typeof name === 'function' ? name() : name
}

类型断言

在使用联合类型的时候，被声明为联合类型的变量我们只能访问 联合类型中共同拥有的属性，如果被访问的属性不是联合类型共有的则IDE/编译器会报错。

如果我们比编译器更了解这个变量，那我们则可以以代码的形式断言这个变量的类型，让编译器不再报错。
基本语法

example:

// 写法1
function getLength(input: string | number): number{
	const str = input as String// 使用as关键字,注意as后跟的是接口
	if(str.length){
		return str.length
	}else{
		return str.toString().length
	}
}
// 写法2
function getLength(input: string | number): number{
	const str = <string>input// 使用as关键字,注意as后跟的是接口
	if(str.length){
		return str.length
	}else{
		return str.toString().length
	}
}

要注意 使用as进行断言时 后跟接口，使用<>+变量名进行断言时<>内为具体的类型

以上说的是在我们比编译器更了解变量为何种类型时，我们会去使用类型断言，然而看了网上许多的demo，其实并不是“真正的了解”变量类型，更像是为了编译器不报错 骗过编译器的一种手段。但实际上我们之后的代码还是为这个被断言的变量 做了区别对待的，因为我们知道即使变量不是我们被断言的类型，我们后续的代码也能保证程序不出错（比如在上面的demo中,如果实际上input是一个number类型时，我们读取input.number也只会返回一个undefined而不会报错）