是否可以将特征的上下文更改为声明为其类型参数的类型？

Question

我想什么来实现类似于这样：

class Foo(val bar: String = "Hello!") extends MyTrait[ Foo ] 

trait MyTrait[ T ] { self : T => 
T.bar 
} 

改变自我：T自我：美孚明显的作品，但MyTrait再延长类，也有吧，这样自嘲：富ISN”吨可以接受。

我可能会谈论这个错误，任何想法？

Answer 1

我认为，结构类型是你所需要的：

trait MyTrait { 
    self: { val bar: String } => 
def showBar = bar 
} 

class Foo(val bar: String) extends MyTrait 

Answer 2

它已经工作。

scala> trait Foo[A] { self: A => 
    | } 
defined trait Foo 

scala> class Meh extends Foo[Meh] 
defined class Meh 

scala> class Duh extends Foo[Meh] 
<console>:36: error: illegal inheritance; 
self-type Duh does not conform to Foo[Meh]'s selftype Foo[Meh] with Meh 
     class Duh extends Foo[Meh] 
         ^

编辑：

对不起，我误解了这个问题。 @ 4e6是对的。你需要一个结构类型。他的解决方案的细微变化：

scala> trait Foo[A <: { def bar: String }] { self: A => 
    | } 
defined trait Foo 

scala> class Bar extends Foo[Bar] { 
    | def bar = "" 
    | } 
defined class Bar 

scala> class Baz extends Foo[Baz] 
<console>:35: error: type arguments [Baz] do not conform to trait Foo's type parameter bounds [A <: AnyRef{def bar: Stri 
ng}] 
     class Baz extends Foo[Baz] 
         ^