从Partial<IForm>到Required<IForm>的对象转换及相关技术问询

场景背景 #

有一个Form领域对象，由于表单字段会被随机顺序更新，领域层允许字段为可选；但当用户需要执行操作时，表单必须填写完整。核心问题是如何将含可选字段的对象转换为同结构但所有字段必填的对象，同时解答以下子问题：

1. assertFormFilled函数是否合理？ #

思路是合理的，但原实现存在逻辑缺陷：

• 原代码中用!!this.form.question2判断boolean类型字段，会把合法的false值当成未填充（因为!!false等于false），导致误判。
• 判断逻辑应该改为检查字段是否不为undefined，而非用真值判断。

修正后的基础版断言函数：

assertFormFilled = (): Required<IForm> => {
  const form = this.form;
  if (!form) {
    throw new Error('Form does not exist');
  }
  // 逐个检查字段是否不为undefined
  if (form.question1 !== undefined && 
      form.question2 !== undefined && 
      form.question3 !== undefined) {
    return form as Required<IForm>;
  }
  throw new Error('Form is not fully filled');
}

2. 是否存在自动断言所有属性的方法？ #

可以实现一个通用类型断言函数，无需手动逐个字段判断，同时利用TypeScript的类型守卫确保返回值为Required<T>：

function assertAllPropertiesDefined<T>(obj: Partial<T>): asserts obj is Required<T> {
  if (!obj) throw new Error('Object is null/undefined');
  for (const key of Object.keys(obj) as Array<keyof T>) {
    if (obj[key] === undefined) {
      throw new Error(`Missing required property: ${String(key)}`);
    }
  }
}

// 在User类中使用
assertFormFilled = (): Required<IForm> => {
  assertAllPropertiesDefined(this.form);
  return this.form;
}

这个函数可复用在任何需要断言所有字段非空的场景，避免重复编写判断逻辑。

3. 是否遗漏了某些领域概念？ #

原实现混淆了草稿状态和完成状态的表单，建议通过领域建模明确区分：

• 定义CompletedForm接口（所有字段必填），代表已填写完整的表单。
• 定义DraftForm接口（所有字段可选），代表正在填写的草稿表单。
• 可以在Form类中添加状态标识（如isCompleted: boolean），或拆分出DraftForm和CompletedForm两个类，从领域层明确区分两种状态，避免类型层面的模糊性。

优化后的领域建模示例：

// 完整表单（必填）
interface CompletedForm {
  question1: string;
  question2: boolean;
  question3: number;
}

// 草稿表单（可选）
type DraftForm = Partial<CompletedForm>;

class Form {
  private draft: DraftForm = {};

  // 更新草稿字段
  updateField<K extends keyof DraftForm>(key: K, value: DraftForm[K]): void {
    this.draft[key] = value;
  }

  // 验证并转换为完整表单
  toCompletedForm(): CompletedForm {
    assertAllPropertiesDefined(this.draft);
    return this.draft as CompletedForm;
  }
}

这样从领域概念上明确了两种表单状态，避免用同一个接口来回转换的混乱。

4. 领域层使用Partial<IForm>是否比doSomething中使用Required<IForm>更合理？ #

原代码的IForm定义逻辑反了：应该先定义必填的完整表单接口，再用Partial<CompleteForm>表示草稿状态，而非反过来把IForm设为可选字段。

• 领域层中，草稿状态用Partial<CompletedForm>或专门的DraftForm是合理的，符合表单逐步填写的业务场景。
• doSomething方法接收Required<IForm>（或CompletedForm）是合理的，因为操作需要完整的表单数据。

修正后的接口定义逻辑：

// 先定义完整的必填表单
interface CompletedForm {
  question1: string;
  question2: boolean;
  question3: number;
}

// 草稿表单基于完整表单做Partial
type DraftForm = Partial<CompletedForm>;

class User {
  draftForm?: DraftForm;
  
  doSomething(form: CompletedForm): void {
    // 使用完整表单
  }

  assertFormCompleted(): CompletedForm {
    assertAllPropertiesDefined(this.draftForm);
    return this.draftForm as CompletedForm;
  }
}

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