如何让无参泛型函数必须显式指定泛型类型，避免TypeScript将其推断为unknown

我完全懂你的需求：就是要让const s = getSocket()这行代码直接触发类型错误，而不是等到调用sendMessage时才暴露问题。TypeScript默认会把未指定的泛型推断为unknown，确实有点顽固，但我们可以用一个类型技巧实现提前报错的效果。

核心思路是给泛型参数设置默认类型为never，然后让函数返回类型做条件判断：如果泛型是never（也就是用户没显式指定），就返回never类型；否则返回正常的Socket<T>。同时用类型断言解决函数实现和返回类型的兼容性问题。

具体实现代码如下：

type Socket<T> = { sendMessage: (message: T) => void; };

const getSocket = <T = never>(): T extends never ? never : Socket<T> => {
  // 用双重断言绕过TS的类型检查，因为我们明确知道逻辑正确性：
  // 用户显式指定T时，返回的就是合法的Socket<T>；未指定时返回never触发报错
  return {
    sendMessage: (message) => {
      console.log(message);
    },
  } as unknown as T extends never ? never : Socket<T>;
};

现在来看实际效果：

1. 未指定泛型时直接报错：

   // ❌ 类型错误：Type 'never' is not assignable to type 'unknown'.
   const s = getSocket(); 
   

   这正是你想要的——错误提前到了函数调用的位置，不会等到后续环节才暴露。

2. 显式指定泛型时正常工作：

   // ✅ 正常
   const typedS = getSocket<{ content: string; index: number }>();
   typedS.sendMessage({ content: "123", index: 1 }); // ✅ OK
   typedS.sendMessage("123"); // ❌ 类型错误，符合预期
   

这个方案在你的真实场景中也能生效：哪怕有多层包装函数调用getSocket，只要某个环节没指定泛型，就会得到never类型，这个类型会在传递过程中保留，只要你不用any或unknown掩盖它，错误就会在最早的调用点暴露出来，而不是等到最终调用sendMessage。

你之前尝试的条件类型返回值之所以失败，是因为TypeScript无法自动推导{ sendMessage: (message: T) => void }和T extends never ? never : Socket<T>的兼容性。而双重断言as unknown as ...可以帮我们跳过这个检查——毕竟我们作为开发者，清楚知道当用户指定泛型时，返回的结构完全符合Socket<T>的要求。

内容来源于stack exchange