Please enable JavaScript.

Coggle requires JavaScript to display documents.

Typescript (基本类型 (元组 (访问数组内的元素 (数组会存储相同结构的数组结构，我们可以定义和元祖类型一致的数组，如果不一致会报错。)…

- - - - 数组会存储相同结构的数组结构，我们可以定义和元祖类型一致的数组，如果不一致会报错。
    - - 会使用联合类型替代
  - - - 在元素类型后面接上[]表示此类型元素组成的一个数组 (number[])
    - - Array<number>
  - - - <>写法
      - as写法，JSX语法下只有这个是可以的，两者是等同的。
  - - - 永远没有返回值的类型
      - 死循环的类型
      - 总是抛出异常
      - never是任何类型的子类型，也可以赋给任何类型
- - - - pet is Fish就是类型谓词。谓词为 parameterName is Type这种形式， parameterName必须是来自于当前函数签名里的一个参数名
  - - - 如果编译器不能够去除 null或 undefined，你可以使用类型断言手动去除，语法是添加 !后缀
  - - - 这个keyof T可以动态得到T上已知的公有属性的联合。
  - - - Partial变成可选的,语法Partial<Person>可以把后面的类型的全部属性名变成可选的
      - Pick
      - Record
      - Readonly， Partial和 Pick是同态的，但 Record不是。因为 Record并不需要输入类型来拷贝属性，所以它不属于同态，非同态类型本质上会创建新的属性，因此它们不会从它处拷贝属性修饰符。
      - Readonly只读，语法Readonly<Person>可以把后面的类型的全部属性名变成只读的。
    - - Exclude<T, U>-- 从T中剔除可以赋值给U的类型
      - Extract<T, U> -- 提取T中可以赋值给U的类型
      - NonNullable<T> -- 从T中剔除null和undefined。
      - ReturnType<T> -- 获取函数返回值类型。
      - InstanceType<T> -- 获取构造函数类型的实例类型。
- - - - 如果当成变量用的话用const，如果当成属性的话则使用readonly
  - - - 类型断言
      - 添加索引签名
      - 将对象赋值给另一个对象
  - - - 字符串索引
      - 数字索引
      - 同时使用必须保证数字索引的返回值必须是字符串索引返回类型的子类型，比如[index:string]: number。这是字符串索引类型，而name: string则错了，必须是number类型或者void之类的，也就是number的子集。当然也可以给索引签名设置为只读，这样就防止了给索引赋值。
- - - - 固有元素使用特殊的接口JSX.IntrinsicElements来查找。默认地，如果这个接口没有指定，会全部通过，不对固有元素进行类型检查。然而，如果这个接口存在，那么固有元素的名字需要在JSX.IntrinsicElements接口的属性里查找。以小写开头
    - - 基于值的元素会简单的在它所在的作用域里按标识符查找，开头总会是以大写字母开头
- - - - 类定义会创建两个东西:类的实例类型和一个构造函数。
    - - 因为类可以创建出类型，所以你能够在允许使用接口的地方使用类。
- - - - 合并规则与上面合并命名空间小节里讲的规则一致，我们必须导出 AlbumLabel类，好让合并的类能访问。合并结果是一个类并带有一个内部类。你也可以使用命名空间为类增加一些静态属性
- - - - 将程序中不容易记忆的硬编码或者是在未来中可能改变的常量抽取出来使得可读性和可维护性得到提高。
  - - - 把类型变成一个结果，那么ts会采用鸭子判断来屏蔽认为这种检查是对的
      - 类型断言
        
        比如接口函数为GetList({data: [{id:1, name: 'A',sex: 'male'},{id:2,name：‘B’}]} as Result）明确告诉编译器这个结果就是这个。
      - 字符串索引签名
        
        可以添加[x:string]:any，告诉编译器，可以添加任意数量的string字段。
    - - 考虑兼容性
    - - 用来创建比如函数本身加其他属性的对象，
        
        interface lib{ ():void,dosomething: viod; version: void
  - - - extends
      - priate私有字段
      - public公有字段
      - readonly只读属性
      - static成员，只能通过类名访问，不能通过子类访问
    - - 只能被继承，不能被实例化
  - - - 函数和类可以轻松的支持多种类型，增强程序的扩展性2. 不必写多条函数重载，隆昌的联合类型声明，增强代码可读性3. 灵活控制类型之间的约束
- - - - 有时候this并不能取到相应的对象，这时候就需要箭头函数。
- - - - 你可以声明一个类型参数，且它被另一个类型参数所约束。比如，现在我们想要用属性名从对象里获取这个属性。并且我们想要确保这个属性存在于对象 obj上，因此我们需要在这两个类型之间使用约束
    - - 在TypeScript使用泛型创建工厂函数时，需要引用构造函数的类类型
- - - - 函数参数双向协变
      - 函数重载
      - 两个函数参数少的兼容参数多的，
      - 可选参数及剩余参数
    - - 比较两个类类型的对象时，只有实例的成员会被比较。静态成员和构造函数不在比较的范围内
      - 类的私有成员和受保护成员会影响兼容性。当检查类实例的兼容时，如果目标类型包含一个私有成员，那么源类型必须包含来自同一个类的这个私有成员。
    - - 因为ts为结构性的类型系统，主要是比较编译后的结构，所以对于泛型结构来说，如果两个泛型生成的类型结果一致的话，将会相等，而不是看函数名。
  - - - 主要是结构性类型相似。鸭子类型？
      - 赋值，赋值扩展了子类型兼容性，增加了一些规则，允许和any来回赋值，以及enum和对应数字值之间的来回赋值。
- - - - 导出声明
      - 导出语句
      - 重新导出
    - - 导入一个模块中的某个导出内容
      - 将整个模块导入到一个变量，并通过它来访问模块的导出部分
    - - Node.js里的动态模块加载
      - require.js里的动态模块加载
      - System.js里的动态模块加载
    - - 外部模块
      - 外部模块简写
      - 模块声明通配符
      - UMD模块
    - - 尽可能地在顶层导出
      - 如果仅导出单个 class 或 function，使用 export default
      - 如果要导出多个对象，把它们放在顶层里导出
      - 明确地列出导入的名字
      - 使用命名空间导入模式当你要导出大量内容的时候
      - 使用重新导出进行扩展
      - 模块里不要使用命名空间
    - - 相对 vs. 非相对模块导入
      - 模块解析策略
      - ts使用的解析模块策略
        
        先在root/src/中进行查找
        
        moduleB.ts
        
        moduleB.tsx
        
        moduleB.d.ts
        
        moduleB/package.json (如果指定了"types"属性)
        
        moduleB/index.ts
        
        moduleB/index.tsx
        
        moduleB/index.d.ts
        
        然后往上跳一级root/node_modules,重复查找上面的文件路径
        
        最后是node_modules，重复查找上面的文件路径
      - 附加的模块解析标记
        
        Base URL
      - 路径映射
        
        有时模块不是直接放在baseUrl下面。
      - 利用rootDirs指定虚拟目录
        
        有时多个目录下的工程源文件在编译时会进行合并放在某个输出目录下。这可以看做一些源目录创建了一个“虚拟”目录。
      - 跟踪模块解析
        
        编译器在解析模块时可能访问当前文件夹外的文件。这会导致很难诊断模块为什么没有被解析，或解析到了错误的位置。
- - - - for..of会遍历可迭代的对象，调用对象上的Symbol.iterator方法。
    - - for..of和for..in均可迭代一个列表；但是用于迭代的值却不同，for..in迭代的是对象的键的列表，而for..of则迭代对象的键对应的值