生成的可区分联合的Typescript 错误

这本质上是打字脚本类型判断算法的一个限制，潜在的问题在第microsoft/TypeScript#30581节中描述.如果您有一个union type的表达式，并且编写了该表达式多次出现的代码，编译器会通过将该表达式的每个语句视为独立于原始语句来对其进行分析.所以，假设有这样的事情

declare const state: RickAndMortyCharacter;
declare const payload: {
    updatedProps: "species";
    newValue: string;
} | {
    updatedProps: "origin";
    newValue: {
        name: string;
        url: string;
    };
}

你会得到这个:

const up = payload.updatedProps;
// const up: "species" | "origin"
const nv = payload.newValue;
// const nv: string | { name: string; url: string; }

请注意，up和nv都是联合类型.但这已经丢失了你所关心的信息.如果您所知道的关于up的全部信息是它的类型"species" | "origin"，而您所知道的nv的所有信息是它的类型string | { name: string; url: string}，那么您不可能再编写这样的代码而不出错:

state[up] = nv; // error!

因为如果up是"origin"，而nv是string呢？你只知道这是不可能的，因为up和nv都来自同一个payload.但TypeScrip没有分析payload个中的identity个，它只分析了type个.Typescript 中没有"相关的联合"这回事.

所以赋值失败，即使它是this twitter thread by the TS Team dev lead%类型安全的.他们不能仅仅通过让编译器多次分析state[up] = nv来修复它，而不会大规模地 destruct 编译器的性能或使编译器变得不可预测.请参见this twitter thread by the TS Team dev lead.

幸运的是，有一种方法可以重构代码，使编译器确实遵循逻辑.它被描述为microsoft/TypeScript#47109.方法是将联合替换为范围在类键类型上的generics，然后将泛型indexes转换为适当的mapped types.这些索引到映射的类型可以发生在单个distributive object type中(正如在GitHub问题中所创造的那样).

您的RickAndMortyCharacterChange基本上就是这样一种类型，但您可以将其更改为通用类型(仍默认为完整并集):

type RickAndMortyCharacterChange<K extends keyof RickAndMortyCharacter
  = keyof RickAndMortyCharacter> = {
    [P in K]: {
      updatedProps: P;
      newValue: RickAndMortyCharacter[P];
    };
  }[K];

现在，applyPropertyChange()可以在K中成为泛型，约束为keyof RickAndMortyCharacter.您将传入一个类型为RickAndMortyCharacterChange<K>的值，然后突然一切都正常了:

function applyPropertyChange<K extends keyof RickAndMortyCharacter>(
  state: RickAndMortyCharacter,
  payload: RickAndMortyCharacterChange<K>
) {
  state[payload.updatedProps] = payload.newValue; // okay
  return state;
}

如果你把它分解成up和nv，你就会明白为什么:

function applyPropertyChange<K extends keyof RickAndMortyCharacter>(
  state: RickAndMortyCharacter,
  payload: RickAndMortyCharacterChange<K>
) {
  const up = payload.updatedProps;
  // const up: K
  const nv = payload.newValue;
  // RickAndMortyCharacter[K]
  state[up] = nv; // okay
  return state;
}

现在up是K类型，nv是RickAndMortyCharacter[K]类型.它们都是通用的.而这一分配被视为将右侧的RickAndMortyCharacter[K]分配给左侧的RickAndMortyCharacter[K].因为这些类型是相同的泛型，所以一切都按预期工作.

Playground link to code个