Otocolobusmanul

typescript的never类型代表永不存在的值的类型，它只能被赋值为never。 可以这样理解：若type T = T1 & T2，则T类型的值可以赋给T1或T2类型的变量（类似类的继承关系）。 那么若与never交叉，则T类型的值可以赋给一个never类型的变量，那T只…