Scala如何强制限制Array/Collection参数长度 能否在编译层面实现

问题1：能否在编译层面强制校验myArray.size == 3的规则？ #

可以实现，核心思路是将集合长度提升到类型层面，通过编译器的类型校验实现约束，不用等到运行时才抛出异常。

以Scala 3为例，推荐直接用标准库自带的Sized集合类型，它会将集合长度作为类型参数绑定，自动完成编译期校验：

import scala.collection.immutable.Sized

// 构造器私有，仅允许通过受控的方式创建实例
case class MyClass private (myArray: Sized[Array[Int], 3])

// 合法调用：长度匹配，编译通过
val validInstance = MyClass(Sized(1, 2, 3))
// 非法调用：长度不匹配，编译直接报错
val invalidInstance = MyClass(Sized(1, 2))

如果不想依赖Sized，也可以用内联构造器+编译时断言实现：

import scala.compiletime.requireConst

case class MyClass private (myArray: Array[Int])
object MyClass:
  // 内联方法会在编译期展开，直接校验常量参数
  inline def apply(inline arr: Array[Int]): MyClass =
    requireConst(arr.length == 3)
    new MyClass(arr)

如果使用Scala 2，引入Shapeless库的Sized类型即可实现完全相同的效果。

注意：编译期校验仅适用于长度在编译时可确定的集合，如果集合是运行时动态生成的（比如从外部接口读取、用户输入生成），编译期无法拿到长度信息，还是需要配合运行时智能构造器做兜底校验。

问题2：替换为其他集合类型（比如不可变列表），实现方案会有差异吗？ #

几乎没有差异。Sized类型支持绝大多数Scala标准库集合，包括List、Vector、Array等，只需要替换Sized的第一个类型参数即可：

// 替换为不可变List的实现
case class MyClass private (myList: Sized[List[Int], 3])

val valid = MyClass(Sized(1,2,3)) // 编译通过
val invalid = MyClass(Sized(1,2)) // 编译报错

唯一的体验差异是：不可变集合的字面量更容易被编译器推断出长度常量，动态生成的可变集合（比如ArrayBuffer）很难在编译期确定长度，这种场景下用不可变集合的适配性更好。

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