TypeScript基础知识(4)函数类型约束 任意类型 隐式类型推断和类型断言

函数类型约束

函数类型约束就是对函数的输入输出进行类型限制。在JavaScript有两种函数定义的方式，有函数声明和函数表达式两种方式
比如下面：两个参数的类型我们设置为number 参数类型设置为string
1.函数声明

function func1(a:number,b:number):string{
    return 'func1'
};
func1(100,200)

注意传入的参数类型和个数要完全一致
2.函数表达式

const func2 = function (a:number,b:number):string{
    return 'func2'
}

任意类型（any）

任意类型是我们有时候需要一个变量可以接受任意类型的数据：
例如下面，因为JSON.stringify本身就支持接受任意类型参数所以使用any

function stringify(value:any){
    return JSON.stringify(value)
}
stringify('string');
stringify(100);
stringify(true);

因为any类型不会存在类型检查，所以之前我们提到的类型错误还是会发生，所以any要慎重使用。

隐式类型推断

在TypeScript中，如果我们没有明确通过类型注解去标记一个变量的类型，那么TypeScript会根据这个注解去推断这个变量的类型，这种情况我们叫 隐式类型推断。

let age = 10;
age='string';//报错：不能将类型“string”分配给类型“number”

上面我们赋值10给age，如果再给age赋值字符串就会报错不能将类型“string”分配给类型“number”，因为age已经被推断为number，效果等同于age：number
那如果TypeScript无法推断变量类型呢？他就会将类型标记为any

let foo;
foo = 100;
foo = 'string';
//上面都不会报错

类型断言

有些情况TypeScript无法推断变量类型，但是我们知道所以就要我们来告诉TypeScript它是上面类型的变量就是类型断言。

const nums = [110,120,119,112];
const res = nums.find(i=>i>0)//TypeScript觉得是number | undefined

上面代码我们知道返回值是num 但是TypeScript不知道我们有两种方式告诉它
第一种

const nums = [110,120,119,112];
const res = nums.find(i=>i>0)//TypeScript觉得是number | undefined
const num1 = res as number

第二种

const nums = [110,120,119,112];
const res = nums.find(i=>i>0)//TypeScript觉得是number | undefined
const num2 = <number>res

不过第二种会和react框架jsx语法冲突，所以建议第一种