Typescript：将内部函数参数推断为子对象键的类型

您的函数具有以下调用签名:

function getChildRegister(
  parent: Parent, parentKey: keyof Parent
): (childKey: never) => {}

问题是getChildRegister()不是generic.它甚至没有try 跟踪parentKey中的特定literal type. 仅仅写typeof parentKey并不能改变这一点;这相当于只有keyof Parent.

然后keyof Parent[typeof parentKey]只是keyof (Parent[keyof Parent])，由于Parent[keyof Parent]是union type {p1: string} | {p2: number}，因此keyof operator返回the never type，因为unions 成员没有共同的 keys .

如果您希望返回的函数确切地关心parentKey传递的值，则需要整个事情都是通用的，如下所示:

function getChildRegister<K extends keyof Parent>(
  parent: Parent, parentKey: K
): (childKey: keyof Parent[K]) => {}

现在parentKey属于K constrained到keyof Parent的通用类型. 当您调用getChildRegister()时，您为parentKey传递的特定值将导致编译器推断K的文字类型，然后返回的函数将期望keyof Parent[K]，这取决于K:

getChildRegister(p, "child1")("p1") // okay
getChildRegister(p, "child1")("p2") // error
getChildRegister(p, "child2")("p1") // error
getChildRegister(p, "child2")("p2") // okay

看起来不错

您可以这样实现该功能:

function getChildRegister<K extends keyof Parent>(parent: Parent, parentKey: K) {
    return function(childKey: keyof Parent[K]) {
        return register(`${parentKey}.${childKey as any}` as any) 
    }
}

但请注意，register(`${parentKey}.${childKey}`)将不再单独工作，因为现在childKey与parentKey的关系更复杂，编译器无法遵循它.在上面的内容中，我使用了一些assertions到the intentionally loose any type来避免编译器错误.这个问题无法研究如何输入内容以便编译器能够遵循您的逻辑，所以我就把它留在那里.

Playground link to code