适用于 Scala 和 Java 的类型安全构建器库

下面是 Scala 中类型安全、流畅的构建器模式，如下所述http://www.tikalk.com/java/blog/type-safe-builder-scala-using-type-constraints http://www.tikalk.com/java/blog/type-safe-builder-scala-using-type-constraints。它类似于Scala 和 Java 的构建器库 https://stackoverflow.com/questions/6337444/builder-library-for-scala-and-java，但专门处理编译时构建器检查。这如何从 Java 中调用？可以用 Scala 的干净 API 来完成吗ANDJava给出了“scala.Predef$$eq$colon$eq”参数？

sealed trait TBoolean
sealed trait TTrue extends TBoolean
sealed trait TFalse extends TBoolean

class Builder[HasProperty <: TBoolean] private(i: Int) {
  protected def this() = this(-1)
  def withProperty(i: Int)(implicit ev: HasProperty =:= TFalse) = new Builder[TTrue](i)
  def build(implicit ev: HasProperty =:= TTrue) = println(i)
}

//javap output
    public class Builder extends java.lang.Object implements scala.ScalaObject{
    public Builder withProperty(int, scala.Predef$$eq$colon$eq); //How is this called from Java?
    public void build(scala.Predef$$eq$colon$eq);
    public Builder();
}
object Builder {
  def apply() = new Builder[TFalse]
}

您应该能够从 Java 使用此 API，但与 Scala 版本相比会产生一些额外的噪音。一些方便的字段会让事情变得安静一些：

object Builder {
   def apply() = new Builder[TFalse]
   val unassigned = =:=.tpEquals[TFalse]
   val assigned = =:=.tpEquals[TTrue] 
}

Java 客户端代码最终应该看起来像

Builder$.MODULE$.apply()
   .withProperty(10, Builder$.MODULE$.unassigned())
   .build(Builder$.MODULE$.assigned());

The build方法必须检查每个属性是否已分配，因此当您推广到多个属性时，它会变得非常嘈杂：

Builder$.MODULE$.apply()
   .withProp1(10, Builder$.MODULE$.unassigned())
   .withProp2(20, Builder$.MODULE$.unassigned())
   .withProp3(30, Builder$.MODULE$.unassigned())
   // ...
   .build(Builder$.MODULE$.assigned(), 
          Builder$.MODULE$.assigned(), 
          Builder$.MODULE$.assigned(), 
          //...
         );

通过辅助类中的一些静态委托（以及一些静态导入），您应该能够将其简化为：

createBuilder()
   .withProp1(10, unassigned())
   .withProp2(20, unassigned())
   .build(assigned(), assigned());