TypeScript
2篇文章 · 0订阅
  • 协变和逆变 -- Typescript拓展篇（1）
    协变和逆变是编程理论中一个很重要的话题。用于表达父类子类在安全类型转换后的兼容性（或者说继承关系）。定义为：如果A，B代表两个类型；f()表示类型转换；A -> B表示A是B的子类。 我们有名为Animial的父类，Cat是Animal的子类。WhiteCat是Cat的子类， …
    TypeScript
  • 条件类型 -- Typescript类型编程篇（4）
    条件类型是ts中非常强大的功能，形如：T extends U ? X : Y，表示如果T是U的子类，则返回类型为X，否则为Y。和三元表达式相似。 条件类型还有一个特性：分布式条件类型。在结合联合类型使用时（只针对extends左边的联合类型），分布式条件类型会被自动分发成联合类…
    TypeScript