Typescript 类型是工作.但它失go 了正确变体的亮点..为什么或者如何增强

当您调用lab()函数时，您正在为类型参数K的generic类型参数寻找IntelliSense to auto-suggest a completion list. 但TypScript的Intelligence Sense支持不提供此类完成. 您可以通过一个最小的例子来展示这一点，例如:

const f = <K extends "x" | "y">() => 0;
f<"x">() // okay
f<"">()
// ^ abc "A"
// ^ abc "a"
// ^ abc "All"
// ^ abc "all"
// ...

在这里，Intelligence Sense推荐"x"或"y"应该非常容易，但您会获得TypScript所知道的所有字符串字面量的完整列表.

长期以来，microsoft/TypeScript#28662处存在一个开放功能请求，要求此功能.如果您想看到它发生，您可能想go 那里并给它一个警告.但在实现之前，您需要放弃或解决它.

如果您愿意使用values而不是types，那么您可以使用curry您的函数，因此您手动指定T的类型参数，然后返回的函数将将K限制为您想要支持的类型，然后您就不会手动指定K;相反，您只需调用具有类型K的值的函数，即可获得函数参数的Intelligence完成列表:

const lab = <T extends Something>() =>
    <K extends { [P in keyof T]:
        T[P] extends (...args: any) => any ? P : never
    }[keyof T]>(
        k: K
    ) => { return ({} as T)[k]; }


const test = lab<Something>()("") // <--
//                            ^🔧 fn

在这里，您指定了Something，然后获得fn作为返回函数的建议输入.

只有当您实际上需要K才能是通用的时，才需要咖喱;您可能不会:

const lab = <T extends Something>(k: { [P in keyof T]:
    T[P] extends (...args: any) => any ? P : never
}[keyof T]) => { return ({} as T)[k]; }

const test = lab<Something>("") // <--
//                          ^🔧 fn

但这有点偏离了所问问题的答案，即:如果没有Microsoft/Typescript#28662，您想要的完成列表是不可能的.

Playground link to code