Scala的功能界面性狀

Question

我有一個特點：

trait MyTrait extends (Int => MyTrait) 

我怎樣才能限制在延伸到是MyTrait任何實現MyTrait？

Answer 1

在Scala中，由+ R的功能1簽名表示的Function類型的協變：

trait Function1[-T1, +R] extends AnyRef

這意味着你有什麼是正確的了。具有MyTrait延伸(Int => MyTrait)（這是一樣的Function1[Int, MyTrait）表示延伸MyTrait將具有任何類型來實施apply函數，返回的MyTrait任何實例。

下面將根據您當前MyTrait簽名都是合法的：

class Foo extends MyTrait { 
    def apply(x: Int): Foo = new Foo 
} 

class Bar extends MyTrait { 
    def apply(x: Int): Foo = new Foo 
} 

class Baz extends MyTrait { 
    def apply(x: Int): MyTrait = new MyTrait { def apply(y: Int) = new Baz } 
} 

Answer 2

由於丹寫的正常行爲是返回MyTrait的任何實例。

如果你想限制它只能返回你可以這樣做，當前對象的類型的實例：當您實現（從丹複製）

class Foo extends MyTrait[Foo] { 
    def apply(x: Int): Foo = new Foo 
} 

class Bar extends MyTrait[Bar] { 
    def apply(x: Int): Foo = new Foo //Compile error 
} 

class Baz extends MyTrait[Baz] { 
    def apply(x: Int): MyTrait = new MyTrait { def apply(y: Int) = new Baz } 
}