스칼라의 "형식 인수가 형식 매개 변수 경계를 준수하지 않음"오류 이해

Question

다음 작업을 수행하지 않는 이유는 무엇입니까?

scala> abstract class Foo[B<:Foo[B]] 
defined class Foo 

scala> class Goo[B<:Foo[B]](x: B) 
defined class Goo 

scala> trait Hoo[B<:Foo[B]] { self: B => new Goo(self) } 
<console>:9: error: inferred type arguments [Hoo[B] with B] do not conform to class Goo's type parameter bounds [B <: Foo[B]] 
     trait Hoo[B<:Foo[B]] { self: B => new Goo(self) } 
             ^

scala> trait Hoo[B<:Foo[B]] extends Foo[B] { new Goo(this) } 
<console>:9: error: inferred type arguments [Hoo[B]] do not conform to class Goo's type parameter bounds [B <: Foo[B]] 
     trait Hoo[B<:Foo[B]] extends Foo[B] { new Goo(this) } 
              ^

처음 시도 할 때 Hoo[B] with B <: Foo[B]이 아닙니까?

두 번째 시도에서 Hoo[B] <: Foo[B]이 아닌가요?

// "Foo" 
abstract class Record[PK, R <: Record[PK, R]] extends Equals { this: R => 
    implicit def view(x: String) = new DefinitionHelper(x, this) 
    ... 
} 
// "Hoo" 
class DefinitionHelper[R <: Record[_, R]](name: String, record: R) { 
    def TEXT = ... 
    ... 
} 

// now you can write: 
class MyRecord extends Record[Int, MyRecord] { 
    val myfield = "myfield".TEXT 
} 

하나가 쓸 수 있도록 내가, TEXT라는 BYTEA 함께 새로운 확장 방법을 소개하려고 해요 :

이 문제를 동기를 부여하려면, 도서관 거기

class MyRecord extends XRecord[Int, MyRecord] { 
    val myfield = "myfield".BYTEA // implicit active only inside this scope 
} 

내 시도 :

class XDefinitionHelper[R <: Record[_, R]](name: String, record: R) { 
    def BYTEA = ... 
} 

trait XRecord[PK, R <: Record[PK, R]] { self: R => 
    implicit def newView(x: String) = new XDefinitionHelper(x, self) 
} 

위의 작은 테스트 케이스와 동일한 문제가 발생합니다.

Answer 1

첫 번째 시도에서는 Hoo[B] with B <: Foo[B]이 있습니다. 그러나 Goo[Hoo[B] with B]이 존재하려면 Hoo[B] with B <: Foo[Hoo[B] with B]이 필요합니다. 두 번째 경우에도 마찬가지입니다.

Answer 2

이 (예 : 좋은 방법으로) 사실 너무 간단한 것, 그러나 이것은 어쨌든 내 하루를 저장, 그래서입니다 :

scala> trait MyTrait[T <: MyTrait[T]] { self: T => def hello = println("hello") } 

scala> case class User(t: MyTrait[_]) 
<console>:8: error: type arguments [_$1] do not conform to trait MyTrait's type parameter bounds [T <: MyTrait[T]] 
     case class User(t: MyTrait[_]) 

scala> case class User(t:() => MyTrait[_]) 
defined class User