TypeScript中never类型的正确使用场景never类型表示一个函数永远不会返回任何值，或者一个变量的值永远不可

never类型表示一个函数永远不会返回任何值，或者一个变量的值永远不可能为任何类型。在TypeScript中，never类型通常用于以下场景：

当一个函数抛出异常时，它永远不会返回任何值。因此，我们可以将该函数的返回类型设置为never，例如：

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

这样，当我们调用error函数时，如果函数抛出异常，它将返回never类型。

当一个函数陷入死循环时，它永远不会返回任何值。因此，我们可以将该函数的返回类型设置为never，例如：

function loop(): never {
    while (true) {
        // do something
    }
}

这样，当我们调用loop函数时，它将进入死循环，并且返回never类型。

在某些情况下，never类型也可以用作类型检查器的辅助类型，例如：

function assertNever(value: never): never {
    throw new Error(`Unexpected value: ${value}`);
}

这个函数用于检查一个变量是否为never类型。如果变量的类型为never，说明它的值是不可能出现的，因此我们可以使用assertNever函数抛出一个错误。这个函数在类型检查器中非常有用，可以帮助我们检测到未处理的类型。

never类型通常用于表示不可能出现的值或情况，它在TypeScript中有着不可或缺的地位。