TypeScript中Getters正常但Setters用Uncapitalize索引类型报错的疑问

你遇到的差异本质是TypeScript编译器在函数参数类型位置和返回值类型位置对条件类型窄化的处理逻辑不同：

• 在Getters<T>的返回值位置，当你通过Uncapitalize<S> extends keyof T确认类型后，编译器会认可这个窄化结果，允许用Uncapitalize<S>索引T——因为返回值是输出，类型推断的容错性更高。
• 但在Setters<T>的参数类型位置，编译器对经过字符串转换（比如Uncapitalize）的泛型类型的索引兼容性检查更严格。即使你写了条件判断，编译器也无法完全确认Uncapitalize<S>必然是T的有效键——参数是输入，需要更明确的类型保证，避免潜在的类型不安全场景，因此抛出了索引错误。

完全可以绕开解构和字符串反向转换的步骤，直接基于T的原始键生成getter/setter，写法简洁且无类型错误：

export type Getters<T> = {
  [K in keyof T & string as `get${Capitalize<K>}`]: () => T[K];
};

export type Setters<T> = {
  [K in keyof T & string as `set${Capitalize<K>}`]: (newValue: T[K]) => void;
};

这个写法利用TypeScript的重映射类型（as关键字），直接遍历T的每个字符串键K，将其转换为get${Capitalize<K>}或set${Capitalize<K>}作为属性名，同时直接引用T[K]作为返回值/参数类型，全程不需要推断和解构，彻底避免了原写法的类型问题。

如果一定要保留原写法的逻辑（比如兼容特殊场景），可以通过将Uncapitalize<S>断言为keyof T绕过错误，但这种写法不如重映射方案优雅：

export type Setters<T> = {
  [K in `set${Capitalize<keyof T & string>}`]: K extends `set${infer S}` ? (
    S extends keyof T ? (newValue: T[S]) => void : (
      Uncapitalize<S> extends keyof T ? (newValue: T[Uncapitalize<S> & keyof T]) => void : never
    )
  ) : never;
};

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