TypeScript如何实现隐式响应类型 无需客户端重复导入声明

问题根源 #

你当前定义的EndpointsCreator类型将所有端点方法约束为「调用时指定泛型」的签名<T>(args: any) => Promise<T>，这个泛型参数的绑定时机在函数调用阶段，会直接覆盖你在端点内部定义的固定返回值类型，最终强制要求调用方显式传入响应类型，无法实现自动推断。

改造步骤 #

1. 调整基础类型定义 #

把统一类型约束里的方法层泛型去掉，仅约束端点创建函数的入参类型，允许具体端点实现保留自己的精确返回类型；响应类型可以定义为API服务的内部类型，不需要对外导出。

/* services/api.service/types.ts */
import type { AxiosInstance } from 'axios';

// 仅约束创建函数入参为Axios实例，返回的端点集合类型由实现自动推导
export type EndpointsCreator = (instance: AxiosInstance) => Record<string, (...args: any[]) => Promise<any>>;

export type Credentials = {
  email: string;
  password: string;
};

// 响应类型仅在API服务内部使用，无需导出
type JwtTokens = {
  accessToken: string;
  refreshToken: string;
};

2. 修正端点实现的类型标注 #

不要直接给端点对象标注宽泛的EndpointsCreator类型，否则会丢失内部方法的精确类型。TS 4.9及以上版本可以用satisfies关键字做合规校验的同时保留类型推导，低版本可以直接省略类型标注。

/* services/api.service/auth.endpoints.ts */
import type { EndpointsCreator, Credentials } from './types';
import config from './config';

const authEndpoints = ((instance) => {
  const loginUser = async (credentials: Credentials) => {
    const { email, password } = credentials;
    if (!email || !password) throw new Error('MISSING_CREDENTIALS');
    // 内部指定请求响应类型，返回值自动推导为Promise<JwtTokens>
    const { data } = await instance.post<JwtTokens>(config.resources.LOGIN, credentials);
    return data;
  };

  return { loginUser };
}) satisfies EndpointsCreator;

export default authEndpoints;

api.service/index.ts不需要改动，保持原有导出逻辑即可。

3. 业务层直接调用，无需导入响应类型 #

此时TS会自动沿着api实例的推导链拿到loginUser的精确返回类型，不需要手动传入泛型，也不需要导入内部定义的响应类型。

/* services/auth.service.ts */
import api from '@/services/api.service';
// 仅需导入接口入参需要的类型
import type { Credentials } from '@/services/api.service/types';

export const login = async (credentials: Credentials) => {
  // 返回值自动推导为{ accessToken: string; refreshToken: string }
  const { accessToken, refreshToken } = await api.auth.loginUser(credentials);
  tokenRefresher.setTokens(accessToken, refreshToken);
};

注意事项 #

• 不要在统一的端点类型约束中给方法预留泛型参数，这类泛型的设计目标就是让调用方传入类型，和你要的「内部固定响应类型、外部自动推断」的需求完全冲突。
• 如果后续有需要调用方自定义返回类型的特殊接口，再单独给对应方法加泛型即可，不要做全局统一的泛型约束。

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