類型安全的方法鏈接不允許操作

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

在這裏你可以ifnd的改進方案：

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

（實際上依賴於幻像類型）