如何缩小Callable与Newable类型差异并实现精准自动补全？

问题背景 #

在使用可调用类型Fnc和可实例化类型Class时，遇到了自动补全失效的问题。以下代码可在TypeScript环境运行，但Login类的action等属性自动补全效果极差，需要实现精准补全，并理解修改后补全正常的原因。

type Fnc =  (...args: any[]) => any
type Class = { new(...args: readonly unknown[]): unknown }
type Interface<C extends Class> = InstanceType<C>

declare function Test<F extends Fnc> (type: "Precondition", f:F, params:Parameters<F>[0]): typeof Test
declare function Test<C extends Class> (type: "Actor" | "System", c:C, members:Partial<Interface<C>>): typeof Test

declare const Browser: (params: {"Address": "https://sys.tem" | "http://test-env.sys.tem"}) => void
declare class Login {
  "User": string
  "Password": string
  "action": "Sign in" | "Register" | "Request password"
  "Message": "Invalid credentials" | "Credentials are required"
}

Test 
("Precondition", Browser, {"Address": "https://sys.tem"})
("Actor",        Login,   {"User": "KO", "Password": "invalid", "action": "Sign in"})
//                                                               ^_ 自动补全效果极差
("System",       Login,   {"Message": "Invalid credentials"})

原代码补全失效的原因 #

这确实和Fnc与Class的类型缩小逻辑有关：

• 原Class类型定义为{ new(...args: readonly unknown[]): unknown }，构造函数返回的是unknown类型。当通过Interface<C>调用InstanceType<C>时，TypeScript无法精准推导Login实例的具体属性，只能识别为Partial<unknown>，导致编辑器无法提供有效补全。
• 函数重载的类型推导优先级问题：调用Test("Actor", Login, ...)时，TypeScript需要匹配对应重载，但Class的宽泛定义让推导过程无法快速锁定Login的实例类型，进一步影响补全精度。

修改后补全正常的原因 #

修改后的实现通过优化类型定义，让类型推导更精准，核心代码如下：

type Fnc = (...args: any[]) => any
// 为Class增加泛型参数T，指定构造函数返回具体实例类型
type Class<T = unknown> = { new(...args: readonly unknown[]): T }
// 通过条件类型精准提取Class对应的实例类型
type Interface<C extends Class> = C extends Class<infer T> ? T : never

declare function Test<F extends Fnc>(type: "Precondition", f: F, params: Parameters<F>[0]): typeof Test
// 明确绑定实例类型T，让members直接对应Partial<T>
declare function Test<T, C extends Class<T>>(type: "Actor" | "System", c: C, members: Partial<T>): typeof Test

declare const Browser: (params: {"Address": "https://sys.tem" | "http://test-env.sys.tem"}) => void
declare class Login {
  "User": string
  "Password": string
  "action": "Sign in" | "Register" | "Request password"
  "Message": "Invalid credentials" | "Credentials are required"
}

Test 
("Precondition", Browser, {"Address": "https://sys.tem"})
("Actor",        Login,   {"User": "KO", "Password": "invalid", "action": "Sign in"})
//                                                               ^_ 补全正常
("System",       Login,   {"Message": "Invalid credentials"})

关键改进点：

1. Class增加泛型参数：让Class<T>的构造函数返回具体的T类型，而非宽泛的unknown，直接关联构造函数与实例的类型关系。
2. 优化Interface类型推导：通过C extends Class<infer T> ? T : never精准提取实例类型T，避免原代码中InstanceType<C>因Class返回unknown导致的类型丢失。
3. 重载函数明确泛型绑定：修改后的Test重载直接声明T为实例类型，C extends Class<T>，让members: Partial<T>直接关联Login的具体属性，编辑器可基于T提供精准补全。

总结 #

自动补全失效的核心是原代码中Class类型的宽泛定义导致实例类型推导丢失，TypeScript无法识别Login的具体属性。通过给Class增加泛型参数、优化类型推导逻辑，让类型系统精准关联构造函数和实例的类型，从而解决自动补全问题。

内容的提问来源于stack exchange，提问作者qwertys