TypeScript中是否存在限制类属性为整数的类型守卫语法？

好问题！对于货币这类需要严格以整数存储的场景，TypeScript本身并没有内置的integer类型或直接的属性守卫语法，但我们可以通过品牌化类型+类型守卫+运行时验证的组合，实现编译期的强制检查，确保只有合法整数才能赋值给这类字段。

核心思路 #

我们会创建一个“品牌化”的整数类型，让TypeScript把它和普通number区分开；再配合类型守卫函数，在编译期拦截非法赋值，同时用运行时验证兜底保障数据安全。

1. 定义品牌化整数类型 #

品牌化类型（Branded Type）是TypeScript的一种实用技巧，通过给类型添加一个虚构的属性，让TS识别它和普通类型的区别：

// 定义品牌化整数类型，与普通number做区分
type Integer = number & { __brand: 'integer' };

这个__brand属性仅在编译期存在，运行时不会产生额外开销。

2. 实现类型守卫与转换函数 #

接下来写两个关键函数：一个用来判断值是否为整数的类型守卫，另一个用来将普通number转换为Integer（转换失败则抛出错误）：

// 类型守卫：判断一个number是否符合Integer类型
function isInteger(n: number): n is Integer {
  return Number.isInteger(n);
}

// 转换函数：将number转为Integer，同时做运行时合法性验证
function toInteger(n: number): Integer {
  if (!isInteger(n)) {
    throw new Error(`错误：${n} 不是有效整数，无法用于货币金额`);
  }
  return n as Integer;
}

3. 改造你的Account类 #

现在把类中的金额属性改为Integer类型，并在赋值/操作时强制使用转换函数：

class Account {
  name: string;
  private balance: Integer = toInteger(0);
  maxWithdrawal: Integer = toInteger(0);
  maxOverdraft: Integer = toInteger(0);

  constructor(name: string) {
    this.name = name;
  }

  // 改进：参数直接要求Integer，强制调用方先做验证
  deposit(amount: Integer) {
    this.balance += amount;
  }

  // 示例：设置最大提现额度
  setMaxWithdrawal(amount: number) {
    // 必须通过toInteger转换，否则编译报错
    this.maxWithdrawal = toInteger(amount);
  }
}

编译期与运行时的检查效果 #

• 编译期拦截：如果直接给Integer属性赋值普通number或非整数字面量，TypeScript会直接报错：

  const account = new Account("Alice");
  account.deposit(100.5); // ❌ 编译报错：类型"100.5"的参数不能赋给类型"Integer"的参数
  account.maxWithdrawal = 200.2; // ❌ 编译报错：类型"200.2"不能赋给类型"Integer"
  

• 合法赋值：只有经过toInteger转换或明确的整数字面量（配合类型断言）才能通过：

  // 方式1：使用转换函数（推荐，带运行时验证）
  account.deposit(toInteger(100)); // ✅ 正常
  account.setMaxWithdrawal(500); // ✅ toInteger会验证并转换
  
  // 方式2：整数字面量直接断言（仅编译期检查，无运行时验证）
  account.deposit(300 as Integer); // ✅ 编译通过，但建议用toInteger做运行时保障
  

• 运行时兜底：如果传入的是动态计算的非整数（比如用户输入的100.5），toInteger会抛出错误，避免非法值进入存储层。

额外优化：针对字面量的严格检查 #

如果你想对字面量非整数做更严格的编译期检查，可以结合TypeScript 5.0+的const类型参数：

// 针对字面量的断言函数，编译期就能检测非整数
function assertInteger<const T extends number>(amount: T): asserts amount is Integer {
  if (!Number.isInteger(amount)) {
    throw new Error(`${amount} 不是有效整数`);
  }
}

// 使用示例
assertInteger(100); // ✅ 正常
assertInteger(100.5); // ❌ 编译报错：类型"100.5"不满足断言"Integer"

总结 #

TypeScript没有内置的整数属性守卫语法，但通过品牌化类型+类型守卫的组合，完全可以实现你需要的编译期检测效果，同时配合运行时验证，确保货币金额始终以整数形式存储，完美适配你的业务场景。

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