Question

我正在尝试根据给定的参数推断返回类型

我尝试使用泛型。

type Getter<T> = T extends string ? string : object

function get<T> (key?: T ): Getter<T|undefined> {
    if (key) {
        return 'string'
    } else {
        return {} 
    }
}

let single = get('htewr')
let multi = get()

multi可以推断它必须是对象类型。但是，single仍然推断出它是string | object类型，而不只是字符串类型。

Answer 1

您正在遇到条件类型的分布行为。 Getter<T | undefined> = Getter<T> | Getter<undefined> = Getter<T> | object因此，无论T为何，您将在重新开始的联合中获得object。

这可以按预期工作：

type Getter<T> = T extends string ? string : object

function get<T> (key?: T): Getter<T> {
    if (key) {
        return 'string' as Getter<T>
    } else {
        return {} as Getter<T>
    }
}

let single = get('htewr') // string 
let multi = get() // object

基于参数的推断返回类型

1 个答案: