【前端vue3】TypeScrip-类型推论和类型别名

类型推论

TypeScript里，在有些没有明确指出类型的地方，类型推论会帮助提供类型。
例如：

变量xiaoc被推断类型为string

如重新给xiaoc赋值数字会报错

let xiaoc = "xiaoc"

xiaoc =1111111111111

如没有给变量指定类型和赋值，会被ts推断为any，可以执行任何操作

let xiaoc

xiaoc = 1234
xiaoc = "xiaoc"
xiaoc = undefined
xiaoc = true

类型别名

type 关键字（可以给一个类型定义一个名字）多用于复合类型

定义类型别名

type str = string
 
let s:str = "小C"
 
console.log(s);

定义函数别名

import { log } from "console"

type str=() =>string
let s :str = () =>"我是小C"
log(s)

定义联合类型别名

type str = string | number
 
 
let s: str = 123
 
let s2: str = '123'
 
console.log(s,s2);

定义值的别名

type value = boolean | 0 | '213'
 
 
let s:value = true
//变量s的值  只能是上面value定义的值

type 和 interface 还是一些区别的 虽然都可以定义类型

1.interface可以继承 type 只能通过 & 交叉类型合并

2.type 可以定义 联合类型 和 可以使用一些操作符 interface不行

3.interface 遇到重名的会合并 type 不行

左边的值会作为右边值的子类型遵循图中上下的包含关系

type a = 1 extends number ? 1 : 0 //1
 
type a = 1 extends Number ? 1 : 0 //1
 
type a = 1 extends Object ? 1 : 0 //1
 
type a = 1 extends any ? 1 : 0 //1
 
type a = 1 extends unknow ? 1 : 0 //1
 
type a = 1 extends never ? 1 : 0 //0