将Typescript类型固定为联合类型

基础概念

在TypeScript中，联合类型（Union Types）允许变量拥有多种类型中的一种。使用 | 符号来分隔每个类型，表示一个值可以是这些类型中的任意一个。例如：

let value: string | number;

在这个例子中，value 可以是 string 或者 number 类型。

类型

TypeScript中的联合类型非常灵活，可以包括基本类型（如 string, number, boolean），自定义类型，甚至是其他联合类型或交叉类型。

应用场景

函数参数：当函数需要处理多种类型的输入时。
状态管理：在处理可能有多种状态的对象时。
接口设计：在设计API时，可能需要一个字段接受多种类型。

示例代码

假设我们有一个函数，它可以根据传入的值是字符串还是数字来执行不同的操作：

function processValue(value: string | number) {
    if (typeof value === "string") {
        console.log(`String value: ${value.toUpperCase()}`);
    } else if (typeof value === "number") {
        console.log(`Number value: ${value.toFixed(2)}`);
    }
}

processValue("hello"); // 输出: String value: HELLO
processValue(123.456); // 输出: Number value: 123.45

在这个例子中，processValue 函数接受一个联合类型 string | number，并根据传入值的类型执行不同的逻辑。

遇到问题及解决方法

问题：如果在使用联合类型时，TypeScript无法确定具体类型，可能会导致类型错误。

原因：这通常是因为TypeScript的类型推断不足以确定在特定上下文中的具体类型。

解决方法：使用类型断言或类型保护来帮助TypeScript理解具体类型。

function getLength(value: string | number): number {
    if (typeof value === "string") {
        return value.length; // 在这个if块内，TypeScript知道value是string类型
    } else {
        return value.toString().length; // 在else块内，TypeScript知道value是number类型
    }
}

在这个例子中，通过 typeof 类型保护，我们帮助TypeScript在每个分支中确定了 value 的具体类型，从而可以安全地调用 length 属性。

通过这种方式，联合类型可以在保持代码灵活性的同时，也确保了类型的安全性。