TypeScript泛型中扩展OptionsFlags类型的正确实现方案：限定已有属性为布尔类型、额外属性为字符串类型

你原来的写法里，[Property not in keyof Type]这种语法在TypeScript里是不支持的——映射类型只允许用in来遍历已知的键集合，没法直接反向排除键。不过我们可以通过交叉类型+内置工具类型来实现你的需求。

正确实现方式 #

我们可以把原有的映射类型，和一个“所有不属于原Type的键必须为string类型”的类型交叉合并，具体代码如下：

type OptionsFlags<Type> = {
  // 保持原有逻辑：将Type的每个属性转为boolean
  [Property in keyof Type]: boolean;
} & {
  // 筛选出所有不属于Type的键，要求这些键对应的属性必须是string
  [K in Exclude<PropertyKey, keyof Type>]: string;
};

如果希望额外的非Type属性是可选的（也就是允许不存在这些属性），可以给第二部分的属性加上可选标记?:：

type OptionsFlags<Type> = {
  [Property in keyof Type]: boolean;
} & {
  [K in Exclude<PropertyKey, keyof Type>]?: string;
};

代码解释 #

• Exclude<PropertyKey, keyof Type>：TypeScript内置的工具类型，作用是从第一个类型（这里是PropertyKey，它包含了所有可能的对象键类型：string、number、symbol）中排除掉第二个类型（原Type的所有键），得到所有不属于Type的键集合。
• 交叉类型&：把两个类型的要求合并在一起，最终的类型既会强制原Type的属性为boolean，又会强制任何额外属性必须是string类型。

验证示例 #

我们用一个实际的类型来测试：

// 定义一个原类型
type AppFeatures = {
  darkMode: unknown;
  sidebarCollapse: unknown;
};

// 生成扩展后的OptionsFlags类型
type AppFeatureOptions = OptionsFlags<AppFeatures>;

// 符合要求的用法
const validOptions: AppFeatureOptions = {
  darkMode: true,
  sidebarCollapse: false,
  // 额外属性是string，符合规则
  customTheme: "blue"
};

// 不符合要求的用法（会触发TypeScript报错）
const invalidOptions: AppFeatureOptions = {
  darkMode: true,
  sidebarCollapse: false,
  // 额外属性是数字，违反了必须为string的规则
  customTheme: 123
};

内容的提问来源于stack exchange，提问作者Page not found