TypeScript自定义类型下函数重载报错及返回类型推断问题

一、函数重载报错的解决方案 #

你遇到的“重复函数实现.ts(2393)”和“'getConnection'已声明但未读取.ts(6133)”错误，本质是TypeScript函数重载的写法不符合规范。TS的重载要求先定义多个重载签名（仅声明参数和返回类型，无函数体），再写一个兼容所有重载的实现签名（带函数体），不能直接写多个同名函数实现。

正确的重载写法示例：

// 先定义3个重载签名，明确不同参数对应的返回类型
function getConnection(type: "pool-connection"): PoolConnection;
function getConnection(type: "pool-client"): PoolClient;
function getConnection(type: "database"): Database;

// 实现签名：参数类型是所有重载参数的联合，返回类型是所有返回值的联合
function getConnection(
  type: "pool-connection" | "pool-client" | "database"
): PoolConnection | PoolClient | Database {
  switch (type) {
    case "pool-connection":
      return new PoolConnection(); // 替换为你的实际实例化逻辑
    case "pool-client":
      return new PoolClient();
    case "database":
      return new Database();
    default:
      throw new Error(`无效的连接类型: ${type}`);
  }
}

报错原因说明 #

• 若你直接写了多个function getConnection(...) { ... }，TS会认为是重复定义函数，触发“重复函数实现”错误。
• “已声明但未读取”通常是因为重载签名没有被实现签名正确覆盖，按规范写完重载后该错误会消失。

调用时TS会自动根据传入的type参数推断返回类型：

const conn = getConnection("pool-connection"); // conn被推断为PoolConnection类型
const client = getConnection("pool-client"); // client被推断为PoolClient类型

二、用联合类型+泛型条件类型实现自动推断 #

如果不想用重载，可以通过泛型结合条件类型，让TS根据传入的参数自动推导返回类型，无需手动写重载签名：

// 定义允许的连接类型枚举
type ConnectionType = "pool-connection" | "pool-client" | "database";

// 用条件类型映射参数到对应返回类型
type ConnectionReturnType<T extends ConnectionType> = 
  T extends "pool-connection" ? PoolConnection :
  T extends "pool-client" ? PoolClient :
  Database;

// 泛型函数实现
function getConnection<T extends ConnectionType>(type: T): ConnectionReturnType<T> {
  switch (type) {
    case "pool-connection":
      return new PoolConnection() as ConnectionReturnType<T>;
    case "pool-client":
      return new PoolClient() as ConnectionReturnType<T>;
    case "database":
      return new Database() as ConnectionReturnType<T>;
    default:
      throw new Error(`无效的连接类型: ${type}`);
  }
}

关键说明 #

• 泛型T会被TS自动推断为传入的type参数值，再通过ConnectionReturnType条件类型映射到对应的返回类型。
• 这里的as ConnectionReturnType<T>类型断言是必要的：TS的switch语句无法自动将每个case的返回值与泛型T做关联，手动断言是安全的，因为我们已经覆盖了所有可能的type值。

调用时的类型推断效果和重载完全一致，且无需维护多个重载签名，更简洁。

核心需求实现 #

不管用重载还是泛型条件类型，都能让TS自动推断getConnection的实际返回类型。如果需要显式获取某个参数对应的返回类型，还可以直接使用ConnectionReturnType：

// 显式获取"database"对应的返回类型
type DatabaseConn = ConnectionReturnType<"database">; // 等价于Database类型

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