typescript - 为什么 throw 使函数端点无法访问？

Question

在 typescript 中，never 类型的用例是函数具有无法访问的端点。但我不明白为什么 throw 语句会使函数具有无法访问的端点。

function error(message: string): never {
    throw new Error(message);
}

谁能解释一下为什么？

Answer 1

您的 error 函数永远不会正常完成，因为它总是抛出错误而不是正常完成:

function error(message: string): never {
    throw new Error(message); // <====== Terminates with an error here
                              // <====== Never gets here
}

error("foo");
// Execution never reaches this point

这意味着它永远不会有返回值，因此 never 类型来注释这一事实。