TypeScript能否使用更具体的数据类型？如何确保返回整数/浮点数？

TypeScript本身没有内置的int或float专属类型，所有数值类型统一用number表示，所以直接写: int会触发语法错误。下面是几种实现特定数值类型约束的最优方式：

• 语义化类型标记（仅增强可读性）
  通过类型别名给number赋予更明确的语义，提升代码可读性，但编译阶段不会做实际的数值校验：

  type Integer = number;
  type Float = number;
  
  function getUserId(): Integer {
    return 123;
  }
  

• 编译+运行时双重校验
  借助类型守卫函数和品牌类型（Brand Type），实现编译时的类型约束，同时在运行时校验数值合法性：

  // 类型守卫，标记数值为"整数"类型
  function isInteger(num: number): num is number & { __brand: 'integer' } {
    return Number.isInteger(num);
  }
  
  function getValidInteger(): number & { __brand: 'integer' } {
    const value = 456;
    if (!isInteger(value)) {
      throw new Error("返回值必须是整数");
    }
    return value;
  }
  

  这种方式能在编码阶段就提示类型不匹配，同时运行时确保数值符合要求。

• 运行时强制约束
  如果不需要编译时类型提示，只需要严格保证返回值类型，可以直接在函数内做数值校验或转换：

  // 确保返回正整数
  function getPositiveInteger(): number {
    const result = 789;
    if (!Number.isInteger(result) || result <= 0) {
      throw new Error("返回值必须是正整数");
    }
    return result;
  }
  
  // 确保返回浮点数
  function getFloat(): number {
    const result = 3.14;
    if (Number.isInteger(result)) {
      throw new Error("返回值必须是浮点数");
    }
    return result;
  }
  

• 第三方工具库（可选）
  若需要更复杂的类型校验逻辑，可以使用io-ts、zod这类库，它们能提供更强大的运行时类型校验能力，同时生成对应的TypeScript类型。

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