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)()