迭代对象时如何断言匹配类型？

以下代码块会产生打字稿错误，因为尽管we我知道foo[k] and bar[k]是同一类型，TS 无法知道（好吧，也许通过某种魔法它可以，但显然它不知道）

interface IMixed {
    a: number;
    b: string;
    c: boolean;
}

const foo: IMixed = { a: 1, b: 'one', c: true };

const bar: IMixed = { a: 2, b: 'two', c: false };

(Object.keys(foo) as Array<keyof IMixed>).forEach(k => {
    foo[k] = bar[k]; 
//  ^^^^^^ Type 'string | number | boolean' is not assignable to type 'never'.
});

当 TS 无法弄清楚我知道的事情是真的时，我就会投射它。但在这种情况下，虽然我知道这是一个有效的分配，但我不知道它是什么类型......我只知道它们是相同的。我无法在这里找到一种使用泛型的优雅方法。

假设我致力于迭代这些属性的实践（比如说，因为我们期望属性确实被添加到行中，并且类似的代码存在于整个代码库中......）

简而言之：我如何断言此分配有效？

（附带问题：为什么错误将受让人称为“从不”类型？）

UPDATE

@captain-yossarian 对可变性提出了很好的观点，并提出了一个完全可行的不可变解决方案。不过，如果这个例子稍微复杂一些，我觉得这个问题仍然悬而未决：

interface IMixed {
    a: number[];
    b: string[];
    c: boolean[];
}

const foo: IMixed = { a: [1], b: ['one'], c: [true] };
const bar: IMixed = { a: [2], b: ['two'], c: [false] };

function intersection<T>(...arrays: T[][]): T[] {
    return [...new Set([].concat(...arrays))]
}

(Object.keys(foo) as Array<keyof IMixed>)
  .reduce((acc, elem) => ({
    ...acc,
    [elem]: intersection(foo[elem], bar[elem])
                      // ^^^^^^^^^ Argument of type 'string[] | number[] | boolean[]' is not 
                      // assignable to parameter of type 'string[]'.
  }), foo);

关键是，赋值显然要求类型兼容......但这也是如此intersection功能。所以这就像原始问题的不可变版本。

值得使用reduce代替forEach在这种情况下：

interface IMixed {
  a: number;
  b: string;
  c: boolean;
}

const foo: IMixed = { a: 1, b: 'one', c: true };

const bar: IMixed = { a: 2, b: 'two', c: false };

(Object.keys(foo) as Array<keyof IMixed>)
  .reduce((acc, elem) => ({
    ...acc,
    [elem]: bar[elem]
  }), foo);

操场

突变在 TypeScript 中效果不佳。

查看相关问题：first, second, third, forth and my article

UPDATE

(Object.keys(foo) as Array<keyof IMixed>).forEach(k => {
    foo[k] = bar[k]; // error
});

你这里有一个错误，因为forEach也reduce是动态的。bar[k]是一个联盟number | string | boolean， 也foo[k]。这意味着在循环内部可以分配foo['a'] = foo['c']。这两个值都是有效的，因为我们期望一个并集number | string | boolean但这也是不安全的。这就是 TS 禁止这种行为的原因。

从另一方面，reduce有效，因为我们创建了扩展的新对象IMixed而不是变异

UPDATE

为了能够变异foo你需要添加indexing to IMixed界面：

type IMixed= {
  a: number;
  b: string;
  c: boolean;
  [prop: string]: number | boolean | string
}

const foo: IMixed = { a: 1, b: 'one', c: true };

const bar: IMixed = { a: 2, b: 'two', c: false };


(Object.keys(foo) as Array<keyof IMixed>).forEach(k => {
  foo[k] = bar[k];
});

操场