TypeScript类能否添加类型守卫断言属性非空？

假设我们有一个类，其中某个属性为可选类型（可能为undefined）：

class Pizza {
  constructor(
    public name: string,
    public cheese?: string
  ) {}

  get hasCheese(): boolean {
    return !!this.cheese;
  }
}

后续逻辑中需要操作这个可选属性时，目前只能用非空断言!来规避TypeScript的类型检查：

function eat(cheese: string) { /* ... */ }

function enjoy(pizza: Pizza) {
  return pizza.hasCheese && eat(pizza.cheese!);
}

（注：示例中直接判断pizza.cheese即可，但实际场景逻辑更复杂，需要依赖hasCheese的判断逻辑）

我们希望给Pizza#hasCheese添加类型守卫，让TypeScript自动识别后续逻辑中pizza.cheese不为空，从而无需使用!断言。

关于getter方式的可行性 #

你尝试的getter写法无法生效：

get hasCheese(): boolean & this is {cheese: string} { /* ... */ }

这是因为TypeScript不支持将getter的返回值作为类型守卫触发条件——getter本质是属性访问，TypeScript的类型守卫机制仅针对函数调用生效，不会通过属性值的判断来收窄类型。

换成方法的方式是可行的 #

将hasCheese改为方法，并使用类型谓词（this is ...）作为返回类型，就能实现类型守卫的效果：

class Pizza {
  constructor(
    public name: string,
    public cheese?: string
  ) {}

  // 定义类型守卫方法，明确返回类型谓词
  hasCheese(): this is Pizza & { cheese: string } {
    return !!this.cheese;
  }
}

function eat(cheese: string) { /* ... */ }

function enjoy(pizza: Pizza) {
  if (pizza.hasCheese()) {
    // 此处TypeScript会自动收窄类型，识别pizza.cheese为string类型
    eat(pizza.cheese);
  }
}

如果需要更清晰的类型定义，也可以提前声明一个包含必填cheese的类型：

type PizzaWithCheese = Pizza & { cheese: string };

class Pizza {
  constructor(
    public name: string,
    public cheese?: string
  ) {}

  hasCheese(): this is PizzaWithCheese {
    return !!this.cheese;
  }
}

额外方案：自定义类型守卫函数 #

如果不想修改类的结构，也可以单独定义一个全局类型守卫函数：

function hasCheese(pizza: Pizza): pizza is Pizza & { cheese: string } {
  return !!pizza.cheese;
}

function enjoy(pizza: Pizza) {
  if (hasCheese(pizza)) {
    eat(pizza.cheese);
  }
}

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