TypeScript类实现多接口时联合类型数组flags校验不生效问题

类同时实现多个泛型接口时，同名属性的类型会取各接口对应类型的交集，两种写法校验结果不一致的核心原因：

• Record<'feature1', true>与Record<'feature2', true>的交集等价于Record<'feature1' | 'feature2', true>，要求对象必须包含所有feature作为键，与定义的flagsRecords字面量结构完全匹配，因此校验通过。
• 原定义的'feature1'[]与'feature2'[]的交集等价于('feature1' & 'feature2')[]即never[]；同时普通数组类型T[]仅约束数组成员为T类型，不要求数组覆盖T的所有枚举值，和Record的语义本身不对等，因此校验失败。

数组形式完全可以实现和Record同等的强校验效果，根据使用场景可选以下方案：

• 方案1：兼容普通可修改数组（推荐）
  修改FeatureFlag接口中flags的类型定义，通过交叉类型强制要求数组必须覆盖T的所有枚举值，不改变数组的常规使用方式：

type FeatureFlagType = 'feature1' | 'feature2';

interface FeatureFlag<T extends FeatureFlagType> {
    // 同时约束：数组成员为T类型 + 必须包含所有T枚举值
    flags: T[] & { [K in T]: K };
    flagsRecords: Record<T, true>;
}

interface Feature1 extends FeatureFlag<'feature1'> {
    doFeature1: () => void;
}

interface Feature2 extends FeatureFlag<'feature2'> {
    doFeature2: () => void;
}

class Instance implements Feature1, Feature2 {
    // 缺任意一个feature值都会触发类型报错，值顺序、重复值不影响校验
    public flags = ['feature1', 'feature2'];
    public flagsRecords = {feature1: true, feature2: true};
    public doFeature1() {}
    public doFeature2() {}
}

该方案校验强度和Record完全一致，flags为普通可修改数组，无额外使用限制。

• 方案2：固定常量场景用只读元组
  如果flags不需要动态修改，可直接用as const断言省去显式类型标注，只需将接口中数组类型改为只读即可：

interface FeatureFlag<T extends FeatureFlagType> {
    flags: readonly T[];
    flagsRecords: Record<T, true>;
}

class Instance implements Feature1, Feature2 {
    // as const自动推导为精确只读元组类型，缺值直接报错
    public flags = ['feature1', 'feature2'] as const;
    public flagsRecords = {feature1: true, feature2: true} as const;
    public doFeature1() {}
    public doFeature2() {}
}

• 方案3：快速兼容旧代码
  如果不想修改原有接口定义，直接在类属性上显式标注联合数组类型即可通过校验：

class Instance implements Feature1, Feature2 {
    // 显式声明数组元素为联合类型
    public flags: ('feature1' | 'feature2')[] = ['feature1', 'feature2'];
    public flagsRecords = {feature1: true, feature2: true};
    public doFeature1() {}
    public doFeature2() {}
}

注意该方案不会校验数组是否覆盖所有feature标识，漏写值时不会触发报错，仅适合临时兼容场景。

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