如何定义泛型接口：传入T时a为T类型，未传时a可选

要实现传入泛型参数T时属性a为必填的T类型，未传入时a为可选属性（允许缺失），可以通过泛型条件类型来实现：

解决方案 #

type A<T = void> = T extends void 
  ? { a?: void }  // 默认情况下，a为可选属性（可省略）
  : { a: T };     // 传入泛型T时，a为必填的T类型

测试验证 #

// 传入string类型，a为必填属性
const a1: A<string> = { a: 'a' }; // ✅ 无错误，符合预期

// 未传入泛型，a可缺失
const a2: A = {}; // ✅ 无报错

// 未传入泛型时，也可显式赋值undefined（符合void类型）
const a3: A = { a: undefined }; // ✅ 正常

// 传入number类型，缺失a会报错
const a4: A<number> = {}; // ❌ 报错：缺少必填属性a

原方案问题分析 #

• 第一种方案interface A<T = void> { a: T }：当使用默认泛型void时，a的类型为void，但该属性仍为必填项，必须显式赋值undefined，无法直接缺失，因此{}会报错。
• 第二种方案a: T extends void ? undefined : T：同样将a定义为必填属性，只是类型变为undefined，仍然要求显式声明该属性，无法直接缺失，导致{}报错。

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