TypeScript：函数类型派生，；为什么d型是真的？

查看函数args

a

不是扩展类型

never

。但法官是对的，为什么会发生这种情况

---

从不

是一种称为。这是一套空的。空集合可以放入任何其他集合（例如示例中的字符串）

作为缔约国：

never类型是每种类型的子类型，可分配给每种类型；但是，任何类型都不是never的子类型，也不能指定给never（never本身除外）

在typescript中，

从不

用于从不返回的函数

---

我还建议您继续阅读TypeScript。

是的。从不适合任何其他集合：`never extends string`为真。。没有类型是never的子对象，因此

字符串扩展never

为false。。所以（a:string）=>void）扩展（（b:never）=>void），函数查询字符串从不扩展？？？我明白你的意思。无法调用需要

从不

参数的函数。因此，任何扩展它的参数都可以使用TS。

type d = ((a: string) => void) extends ((b: never) => void) ? true : false;
let e: d = true;