Typescript TypeScrip错误：为循环中的对象属性赋值

这是打字的一个已知痛点，据报道，打字速度为microsoft/TypeScript#32693.当您有两个类型为Pet的对象pet1和pet2，并且union type的键key可赋值给keyof Pet时，编译器通常不会让您编写

pet2[key] = pet1[key]; // error!

因为它没有注意到key在两边都是value这个事实.它会将其视为您可能有两个键key1和key2，这两个键都属于相同的联合类型:

pet2[key2] = pet1[key1]; // error

你希望that是一个错误，因为如果keyof Pet是"name" | "age"，那么你想避免key1是"name"而key2是"age"的情况，你给一个字符串属性分配了一个数字.

如果编译器能够区分这两个赋值，那就太好了，因为一个总是安全的，而另一个很少是安全的.但是，除非微软/TypeScrip#32693被解决，否则你将需要解决这个问题.

对于给定的示例，最简单的解决方法是忘记循环，只使用the Object.assign() method，就像Object.assign(pet2, pet1)一样.但是，如果您需要在代码中包含类似loplike的内容，那么这是行不通的.

对于希望编译器跟踪相关联合类型的这种情况，通常推荐的方法是重构以使用generics.因此，如果Obj[keyof Obj]不起作用，您可以try Obj[K]，其中K extends keyof Obj:

(Object.keys(pet1) as Array<keyof Pet>).forEach(
  <K extends keyof Pet>(key: K) => {
    pet2[key] = pet1[key];
  });

这里我使用the forEach() method，因为它需要回调，这是放置泛型的方便位置.你可以坚持使用a for...of loop，但使用起来要笨重得多:

const keys = Object.keys(pet1) as Array<keyof Pet>;
for (const key of keys) {
  (<K extends keyof Pet>(key: K) => { pet2[key] = pet1[key] })(key);
}

如果这些都不是您喜欢的，您总是可以自由地使用type assertion来安抚编译器，例如下面的断言pet2是the intentionally loose any type:

for (const key of keys)
  (pet2 as any)[key] = pet1[key];  // okay

请注意，通常建议not使用the //@ts-ignore compiler directive来使错误静默，除非这是您继续的唯一方法.//@ts-ignore指令就像在警示灯上贴了一条胶带；它实际上并没有解决错误，只是防止您看到它，并可能导致代码中其他地方发生奇怪的事情.它也不能用于使特定错误静默；同一行上的任何其他错误都将被忽略:

for (const key of keys)
  //@ts-ignore
  pet3[key] - pet1[kay]; // okay?!

您可能希望得到有关未声明变量或不正确运算符的某种警告.正如它在//@ts-ignore的手册文档中所说的，"我们建议您使用这些注释very sparingly".

Playground link to code个