TS中never,void,unknown类型怎么使用

TypeScript 是一种强类型的 JavaScript 超集，它引入了许多新的类型系统特性，以帮助开发者编写更安全、更易维护的代码。在 TypeScript 中，never、void 和 unknown 是三种特殊的类型，它们各自有着独特的用途和行为。本文将详细介绍这三种类型的使用场景和注意事项。

1. never 类型

never 类型表示那些永远不会发生的值的类型。它通常用于以下几种情况：

1.1 函数永远不会返回

当一个函数永远不会正常返回时，可以使用 never 类型。例如，一个函数总是抛出异常或进入无限循环：

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

function infiniteLoop(): never {
    while (true) {}
}

1.2 类型收窄

在类型收窄（Type Narrowing）的过程中，never 类型可以用来表示不可能的情况。例如，在 switch 语句中，如果所有可能的情况都被处理了，那么 default 分支的类型就是 never：

type Shape = 'circle' | 'square';

function getArea(shape: Shape): number {
    switch (shape) {
        case 'circle':
            return Math.PI * 1 * 1;
        case 'square':
            return 1 * 1;
        default:
            const _exhaustiveCheck: never = shape;
            throw new Error(`Unknown shape: ${shape}`);
    }
}

在这个例子中，default 分支的 shape 变量被赋值为 never，因为 Shape 类型的所有可能值都已经被处理了。

2. void 类型

void 类型表示没有任何返回值的函数。它通常用于以下几种情况：

2.1 函数没有返回值

当一个函数没有返回值时，可以使用 void 类型：

function logMessage(message: string): void {
    console.log(message);
}

2.2 回调函数

在回调函数中，如果回调函数不需要返回值，可以使用 void 类型：

function setTimeout(callback: () => void, delay: number): void {
    // ...
}

setTimeout(() => {
    console.log('Hello, world!');
}, 1000);

2.3 忽略返回值

在某些情况下，你可能希望忽略函数的返回值，这时可以使用 void 类型：

function doSomething(): number {
    return 42;
}

const result: void = doSomething(); // 忽略返回值

3. unknown 类型

unknown 类型是 TypeScript 3.0 引入的一种类型，它表示一个未知的类型。与 any 类型不同，unknown 类型是类型安全的，因为它要求在使用之前进行类型检查或类型断言。

3.1 安全的类型转换

unknown 类型可以用来表示一个不确定类型的值，但在使用之前必须进行类型检查或类型断言：

function safeParse(json: string): unknown {
    return JSON.parse(json);
}

const result = safeParse('{"name": "Alice"}');
if (typeof result === 'object' && result !== null && 'name' in result) {
    console.log((result as { name: string }).name); // 输出: Alice
}

3.2 替代 any 类型

unknown 类型可以替代 any 类型，以提供更好的类型安全性。与 any 不同，unknown 类型不允许直接访问其属性或方法，除非先进行类型检查或类型断言：

let value: unknown;

value = 'Hello, world!';
// value.toUpperCase(); // 错误: 'value' 的类型是 'unknown'

if (typeof value === 'string') {
    console.log(value.toUpperCase()); // 输出: HELLO, WORLD!
}

3.3 与 any 的区别

unknown 类型与 any 类型的主要区别在于类型安全性。any 类型允许任何操作，而 unknown 类型要求在使用之前进行类型检查或类型断言，从而避免了潜在的类型错误。

4. 总结

• never 类型用于表示永远不会发生的值，通常用于永远不会返回的函数或类型收窄的场景。
• void 类型用于表示没有返回值的函数，通常用于回调函数或忽略返回值的场景。
• unknown 类型用于表示未知的类型，它比 any 类型更安全，因为它要求在使用之前进行类型检查或类型断言。

通过合理使用 never、void 和 unknown 类型，开发者可以编写出更加类型安全、易于维护的 TypeScript 代码。