Question

我想在这些问题中实现方法链接：

Best practice to implement Scala trait which supports method chaining;

Scala DSL: method chaining with parameterless methods

但是，我希望一旦使用“属性”，它就不能再使用了。例如，假设我有一个类“Myclass”，我想允许使用定义“foo”和定义“bar”最多一次，我不关心最终的返回类型。因此：

val c = new Myclass
c foo //ok !
c foo bar // ok!
c foo foo // refuse to compile
c foo bar foo //refuse to compile

我正在努力解决这个问题一段时间，我的视力开始变得模糊！我尝试使用隐式类，但是，他们是否需要解析没有使用关联属性的对象，而我无法找到他们是否需要通过删除它来“消耗”该属性从对象可用属性，再次，我找不到如何。

我目前正在使用反射API进行搜索，但对我来说仍然有点模糊。

帮助将不胜感激！ =）

Answer 1

Phantom Types In Haskell and Scala见James Iry。

您还可以使用类型安全的构建器模式：

trait TTrue
trait TFalse

@annotation.implicitNotFound(msg = "Cannot call same method twice.")
sealed abstract class =^=[From, To]
object =^= {
  private val singleton_=^= = new =^=[Any, Any]{}
  implicit def tpEquals[A]: A =^= A = singleton_=^=.asInstanceOf[A =^= A]
}

class Myclass[TFoo, TBar, TBuz] private(){
  def foo(implicit e: TFoo =^= TFalse) = new Myclass[TTrue, TBar, TBuz]
  def bar(implicit e: TBar =^= TFalse) = new Myclass[TFoo, TTrue, TBuz]
  def buz(implicit e: TBuz =^= TFalse) = new Myclass[TFoo, TBar, TTrue]
}

object Myclass{
  def apply() = new Myclass[TFalse, TFalse, TFalse]
}

像这样使用

scala> Myclass().foo.bar.buz
res0: Myclass[TTrue,TTrue,TTrue] = Myclass@12ac706a

scala> Myclass().bar.buz.foo
res1: Myclass[TTrue,TTrue,TTrue] = Myclass@1e69dff6

scala> Myclass().foo.buz.foo
<console>:12: error: Cannot call same method twice.
              Myclass().foo.buz.foo
                                ^

Answer 2

在这里你可以找到一个改进的解决方案：

http://jim-mcbeath.blogspot.fr/2009/09/type-safe-builder-in-scala-part-3.html

（实际上依赖于幻像类型）

键入安全方法链接，不允许重复操作

2 个答案: