TypeScript 开发实战学习笔记（二）

最新推荐文章于 2024-08-09 16:38:12 发布

大大大石頭

最新推荐文章于 2024-08-09 16:38:12 发布

阅读量174

点赞数

分类专栏： TypeScript拾遗文章标签： typescript

本文链接：https://blog.youkuaiyun.com/u014627807/article/details/112272407

版权

TypeScript拾遗专栏收录该内容

5 篇文章

订阅专栏

9、范型

不预先确定的数据类型，具体的类型在使用的时候才能知道

function log<T>(value: T): T {
  console.log(value);
  return value
}

调用范型函数的时候，可以在函数名后面添加类型，也可以直接让ts类型推断直接写
1）也可以定义一个范型函数类型

type Log = <T>(value: T) => T
let myLog: Log = log

2）范型接口
范型接口在使用的时候，必须指定范型的类型

interface Log {
  <T>(value: T): T
}
let myLog: Log<number> = log;

3）范型类
把范型变量放到类的后面，就可以约束类了，就变成范型类了
范型不能应用于类的静态成员。在实例化类的时候，如果显式的声明范型的类型，那类里面的函数就受该范型类型的约束。如果不显式的声明范型类型，类里的方法的参数类型就可以是任意类型
4）范型约束

interface Length {
  length: number
}
function log<T extends Length>(value: T): T {
  console.log(value，value.length);
  return value
}

这样代表，T不再是任何类型都可以了，必须得有length属性才可以。
范型的好处：

函数和类可以轻松的支持多种类型，增强程序的扩展性
不必写多条函数重载，冗长的联合类型声明，增强代码可读性
灵活控制类型之间的约束

10、类型检查机制

类型检查机制：TypeScript编译器在做类型检查时，所秉承的一些原则，以及表现出的一些行为
作用：辅助开发，提升开发效率
1）类型推断
不需要指定变量的类型（函数的返回值类型），TS会根据某些规则，自动的为其推断出一个类型

基础类型推断，从右到左的类型推断，根据值的类型，来给变量推断类型
最佳通用类型推断
上下文类型推断，从左到右的推断，根据前面的事件类型，来推断出参数的类型等
2）类型兼容性
当一个类型Y可以赋值给另一个类型X的时候，我们就可以说，类型X兼容类型Y
X兼容Y：X（目标类型）= Y （源类型）
类型兼容性的例子，广泛的存在于接口，函数，类中
接口，如果Y接口含有X类型的所有属性，那么Y就可以赋值给X，源类型必须具备目标类型的必有属性，就可以兼容，接口之间兼容，就要接口成员少的兼容接口成员多的
函数，通常发生于函数位于参数的时候，类似HOF，
- 参数个数
  - 固定参数，目标函数的参数个数，一定要多于源函数的参数个数
  - 可变参数，1、固定参数可以兼容可选参数和剩余参数 2、可选参数是不兼容固定参数和剩余参数的，可以通过修改strictFunctionTypes为false来兼容 3、剩余参数可以兼容固定参数和可选参数
- 参数类型，参数类型一定要匹配，参数成员多的兼容参数成员少的
- 返回值类型，目标函数的返回值类型要与源函数的返回值相同或者为其子类型才能兼容
枚举类型，枚举和数字类型完全兼容，枚举和枚举之间完全不兼容
类的兼容下，和接口类似，静态成员和构造函数不相互比较，类中有私有成员，则就不兼容，除非父类和子类。
范型，如果两个范型函数没有定义类型，就可以兼容，如果两个范型接口，没有定义成员属性，也可以兼容

3）类型保护
TypeScript 能够在特定的区块中，保证对象属于某种特定的类型，可以在此区块中，放心的引用此类型的属性和调用该类型的方法。
创建这种区块的方法，

是使用instanceof关键字，针对类
使用in关键字，针对对象
typeof类型保护
类型保护函数

function isJava(lang: Java | JavaScript): lang is Java {
	return (lang as java).hasJava !== undefined
}

11、高级类型

1）交叉类型，将多个类型合并成一个类型，新类型具有以前类型的所有特性，用&符号连接
2）联合类型，声明的类型并不确定，是多个类型中的一个
字面量联合类型，约束了变量只能取几个类型中的一个
对象的联合类型，只能访问公有类型
索引类型

keyof T
T[k]
T extends U

function getValues<T, K extends keyof T>(obj: T, keys: K[]): T[K][] {
  return keys.map(key =>obj[key]);
}

3）映射类型
比如，Partial，Readonly，Require等
条件类型

T extends U ? X : Y

4）分布式条件类型

(A | B) extends U ? X : Y
A extends U ? X : Y | B extends U ? X : Y

12、命名空间

用namespace来声明
命名空间和模块不要混用，不要在模块中使用命名空间。命名空间最好在全局中使用

13、声明合并

1、接口的声明合并

接口的非函数成员必须保证唯一性，如果不唯一，必须类型相同
同名函数就变成函数重载，在实现的时候，需要确定一个更宽泛的类型

2、命名空间的合并

命名空间中导出的成员，是不可以重复定义的
命名空间和类合并
命名空间和枚举类型合并
命名空间和函数合并
命名空间和其他一起合并，必须放在类，函数的后面