TypeScript：如何为接口添加参数以限定对象键？

你的需求完全可以实现，当前代码存在语法错误和泛型使用不当的问题，以下是修正后的几种方案：

方案1：泛型接口交叉（基础实现） #

先修正泛型接口的写法，解决语法问题：

// 给泛型参数添加类型约束，使用映射类型定义索引
interface MyObject<Index extends number> {
    values: {
        [K in Index]: number;
    }
}

// 交叉类型无需额外的{}
export type MyFirstObjectType = MyObject<1> & MyObject<2>;
export type MySecondObjectType = MyObject<1> & MyObject<3>;

// 此时MyFirstObjectType的values等价于 {1: number; 2: number}
let newObject: MyFirstObjectType = {
    values: {
        [1]: 5,
        [2]: 3,
        // 注意：默认TypeScript不会严格禁止额外属性，若需要严格限制，看后续方案
    }
};

方案2：精确类型约束（严格禁止额外键） #

如果需要严格限制values只能包含指定键，可定义Exact类型来实现：

// 定义精确类型，禁止超出指定键的额外属性
type Exact<T, U> = T & { [K in Exclude<keyof U, keyof T>]?: never };

// 通过泛型数组直接指定允许的键集合
type CreateObjectType<Keys extends number[]> = {
    values: Exact<{ [K in Keys[number]]: number }, any>
};

// 使用示例
export type MyFirstObjectType = CreateObjectType<[1, 2]>;
export type MySecondObjectType = CreateObjectType<[1, 3]>;

let newObject: MyFirstObjectType = {
    values: {
        [1]: 5,
        [2]: 3,
        // [3]: 5, 此处会直接报错，因为3不在允许的键列表中
    }
};

方案3：Record + 索引签名（简洁严格约束） #

另一种更简洁的严格约束方式，利用never类型禁止额外键：

// 直接传入允许的键联合类型，限制values的结构
type TypedObject<AllowedKeys extends number> = {
    values: Record<AllowedKeys, number> & {
        [K: number]: K extends AllowedKeys ? number : never;
    }
};

// 使用示例
export type MyFirstObjectType = TypedObject<1 | 2>;
export type MySecondObjectType = TypedObject<1 | 3>;

let newObject: MyFirstObjectType = {
    values: {
        [1]: 5,
        [2]: 3,
        // [3]: 5, 此处报错：类型number无法赋值给never类型
    }
};

方案选择建议 #

• 若仅需要合并属性、不严格限制额外键，选择方案1，写法简单易扩展；
• 若需要严格禁止未指定的键，推荐方案2或方案3，类型检查更严谨，适合大型项目的类型规范。

内容的提问来源于stack exchange，提问作者Ólavur Nón