Typescript 缩小映射函数的泛型类型

export type Mapping = {
    number: number;
    string: string;
};

function get<K extends keyof Mapping>(key: K): Mapping[K] {
    switch (key) {
        case "number":
            // ERROR: Type 'number' is not assignable to type 'Mapping[K]'
            return 42; // Adding "as Mapping[K]" works, but that's not type-safe
        case "string":
            // ERROR: Type 'string' is not assignable to type 'Mapping[K]'
            return "hello";
        default:
            throw "Never reached, but otherwise TS throws: Function lacks...";
    }
}

const usageWorksAsExpected = { n: get("number"), s: get("string") };

function get<K extends keyof Mapping>(key: K): Mapping[K] {
    return {
        number: 42,
        string: "hello"
    }[key] // okay
}

function get<K extends keyof Mapping>(key: K): Mapping[K] {
    return {
        get number() { return 42 },
        get string() { return "hello" }
    }[key]
}

Typescript相关问答推荐

为什么TypScript对条件函数类型和仅具有条件返回类型的相同函数类型的处理方式不同？

类型脚本不会推断键的值类型

等待的R没有用响应对象展开到R

在Angular中，如何在文件上传后清除文件上传文本框

输入元素是类型变体的对象数组的正确方法是什么？'

隐式键入脚本键映射使用

学习Angular ：无法读取未定义的属性(正在读取推送)

TypeScrip-将<；A、B、C和>之一转换为联合A｜B｜C

TypeScrip：逐个 case Select 退出noUncheck kedIndexedAccess

使用订阅时更新AG网格中的行

是否将自动导入样式从`~/目录/文件`改为`@/目录/文件`？

vue-tsc失败，错误引用项目可能无法禁用vue项目上的emit

如何过滤文字中的类对象联合类型？

声明遵循映射类型的接口

打字错误TS2305：模块常量没有导出的成员

设置不允许相同类型的多个参数的线性规则

有没有什么方法可以使用ProvideState()提供多个削减器作为根减减器

Typescript不允许在数组中使用联合类型

TypeScript：方法获胜'；t接受较窄类型作为参数

在类型{}上找不到带有string类型参数的索引签名 - TypeScript