泛型字符串字面量交叉类型问题：Comment字段类型推导异常

你的问题核心在于交叉类型的索引签名无法在泛型上下文里建立可靠的类型关联。原来的RequiredShape把特性字段和注释字段拆成两个交叉的索引签名，TypeScript没法确定${key}Comment对应的键一定属于交叉类型里的string部分，所以会把comment的类型推断为Feature | string，导致访问length时报错。

解决方案1：合并映射类型，让类型关联更明确 #

把RequiredShape改成单一的映射类型，通过条件类型直接为每个键指定对应类型：

type Comment<K extends string> = `${K}Comment`;

// 合并成一个映射类型，同时处理特性键和注释键
type RequiredShape<K extends string> = {
  [Key in K | Comment<K>]: Key extends Comment<infer BaseKey> 
    ? string  // 如果是注释键，类型为string
    : Feature; // 如果是特性键，类型为Feature
};

function doSomethingWithComment<K extends string>(
  obj: RequiredShape<K>,
  key: K,
) {
  const feature = obj[key];
  const commentKey = `${key}Comment` as Comment<K>;
  const comment = obj[commentKey]; // 现在正确识别为string
  doSomethingWithLength(comment.length); // 不再报错
}

解决方案2：自动筛选对象中带注释的有效键 #

如果要让函数只接受存在对应注释字段的键（比如示例里a有效，b无效），可以从对象本身推导有效键，不用手动指定泛型：

// 提取注释键对应的基础键（比如'aComment'对应'a'）
type CommentKey<T> = T extends `${infer K}Comment` ? K : never;

// 筛选出同时存在自身字段和对应注释字段的键
type ValidKeys<T> = Exclude<keyof T, CommentKey<keyof T>> & CommentKey<keyof T>;

function doSomethingWithComment<T>(
  obj: T,
  key: ValidKeys<T>
) {
  const feature = obj[key]; // 类型自动推断为Feature
  const commentKey = `${key}Comment` as const;
  const comment = obj[commentKey]; // 类型自动推断为string
  doSomethingWithLength(comment.length);
}

// 测试示例
type Object = {
  a: Feature,
  aComment: string,
  b: Feature
};

const testObj: Object = { a: {}, aComment: 'test', b: {} };
doSomethingWithComment(testObj, 'a'); // 正常通过
doSomethingWithComment(testObj, 'b'); // 编译器报错，因为b没有对应的bComment

为什么原来的交叉类型不行？ #

交叉类型的两个部分{[Key in K]: Feature}和{[Key in Comment<K>]: string}是独立的。在泛型K的场景下，TypeScript无法将Comment<K>生成的键和第二个交叉部分的string类型绑定——它只能知道obj[commentKey]可能是Feature或string，没法确定一定是string，所以会出现类型错误。

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