能否在TypeScript类中使用类型特化实现条件字段约束？

TypeScript的类无法直接定义像联合类型那样字段可选性依赖另一个字段值的约束，因为类的实例类型本质是单一对象类型，不支持联合类型的分支逻辑。但可以通过以下两种方案模拟实现需求：

方案一：联合类型 + 工厂函数封装 #

先复用你定义的联合类型约束输入，再通过类实现公共字段，最后用静态工厂函数创建符合类型要求的实例：

// 定义核心联合类型
type CompleteRecord = {
  complete: true;
  name: string;
  value: number;
};

type PartialRecord = { complete: false } & Partial<Pick<CompleteRecord, 'name' | 'value'>>;

type RecordType = CompleteRecord | PartialRecord;

// 类实现公共字段，构造函数私有化避免直接实例化
class Record implements Omit<CompleteRecord, 'complete'>, Omit<PartialRecord, 'complete'> {
  complete: boolean;
  name?: string;
  value?: number;

  private constructor(data: RecordType) {
    this.complete = data.complete;
    this.name = data.name;
    this.value = data.value;
  }

  // 静态工厂函数确保实例符合类型约束
  static create(data: RecordType): Record {
    return new Record(data);
  }
}

使用示例：

// ✅ 合法：complete为true时必填name和value
const validComplete = Record.create({ complete: true, name: "demo", value: 100 });

// ✅ 合法：complete为false时字段可选
const validPartial = Record.create({ complete: false });

// ❌ 报错：complete为true时缺少name或value
const invalid = Record.create({ complete: true });

方案二：运行时检查 + 类型守卫 #

如果需要直接实例化类，可以在构造函数中添加运行时校验，同时通过类型守卫方法让TypeScript在使用时识别字段的可选性：

class Record {
  complete: boolean;
  name?: string;
  value?: number;

  constructor(data: { complete: boolean; name?: string; value?: number }) {
    this.complete = data.complete;
    this.name = data.name;
    this.value = data.value;

    // 运行时强制约束：complete为true时必须有name和有效value
    if (this.complete) {
      if (typeof this.name !== 'string' || typeof this.value !== 'number') {
        throw new Error("当complete为true时，name必须是字符串，value必须是数字");
      }
    }
  }

  // 类型守卫：判断当前实例是否为完整状态
  isComplete(): this is { complete: true; name: string; value: number } {
    return this.complete && typeof this.name === 'string' && typeof this.value === 'number';
  }
}

使用示例：

const record = new Record({ complete: true, name: "test", value: 200 });

if (record.isComplete()) {
  // 此处TypeScript会推断name和value为必填的string/number类型
  console.log(record.name.toUpperCase(), record.value.toFixed(2));
} else {
  // 此处name和value为可选类型，需处理undefined情况
  console.log(record.name ?? "默认名称", record.value ?? 0);
}

总结 #

类本身无法直接实现依赖字段的条件可选性，但通过联合类型+工厂函数可以在编译阶段严格约束实例创建，通过运行时检查+类型守卫可以兼顾直接实例化的灵活性和类型安全。

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