如何在类型构造器中使用可选类型参数？使Fruit类型构造器依是否传入C返回不同类型

嘿，这个需求太实用了——尤其是想让你的类型工具更灵活适配不同场景的时候！我用TypeScript来给你一步步演示，毕竟类型构造器的玩法在TS里最具代表性，思路也能迁移到其他支持泛型的类型系统里。

第一步：给类型参数加默认值，让它变成可选的 #

首先，你需要给类型构造器的泛型参数设置一个默认值，这样用户在使用时可以选择不传这个参数。通常我们会用never或者undefined当默认值，方便后续判断用户是否传入了自定义类型。

// 先定义基础的水果类型
type BasicFruit = {
  name: string;
  color: string;
};

// 带可选类型参数C的Fruit类型构造器，默认值设为never
type Fruit<C = never> = {
  ...BasicFruit
};

第二步：用条件类型区分“传参”和“不传参”的情况 #

接下来，我们用TypeScript的条件类型来判断用户是否传入了类型参数C，然后返回不同的类型结构。核心逻辑就是：如果C是默认的never（说明用户没传参），就返回基础类型；如果是其他类型，就返回基础类型加上额外的结构。

完整代码示例：

type BasicFruit = {
  name: string;
  color: string;
};

// 类型构造器：根据是否传入C返回不同类型
type Fruit<C = never> = C extends never
  ? BasicFruit // 没传C时，返回基础水果类型
  : BasicFruit & { // 传了C时，给基础类型加一个contents属性，类型为C
      contents: C;
    };

// 测试场景1：不传类型参数C
type Apple = Fruit;
// Apple的结构：{ name: string; color: string; }

// 测试场景2：传入C为string类型
type Orange = Fruit<string>;
// Orange的结构：{ name: string; color: string; contents: string; }

// 测试场景3：传入联合类型
type MixedBerry = Fruit<string | number>;
// MixedBerry的contents属性是string | number类型

小技巧：用undefined当默认值的情况 #

如果你希望用户主动传入undefined时和不传参的效果一致，也可以把默认值设为undefined：

type Fruit<C = undefined> = C extends undefined
  ? BasicFruit
  : BasicFruit & { contents: C };

// 这两种写法效果完全一样
type Banana1 = Fruit;
type Banana2 = Fruit<undefined>;

关键点总结 #

• 给泛型参数设置默认值是让它成为可选参数的核心
• 用C extends 默认值的条件类型来判断用户是否传入了自定义类型
• 根据判断结果返回不同的类型结构，实现“一分支多类型”的效果

内容的提问来源于stack exchange，提问作者Sam R.