Javascript 函数返回与输入对象具有相同键的对象

TypeScript将无法遵循fn()实现内部的逻辑来验证它是否符合Pick从OutputObject和InputObject类型中提取相同密钥的generic mapped type关系.您实际上需要type assertions来放松类型判断以继续进行.这意味着您必须小心代码的行为，因为编译器不能真正判断它.

这里有一个可能的方法:

const fn = <K extends keyof InputObject = never>(
    x: Pick<InputObject, K> & Partial<InputObject>
): Pick<OutputObject, K> => {    
    let returnValue = {} as
        Pick<OutputObject, K> & Partial<OutputObject>;
    if (x.a) { returnValue.a = new A() }    
    if (x.b) { returnValue.b = new B() }    
    return returnValue;
}

其中重要的部分是:

• 该功能仅在K中通用，x输入类型中存在的键.这使得编译器可以更容易地推断出K，特别是因为我们不希望出现任何额外的键，而x是Pick<InputObject, K>的subtype.

• 如果你传入{}，编译器就不能正确推断出K，通常会回落到keyof InputObject，这与我们想要的正好相反.我们要the never type个，意味着没有 keys . never分中有default type argument分.

• 输入类型是intersected和Partial<InputObject>，所以编译器在函数内部确定，如果键a或b存在属性，那么它是InputObject值类型.这是必要的，因为TS中的对象类型不是密封的.从技术上讲，值{a: 1, b: "hello"}属于类型Pick<InputObject, "a">，因为你可以写interface Foo extends Pick<InputObject, "a"> {b: string}并使用Foo. 我们希望防止这种可能性.

• returnValue的类型断言在作出时是谎言，因为{}不太可能是类型Pick<OutputObject, K>.但是这个 idea 是，当函数返回时，它将为真.

• 断言的类型也与前面提到的交叉点相同，原因是Partial<OutputObject>；这让编译器知道可以用a和b索引到returnValue.

好吧，我们来测试一下:

const v = fn({ a: 1 });
// const v: Pick<OutputObject, "a">
const w = fn({});
// const w: Pick<OutputObject, never>
const x = fn({ b: 2 });
// const x: Pick<OutputObject, "b">
const y = fn({ a: 1, b: 2 })
// const y: Pick<OutputObject, "a" | "b">

看起来不错输出类型是我们期望的.

Playground link to code