TypeScript 忽略类型为 never 的可选参数

Question

我不希望将特定函数作为参数传递给另一个函数，但是根据 TypeScript，它是有效的，但是是吗？为什么？

代码示例如下：

function spoken(nope?: never): void {
    console.log("He has spoken.");
}

function speak(toSay: string, spoken: (arg1: string) => void): void {
    console.log("He says: " + toSay);
    spoken("He has spoken.");
}

speak("Hello world.", spoken);

因为基本上，TypeScript 说类型 string 可以分配给类型 never，因为如果没有，让我们说类型 number，TypeScript 会抱怨，因为类型 string 与类型 number 不兼容。

Answer 1

简答

...根据 TypeScript，它是有效的，但它是有效的吗？为什么？

是的，它是有效的，因为 TypeScript 说类型 never 可以分配给类型 string。这里是some code in typescript/play 来演示。

never的详细信息

Basic Types documentation 说：

never 类型是每个类型的子类型，并且可以分配给每个类型；但是，没有类型是 never 的子类型或可分配给 never（除了 never 本身）。

这意味着我们可以将never 分配给string，但不能将string 分配给never。

let arg1: string = (null as never); // works
let arg2: never = (null as string); // fails

您的具体情况

您的speak 函数有一个名为spoken 的参数，该函数具有arg1 类型的string 参数。这里是 spoken 参数本身。

let spokenParam: (arg1: string) => void;

由于arg1 是string 并且string 是never 的超类型，因此以下赋值是有效的。

function spoken(nope?: never): void {
    console.log("He has spoken.");
}

spokenParam = spoken;