TypeScript中如何通过自定义类型谓词实现非法赋值的编译报错

你当前定义的UnsignedInteger是完全等价于原生number的类型别名，TypeScript 基于结构化类型匹配规则，不会为这种纯别名添加任何值范围的约束逻辑，所有number类型的值都可以合法赋值给这个别名类型。
你之前编写的isUnsigned类型谓词，作用仅在代码运行时对值做判断、收窄TS的类型推断范围，完全不会反向修改UnsignedInteger本身的类型定义，自然无法触发非法赋值的编译报错。

我们可以通过*品牌类型（Brand Type）*的思路，构造一个和原生number不完全兼容的名义类型，让TS可以区分“普通number”和“满足无符号整数约束的number”，具体实现步骤如下：

• 定义一个不可被外部直接访问的唯一符号作为类型标记，用来做结构化层面的类型区分
• 将原生number类型和带有标记的交叉类型组合，生成带约束的UnsignedInteger类型
• 调整类型守卫的返回值类型，让它的收窄结果匹配带品牌标记的类型定义

对应代码实现：

// 定义不可外部构造的品牌标识
declare const unsignedIntegerBrand: unique symbol;

// 构造带约束的无符号整数类型
type UnsignedInteger = number & {
  readonly [unsignedIntegerBrand]: never
};

// 类型守卫：判断值是否符合无符号整数的规则
function isUnsigned(value: number): value is UnsignedInteger {
  // 补充实际的运行时判断逻辑
  return value >= 0 && Number.isSafeInteger(value);
}

按照上述定义完成后，直接给UnsignedInteger类型变量赋值普通number值时，就会触发预期的编译报错：

// 触发编译报错：类型“number”不能赋值给类型“UnsignedInteger”
const a: UnsignedInteger = -1;

合法的赋值场景需要经过类型守卫的收窄，才能被TS识别为合规的UnsignedInteger类型：

const input = 1024;
if (isUnsigned(input)) {
  // 此处input被收窄为UnsignedInteger，赋值不会触发报错
  const validValue: UnsignedInteger = input;
}

• 品牌类型是纯TS编译期的类型机制，运行时不会自动执行范围校验，所有不可信的外部输入（比如接口返回、用户输入）必须在业务代码中显式调用isUnsigned守卫做运行时判断，避免非法值绕过检查
• 不要随意使用强制类型转换绕过类型校验，比如const b = -5 as UnsignedInteger这类写法虽然能通过编译，但本质是对TS类型系统的断言，没有实际的合法性校验，容易埋入运行时隐患
• 这套方案可以复用到所有需要给基础类型加自定义规则的场景，比如带范围的整数、指定格式的字符串ID等

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