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 } 
}