typescript - 条件可选参数类型

Question

目前我有这个演示条件参数的例子，传入的第二个参数的值将取决于第一个参数的类型。

type Check<G, T> = T extends number ? string : number

function Example<T>(arg: T) { 
    return function <P>(arg: Check<P, T>) { 

    }
}

// Valid:

Example('hello')(1)
Example(1)('hello')

如何更改上面的代码以使此示例正常工作？

Example()(1)
Example(1)()

添加 ? 时的问题它使它成为永久可选的，没有它它是必需的。

Answer 1

void行得通!

type Check<G, T> = T extends number ? void : number

function Example<T>(arg?: T) { 
    return function <P>(arg: Check<P, T>) { 

    }
}

Example()(1)
Example(1)()