在 Typescript 中重载时类型被错误解释

Question

考虑以下类和具有两个实现的factory 方法

class SomeClass {
  public someId: number;
  public someProp: string;
  constructor(input) {
    // do some internal stuff with input;
  }
}
function factory(singleInput: {}): SomeClass;
function factory(multipleInput: Array<{}>): Array<SomeClass>;
function factory(singleOrMultipleInput: {} | Array<{}>): SomeClass | Array<SomeClass> {
  if (singleOrMultipleInput instanceof Array) {
    // case multiple input: Array<{}>
    const arrayOfSomeClass = singleOrMultipleInput.map(ro => new SomeClass(singleOrMultipleInput)); // indeed is shown as SomeClass[]
    return arrayOfSomeClass;
  } else {
    // case single input: {}
    const singleSomeClass = new SomeClass(singleOrMultipleInput); // indeed is shown as SomeClass
    return singleSomeClass;
  }
}

换句话说：当使用{} 作为参数（普通对象）调用factory 时，我希望它返回SomeClass 的实例。当使用对象数组[{}, {}, {}] 调用factory 时，我希望它返回SomeClass 的实例数组，例如[SomeClass, SomeClass, SomeClass]。

下面的 sn-p 表明 TypeScript 解释不识别它。

const singleInput: {} = {};
const multipleInput: Array<{}> = [{}, {}, {}];
let singleResult = factory({}); // is SomeClass, as expected
const multipleResult = factory([{}]); // no longer is SomeClass[] ?!
singleResult.someId = 123;
multipleResult.someId = 456; // the interpreter should flag this as wrong
singleResult = multipleResult; // also shouldn't be possible without an warning from the interpreter

但是，在工厂方法中，arrayOfSomeClass 和 singleSomeClass 输入正确。为什么multipleResult 不会被解释器显示为SomeClass[]？

后续问题：如何实现以使解释器显示我所期望的类型？ （最好将工厂方法作为SomeClass 的static（通用？）方法（我意识到这可能可以通过避免重载来实现，但这不是我想要的）

Answer 1

我不是 100% 确定，但似乎 instanceof 检查必须按照与重载相同的顺序进行。

function factory(multipleInput: Array<{}>): Array<SomeClass>;
function factory(singleInput: {}): SomeClass;
function factory(singleOrMultipleInput: {} | Array<{}>): SomeClass | Array<SomeClass> 

它按预期工作。

编辑：编译器正在第一次重载并试图验证它。

所以它可以使用对象数组传递给 else { } 块，没有错误， 至于编译器Array是{}的情况。

更多更新：

从这个角度来看，这似乎是一个错误。

function acceptsObjectType(obj:{}) {
  return obj;
}

let a = [];
a = acceptsObjectType(a);

但这没关系。

function acceptsObjectType(obj:{}) {
  return obj;
}

let a:{} = [];
a = acceptsObjectType(a);