TypeScript中如何修改自定义对象类型以解决属性访问的类型兼容问题？

问题核心是原代码中MyObject的默认泛型设置导致类型约束冲突，修改MyObject的默认泛型并优化约束即可解决。

修改方案一：保留原有processValue函数结构 #

调整MyObject的默认泛型为never，避免默认生成包含全局字符串索引的冲突类型，同时保留MyProperty类型：

// 修改后的MyObject：默认仅包含name属性，指定泛型时添加对应数值属性
type MyObject<T extends string = never> = { name: string } & { [P in T]: number };

// 保持MyProperty逻辑：排除name属性，仅保留动态数值属性的键
type MyProperty<T extends MyObject<any>> = Exclude<keyof T, "name">;

// 调整泛型约束为MyObject<any>，匹配所有具体的MyObject实例
function processValue<T extends MyObject<any>>(enhanced: T, key: MyProperty<T>) {
    const value = enhanced[key]; // 类型安全，自动推断为number
}

const o: MyObject<"speed" | "price"> = { name: "car", speed: 100, price: 200 };
processValue(o, "speed"); // 编译通过，无错误

修改方案二：简化泛型逻辑（可选） #

如果不需要单独定义MyProperty，可以直接用泛型参数表示动态属性键，代码更简洁：

type MyObject<T extends string = never> = { name: string } & Record<T, number>;

function processValue<T extends string>(enhanced: MyObject<T>, key: T) {
    const value = enhanced[key]; // 明确为number类型，访问安全
}

const o: MyObject<"speed" | "price"> = { name: "car", speed: 100, price: 200 };
processValue(o, "speed"); // 正常编译

原代码报错原因 #

原MyObject<string>会生成{ [x: string]: number } & { name: string }，这个类型存在逻辑矛盾：索引签名要求所有字符串键的属性值为number，但name是string类型，TypeScript会判定该类型不合法。当processValue的泛型约束为T extends MyObject时，TS默认用MyObject<string>作为约束类型，而你的实例MyObject<"speed" | "price">不满足该约束，因此抛出编译错误。

内容的提问来源于stack exchange，提问作者Yoz