Scala 3如何无包装类定义全范围偶数及任意自定义约束类型

全范围偶数类型的实现 #

靠字面量类型拼联合的写法天生有覆盖上限——本质上你写的0 | 2 | 4 | 6 | 8就是把这几个数字的单例类型做了并集，只能覆盖你手动列出来的值，不可能覆盖无限集合里的所有偶数。
不创建包装类的前提下完全可以实现全范围覆盖的偶数约束，核心是靠Scala 3的透明内联+编译时校验能力，把所有合法性检查放在编译阶段做，校验通过后的值运行时就是原生的Int/Long，没有任何额外包装开销。
实现代码很简单：

import scala.compiletime.{error, requireConst}

transparent inline def even(inline n: Int): Int =
  requireConst(n) // 强制入参必须是编译期可确定的常量
  inline if n % 2 == 0 then n
  else error("传入的值不是合法偶数")

// 编译通过，运行时a就是普通Int，无任何包装
val a: Int = even(1024)
// 下面这行编译直接报错，根本到不了运行时
// val b: Int = even(3)

这套实现支持Int取值范围内的所有偶数，没有覆盖上限问题，要支持更大范围的偶数只要把入参和返回值类型换成Long就行。

其他数值范围的通用方案 #

这套逻辑可以直接复用到所有数值类的范围约束上，本质就是把你需要的判断逻辑写进编译期执行的内联分支里，常见的比如正整数、固定区间值、某个数的倍数都能这么做，举个通用模板：

transparent inline def numWithRule(inline n: Int, inline check: Int => Boolean, inline tip: String): Int =
  requireConst(n)
  inline if check(n) then n
  else error(tip)

// 定义0-100的合法分数
val score = numWithRule(95, x => x >= 0 && x <= 100, "分数必须在0-100区间内")
// 定义3的倍数
val triple = numWithRule(9, _ % 3 == 0, "值必须是3的倍数")

如果需要把约束后的类型和普通数值做类型区分（避免普通数字随便传入要求合法值的方法），可以搭配Scala 3的不透明类型（Opaque Type）用，编译期是独立类型，运行时还是原生数值，不算额外的包装类。

自定义规则约束类型的可行性 #

确实可以实现，但你提到的风险是客观存在的：

• 所有编译期校验的前提是值能在编译阶段确定，如果值是运行时才能拿到的（比如用户输入、接口返回、数据库查询结果），编译期根本没法做校验，要么退化成运行时检查加包装，要么就会有非法值绕过约束的漏洞。
• 如果自定义规则本身逻辑太复杂，甚至是不可判定的，会直接拖慢编译速度，极端情况会触发编译期无限循环，直接编译失败。
• 如果随便用强制类型转换绕开编译检查，约束会直接失效，运行时可能出现不符合规则的值。

如果不想自己手写内联校验逻辑，也可以用社区现成的Iron、Refined这类库，底层原理和上面的手写实现一致，都是零运行时开销的编译时约束，写自定义规则会更方便。

内容的提问来源于stack exchange，提问作者Julian A Avar C