基于参数推断function返回类型

Question

考虑这个例子：

export function foo(foo?: string) {
  return foo ? { foo } : {};
}

const F1 = foo();
const F2 = foo("y");

编译器推断 F1 和 F2 的两种类型为：

{
    foo: string;
} | {
    foo?: never;
}

是否有可能说服编译器将F1推断为{foo:string}并将F2推断为{} ？

Answer 1

你需要让你的 function 过载：

function foo(): {}
function foo<S extends string>(foo: S): { foo: S }
function foo<S extends string>(foo?: S) {
  return foo ? { foo } : {};
}

const F1 = foo();
const F2 = foo("y");

操场