TypeScript交叉类型异常：如何让palette2通过类型检查？

你的问题根源在于Monochrome的类型定义方式导致TypeScript无法自动推断对象字面量符合类型约束。原定义中Monochrome = WhichColors & Record<string, Color.White | Color.Black>，而WhichColors是Attr & Record<string, Color>，这使得Monochrome中foo/bar/baz的类型被解析为unknown & (Color.White | Color.Black)，TypeScript的类型检查器无法自动将具体的枚举成员（如Color.Black）匹配到这个交集类型上，从而报错。

以下是两种简单的调整方案：

方案一：直接重新定义Monochrome为Attr属性的类型约束 #

通过映射类型直接指定Attr中所有属性的类型为黑白两色，替代原有的交集写法：

enum Color {
  Red,
  White,
  Blue,
  Green,
  Black,
}

interface Attr {
  foo: unknown;
  bar: unknown;
  baz: unknown;
};

type WhichColors = {
  [K in keyof Attr]: Color;
};
const palette1 : WhichColors = { foo: Color.Blue, bar: Color.Green, baz: Color.Black };

// 直接映射Attr的属性为黑白颜色
type Monochrome = {
  [K in keyof Attr]: Color.White | Color.Black;
};

// 现在可以正常通过类型检查
const palette2: Monochrome = {
  foo: Color.Black,
  bar: Color.White,
  baz: Color.Black
};

方案二：优化WhichColors和Monochrome的交集逻辑 #

如果需要保留基于WhichColors的扩展，可以用Omit清除Attr的原有类型约束，再与限定颜色的Record交集：

enum Color {
  Red,
  White,
  Blue,
  Green,
  Black,
}

interface Attr {
  foo: unknown;
  bar: unknown;
  baz: unknown;
};

type WhichColors = Attr & Record<keyof Attr, Color>;
const palette1 : WhichColors = { foo: Color.Blue, bar: Color.Green, baz: Color.Black };

// 先移除Attr的unknown类型约束，再限定为黑白颜色
type Monochrome = Omit<Attr, keyof Attr> & Record<keyof Attr, Color.White | Color.Black>;

// 正常通过检查
const palette2: Monochrome = {
  foo: Color.Black,
  bar: Color.White,
  baz: Color.Black
};

为什么原写法会报错？ #

原定义中Attr的属性为unknown，与Record<string, Color.White | Color.Black>交集后，TypeScript会认为属性类型是unknown与限定颜色的交叉类型。虽然Color.Black属于Color.White | Color.Black，但unknown类型的存在会让类型检查器无法自动完成子类型到交叉类型的匹配，必须显式断言或调整类型定义来消除歧义。

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