定义自定义表单Constraint时触发空指针异常，求助原因排查

我一眼就发现了问题的核心——Scala中val的初始化顺序导致的空引用！

先看你当前的代码顺序：

val form = Form( 
  mapping( "field" -> boolean )(MyForm.apply)(MyForm.unapply)
    .verifying(myconstraint)
)
val myconstraint : Constraint[MyForm] = Constraint("myconstraint")({ 
  form => 
    if(form.field == true){ 
      Valid 
    }else { 
      Invalid(Seq(ValidationError("problem"))) 
    } 
})

Scala里val的初始化是严格按照代码从上到下的顺序执行的。当你初始化form的时候，myconstraint还没被赋值（此时它是null），你把一个空引用传给了.verifying()方法，这直接触发了空指针异常。而内联验证的方式不需要引用外部val，自然不会遇到这个问题。

修复方案 #

只需要把myconstraint的定义移到form之前，确保初始化form时，约束已经是有效的实例：

// 先定义约束，确保它在表单初始化前完成赋值
val myconstraint : Constraint[MyForm] = Constraint("myconstraint")({ 
  form => 
    println("调试输出：正在执行约束验证") // 现在这个调试语句应该能正常输出了
    if(form.field){ // 简化布尔值判断，比`== true`更简洁
      Valid 
    }else { 
      Invalid(Seq(ValidationError("problem"))) 
    } 
})

// 再定义表单，此时myconstraint已经是可用状态
val form = Form( 
  mapping( "field" -> boolean )(MyForm.apply)(MyForm.unapply)
    .verifying(myconstraint)
)

补充说明 #

为什么之前的调试println没有输出？因为异常发生在表单初始化阶段（传递空引用给verifying方法时），根本没机会执行到Constraint内部的逻辑，所以你的调试代码从未被调用。

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