键入'字符串 | number' 不能分配给 switch 语句中的类型'never' [重复]

Question

我有一个描述来自 BE 的数据结构的接口，并且一个类具有将该 BE 数据结构转换为我们的 FE 数据结构的方法，反之亦然，但在该打字稿期间抛出 Type 'string | number' is not assignable to type 'never'. Type 'string' is not assignable to type 'never' 错误。我该如何解决，为什么会这样？

interface BEStructure {
  a?: string;
  b?: number;
  ...
}

class FEStructure {
  a: string = null;
  b: number = null;
  ...

  static convertToBE(fe: Partial<FEStructure>): BEStructure  {
    const be: BEStructure = {};

    Object.keys(fe).forEach(key => {
      switch (key) {
        case 'a':
        case 'b': 
          // My others logic
          // ERROR HERE
          be[key] = fe[key];
          break;
      default:
          be[key] = fe[key];
      }
    });

    return be;
  }
}

我创建了a reproduce here

Answer 1

在这种情况下，TypeScript 分配似乎不够聪明，无法自行进行案例分析。在语句be[key] = fe[key] 中，右侧的类型为string | number，而左侧可通过类型string & number 赋值，其计算结果为never，即永远不能赋值。

这是一个解决方案，它定义了一个正确类型的 assign 泛型函数：

interface BEStructure {
  a?: string;
  b?: number;
}

function assign<T, Key extends keyof T>(obj: T, key: Key, value: T[Key]): void {
  obj[key] = value;
}

class FEStructure {
  a?: string;
  b?: number;

  static convertToBE(fe: FEStructure): BEStructure  {
    const be: BEStructure = {};

    Object.keys(fe).forEach(key => {
      switch (key) {
        case 'a':
        case 'b': 
          //be[key] = fe[key];
          assign(be, key, fe[key])
          break;
      }
    });

    return be;
  }
}

Playground link

Answer 2

请提供可重现的示例。我无法重现您的错误。

我认为 @Linda Paiste 是对的

我敢打赌，这是因为 be[key] = fe[key]; 突变。

Official explanation

当索引访问 T[K] 发生在类型关系的源端时，它会解析为由 T[K] 选择的属性的联合类型，但是当它发生在类型关系的目标端时类型关系，它现在解析为由 T[K] 选择的属性的交集类型。以前，目标端也会解析为联合类型，这是不合理的。

根据官方解释 be[key] 在be[key] = fe[key]; 解析为be['a' & 'b'] 解析为be[never] 触发错误：Type 'string' is not assignable to type 'never'。因为'a' & 'b'的交集给never

查看这些答案：

Assigning properties in an object by iterating through its keys,

How to selectively assign from one Partial to another in typescript,

Why can I index by string to get a property value but not to set it?,

TypeScript: Why can't I assign a valid field of an object with type { a: "a", b: "b" }

My article 专门用于 TS 突变。