打字稿：有条件地将对象属性标记为可选？

如何解决打字稿：有条件地将对象属性标记为可选？

例如：

type Foo = {
    'a': string,'b': undefined,};

type Bar<T extends keyof Foo> = {
    foo: Foo[T],};

const bar1: Bar<'a'> = { foo: 'a' }; // ok
const bar2: Bar<'b'> = { foo: undefined }; // ok
const bar3: Bar<'b'> = {}; // Property 'foo' is missing in type '{}' but required in type 'Bar<"b">'.

TS游乐场：https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9nKBeKBvAUFLUDkBDHALigGdgAnASwDsBzAGk2xwCMioBXagEwgDMaEbowC+AbnTpQkKACE85ADwAVKBAAewCDxJQA1hBBw+sBAD5kaJlj4Ji8OAG1lAXVET0AYzjUyUFgoAjMTySvg4FiioULZwxOFQ4l4+fgHkAEwhCoqsEZbRscRcvALUQokS3r7A-goAzFlhbJFo4kA

在此示例中，我希望foo属性为可选，如果其值为undefined。换句话说，我希望{ foo: undefined }和{}可以互换。

在我的实际代码中，我有一些有条件地返回不同字段的API处理程序。如果不需要字段，我想忽略它，而不必将其定义为undefined。

解决此问题的一种方法是：

type Bar<T extends keyof Foo> = Foo[T] extends undefined
  ? { foo?: undefined }
  : { foo: Foo[T] };

但是，如果许多字段是可选的，那么条件可能会变得很长。有更好的方法吗？

解决方法

type Foo = {
    'a': string,'b': undefined,}

type Bar<T extends keyof Foo> = {
    propOne: Foo[T],propTwo: Foo[T]
};

type UndefinedBarKeys<T extends keyof Foo> = {
  [K in keyof Bar<T>]: Bar<T>[K] extends undefined ? K : never 
}[keyof Bar<T>];

type BetterBar<T extends keyof Foo> =
    Foo[T] extends undefined
    ? { [K in keyof Pick<Bar<T>,UndefinedBarKeys<T>>]?: Foo[T] }
    : Bar<T>;

const bar1: BetterBar<'a'> = { propOne: 'asdf',propTwo: 'qwerty'};
const bar2: BetterBar<'b'> = { propOne: undefined,propTwo: undefined };
const bar3: BetterBar<'b'> = {};