类型的 TypeScript 联合被解析为类型的交集

Question

我有这个sn-p

class J {
  constructor(public foo: number) {}
}

class B {
 constructor(public bar: string) {}
}

interface Cache {
 json?: J;
 binary?: B;
}

function test(key: "json" | "binary", data: J | B, obj: Cache) {
  obj[key] = data;
}

如果您在https://www.typescriptlang.org/play/ 中尝试此代码，obj[key] = data; 行会出现以下错误

键入'J | B' 不可分配给类型 'J & B'。 类型“J”不可分配给类型“J & B”。 类型“J”中缺少属性“bar”，但类型“B”中需要。

显然我缺少一些东西，但我不知道是什么。有什么想法吗？

Answer 1

key 和data 之间没有关系，所以你可以用test( "json", new B()) 调用测试，分配将无效。

如果您使用泛型类型参数（我们称之为K）作为键并将data 键入为Cache[K]，打字稿将允许赋值。 （尽管它仍然不是 100% 类型安全的，因为 K 可能是一个联合，并且可能会发生与上述相同的问题）：

class J {
  constructor(public foo: number) {}
}

class B {
 constructor(public bar: string) {}
}

interface Cache {
 json?: J;
 binary?: B;
}

function test<K extends keyof Cache>(key: K, data: Cache[K], obj: Cache) {
  obj[key] = data;
}

Play

Answer 2

Typescript 无法判断您尝试更新 Cache 的哪个属性，并且当有疑问时，他认为您尝试插入的值应该能够同时适合两者。其中J | B can't.

您可以稍微更改您的 test 函数签名以使用 Partial

function test(update: Partial<Cache>, obj: Cache) {
    Object.assign(obj, update);
}

这样，Typescript 可以确保您传递给它的键/值对对 Cache 类有效。