當泛型類型可以遞歸嵌套時如何使類型推斷工作

Question

我剛剛開始使用 function 重載。

我定義了以下帶有重載的 function。 但是，當使用 function 時，泛型類型T並不總是正確推斷。

function arrayWrapper<T>(input: T): T[];
function arrayWrapper<T>(input: T[]): T[];
function arrayWrapper<T>(input: T | T[]): T[] {
    if (input instanceof Array) {
        return input;
    }
    return [input];
}

例如，這段代碼

function arrayWrapperExample(): string[] {
    return arrayWrapper(['hello']);         // Error here
}

產生這個推理錯誤：

Type 'string[][]' is not assignable to type 'string[]'.
  Type 'string[]' is not assignable to type 'string'.ts(2322)

但是，如果我明確指定promiseWrapper的通用類型，錯誤就會解決。

function arrayWrapperExample(): string[] {
    return arrayWrapper<string>(['hello']);
}

但這是多余的，因為返回類型已經指定了一次，如function的返回類型。

arrayWrapper的重載是否可以以不需要再次指定string的方式聲明？

提前致謝！

Answer 1

第一個與您的參數匹配的重載被采用，所以只需將它們按優先級排序（從最具體到最通用）：

function arrayWrapper<T>(input: T[]): T[];
function arrayWrapper<T>(input: T): T[];
function arrayWrapper<T>(input: T | T[]): T[] {
    if (input instanceof Array) {
        return input;
    }
    return [input];
}

function arrayWrapperExample(): string[] {
    return arrayWrapper(['hello']);         // Error here
}

TypeScript 操場