泛型结合条件类型时如何强制对象属性？TypeScript问题咨询

你的核心需求是让TypeScript严格根据传入的食物类型约束参数，同时避免类型断言这类不安全操作。当前实现的问题根源在于：

• MaybePeel<T> 对非水果类型返回never，导致EatParams<Pizza>变成无效的never类型，引发调用时错误要求传入peel
• 泛型T在函数内部无法随food.name的判断自动缩小类型，导致TypeScript允许在非水果分支访问不存在的peel属性

修复方案 #

修改类型定义并使用类型守卫实现精确的类型推断：

type Apple = { name: "Apple" }
type Peach = { name: "Peach" }
type Pizza = { name: "Pizza" }

type Food = Apple | Peach | Pizza
type Fruit = Apple | Peach

// 非水果类型返回空对象，避免& never导致整个类型失效
type MaybePeel<T extends Food> = T extends Fruit ? { peel: boolean } : {};

type EatParams<T extends Food> = {
  food: T;
  quantity: number;
} & MaybePeel<T>

// 自定义类型守卫，判断是否为水果类型
function isFruit(food: Food): food is Fruit {
  return food.name === "Apple" || food.name === "Peach";
}

function eat(params: EatParams<Food>) {
  const { food } = params;

  if (isFruit(food)) {
    // TypeScript可正确推断此处params包含peel属性
    if (params.peel) {
      // 削皮逻辑
      console.log("执行削皮操作");
    }
  } else {
    // 此处food为Pizza，params类型被缩小为EatParams<Pizza>，无peel属性
    // @ts-expect-error 访问peel会触发TypeScript错误，符合预期
    params.peel
  }

  // 通用食用逻辑
  console.log(`食用${food.name}，数量：${params.quantity}`);
}

// 合法调用：Pizza无需peel参数
eat({ food: { name: "Pizza" }, quantity: 1 })
// 合法调用：Apple必须传入peel参数
eat({ food: { name: "Apple" }, quantity: 1, peel: true })
// 合法调用：Peach必须传入peel参数
eat({ food: { name: "Peach" }, quantity: 2, peel: false })
// 非法调用：Pizza传入peel会触发错误
// @ts-expect-error
eat({ food: { name: "Pizza" }, quantity: 1, peel: true })

关键改动说明 #

1. 调整MaybePeel类型：将非水果分支的返回值从never改为{}，确保EatParams<Pizza>成为合法的{food: Pizza; quantity: number}类型，解决调用时错误要求peel的问题。
2. 使用类型守卫：自定义isFruit函数让TypeScript能在条件分支中精确缩小food和params的类型，确保非水果分支无法访问peel属性。
3. 移除冗余泛型：直接使用EatParams<Food>作为函数参数类型，结合类型守卫实现自动类型推断，避免泛型无法自动缩小的缺陷。

修改后TypeScript会严格执行约束：

• 传入Apple/Peach时必须提供peel参数
• 传入Pizza时禁止传入peel参数
• 函数内部分支能正确识别参数是否包含peel属性，无需类型断言

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