TypeScript条件类型中为何使用方括号[]？示例解析差异

核心原因 #

TypeScript的分布式条件类型有个特殊规则：当条件类型的左边是泛型参数，且该参数为never时，分布式展开后没有任何分支会执行，最终结果直接是never。而把泛型参数放进数组[T]里，能将T当作一个整体的单一类型，避免触发分布式展开，让extends判断正常进行。

结合示例说明 #

1. Action类型场景

原代码：

type Action<T extends string, P = never> = {
  type: T;
} & ([P] extends [never]
  ? {}
  : {
      payload: P;
    });

如果去掉方括号写成P extends never：

• 当用户不传P参数（即P取默认值never）时，条件判断会返回never，导致整个Action类型变成{type: T} & never，最终结果为never——这完全不符合预期，我们希望此时只保留{type: T}结构。
• 用[P] extends [never]时，[never]和[never]是完全匹配的单一类型，条件成立，返回{}，最终Action等价于{type: T}，符合需求。

2. GetTest类型场景

带方括号的版本：

type GetTest<T = never> = [T] extends [never] ? string : number;
type Test = GetTest; // type Test = string; 符合预期

这里[T]是包含never的数组类型，[never] extends [never]判断成立，所以返回string。

去掉方括号的版本：

type GetTest<T = never> = T extends never ? string : number;
type Test = GetTest; // type Test = never

因为T是never，分布式条件类型展开时没有任何成员可遍历，整个条件类型的结果直接是never，既不会走到string分支，也不会走到number分支。

总结 #

用数组包裹泛型参数的本质，是把原本可能触发分布式展开的泛型参数，包装成非联合的单一类型，从而绕过never在分布式条件类型中的特殊处理，让类型判断逻辑按预期执行。

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