关于keyof的困惑：为何第一段代码无报错？需使其因c非X的键报错

首先我得把你提到的两段代码具象化（根据常见场景还原，方便解释问题）：

第一段不报错的代码（推测） #

type X = { a: string; b: number };

// 无泛型约束，key为string类型，obj为any
function getValue(obj: any, key: string) {
  return obj[key];
}

// 调用时无报错
getValue({} as X, "c");

第二段报错的代码（推测） #

type X = { a: string; b: number };

// obj为X类型，key被约束为keyof X
function getValue(obj: X, key: keyof X) {
  return obj[key];
}

// 调用时报错
getValue({} as X, "c"); // 错误：'"c"' 不能赋值给 '"a" | "b"'

为什么第一段代码不报错？ #

这段代码有两个关键点绕过了TypeScript的类型检查：

1. key的类型是string：string是一个宽泛的顶层类型，包含所有可能的字符串值，自然也包括不属于X的键（比如"c"）。TypeScript默认认为你是要处理任意字符串键，所以不会拦截这个调用。
2. obj的类型是any：any类型会完全关闭类型检查，不管你用什么key访问它，编译器都不会提出异议。

为什么第二段代码会报错？ #

这里key被明确约束为keyof X——也就是"a" | "b"这个联合类型。当你传入"c"时，它不在这个合法键的集合里，TypeScript的类型检查器会立刻识别出这个不符合约束的输入，这是严格类型检查的预期行为。

如何实现“类似第一段逻辑但能检测无效键”的需求？ #

你想要的是一个通用的函数（像第一段那样适配不同对象类型），但同时能在传入无效键时触发编译器错误。这时候用泛型+keyof约束就能完美实现：

type X = { a: string; b: number };

// 泛型函数，强制K必须是T的合法键
function getProperty<T, K extends keyof T>(obj: T, key: K) {
  return obj[key];
}

// 正确调用：符合类型约束，无错误
getProperty({} as X, "a");

// 错误调用：编译器报错，"c"不是X的键
getProperty({} as X, "c"); // 错误：类型'"c"'的参数不能赋给类型'"a" | "b"'的参数

这个写法既保留了函数的通用性（可以传入任意类型的对象和它的合法键），又能严格校验键的有效性，完全匹配你的需求。

关于“给y添加Y类型会报错”的问题 #

你提到在第一段代码中给函数添加Y<X>类型（应该是指指定泛型参数）会报错，这其实是正确的行为——当你指定泛型T=X后，如果同时给key加上keyof T的约束，传入"c"自然会触发错误，这正是你想要的类型检查效果。如果你的写法报错，大概率是泛型约束没写对，要确保K extends keyof T，而不是让key继续保持string类型。

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