Typescript Array[T] 接受 {..T} 作为有效类型

Question

当我使用 useState<Options[]> 作为反应钩子时，当我输入错误 {...options} 而不是 [...options] 时，我只是在尝试访问“数组”（对象）的 .map 并得到一个时才发现类型错误。让我举一个可以澄清我的问题的例子：

  interface Option {
    title: string;
    isSelected?: boolean;
  }

  function myFunc(options: Option[]): void {}

  const options: Option[] = [{title: 'Male', isSelected: true}, {title: 'Female'}, {title: 'Other'}];
  const options2 = {...options};
  myFunc(options);
  myFunc(options2); // why isn't this an error ?

Answer 1

这似乎确实是 Typescript 本身的问题：

let c: number[] = { ...[0, 1, 2] }; // compiles
c.fill(0) // runtime error

let d: number[] = Object.assign({}, [0, 1, 2]);  // compiles
d.fill(0) // runtime error

此外，这还在运行时编译和中断：

class E {
    method() { }
}

let e: E = Object.assign({}, new E)
e.method() // runtime error

PG

我猜这是因为Object.assign 被声明为

assign<T, U>(target: T, source: U): T & U;

这是不正确的，因为assign 返回的内容实际上并没有扩展U。 assign 的返回类型应该是 T & OwnProperties<U> 之类的东西，但目前还不可能，请参阅

• https://github.com/microsoft/TypeScript/issues/28801
• https://github.com/microsoft/TypeScript/issues/9726

Answer 2

在typescript playground上玩，似乎打字稿认为options2被定义为：

const options2: {
    [x: number]: Option;
    length: number;
    toString(): string;
    toLocaleString(): string;
    pop(): Option | undefined;
    push(...items: Option[]): number;
    concat(...items: ConcatArray<Option>[]): Option[];
    concat(...items: (Option | ConcatArray<...>)[]): Option[];
    ... 24 more ...;
    [Symbol.unscopables](): {
        ...;
    };
}

所以，它实际上看起来像一个 Option Option[] 类型的数组。但是扩展运算符实际上并没有复制 Array 原型成员，并且新对象绝对不是数组。我会说这是打字稿类型系统中的一个错误。