Question

这些代码行...

export function sameFlatMap<T>(array: T[], mapfn: (x: T, i: number) => T | ReadonlyArray<T>): T[];
export function sameFlatMap<T>(array: ReadonlyArray<T>, mapfn: (x: T, i: number) => T | ReadonlyArray<T>): ReadonlyArray<T>;
export function sameFlatMap<T>(array: T[], mapfn: (x: T, i: number) => T | T[]): T[] {
    let result: T[] | undefined;
    if (array) {
        for (let i = 0; i < array.length; i++) {
            const item = array[i];
            const mapped = mapfn(item, i);
            if (result || item !== mapped || isArray(mapped)) {
                if (!result) {
                    result = array.slice(0, i);
                }
                if (isArray(mapped)) {
                    addRange(result, mapped);
                }
                else {
                    result.push(mapped);
                }
            }
        }
    }
    return result || array;
}

...位于TypeScript编译器实现源中的line 702 of compiler/core.ts上。

为什么编译时不会产生过载错误？

我问是因为我期望它会由于下面第一个示例中所示的相同原因而出错-即尝试将ReadonlyArray<T>传递给期望T[]的参数。

为什么不产生此错误：

src/compiler/core.ts:702:21 - error TS2394: This overload signature is not compatible with its implementation signature.

702     export function sameFlatMap<T>(array: ReadonlyArray<T>, mapfn: (x: T, i: number) => T | ReadonlyArray<T>): ReadonlyArray<T>;

如果我在代码中尝试此操作，则这是一个过载错误...

export function foo<T>(array: ReadonlyArray<T>): ReadonlyArray<T>;
export function foo<T>(array: T[]): T[] {
  return array;
}

...这不是错误...

export function baz<T>(array: T[]): T[];
export function baz<T>(array: ReadonlyArray<T>): ReadonlyArray<T> {
  return array;
}

...我想那是因为：

T[]作为输入参数可以传递给期望ReadonlyArray<T>作为其输入参数的函数（反之亦然）
过载错误检查仅检查输入参数的类型，而不检查返回类型的类型

Answer 1

如果您勾选tsconfig-base.json，将会注意到并非所有严格选项都已启用。尤其是对于您的问题，strictFunctionTypes未启用。

这意味着编译器将在函数兼容性方面放宽很多，允许函数参数进行双变量关联（您可以阅读更多here）。尽管PR没有明确提及重载，但是它确实会影响函数签名的兼容性，因此也有可能会影响重载兼容性。因此，例如，该分配在strictNullChecks下无效，但在没有它的情况下有效：

let fn : <T>(array: ReadonlyArray<T>) =>  ReadonlyArray<T> = function<T>(array: T[]): T[] {
  return array;
}

TypeScript的core.ts如何构建而不会出现过载错误？

1 个答案: