scala self-type：valueはメンバエラーではありません

Question

これはthis questionのフォローアップです。

Iは、自己のタイプを使用して、一般的なスーパークラスとScalaの中のベクトルを実装しようとしています：

trait Vec[V] { self:V => 
    def /(d:Double):Vec[V] 
    def dot(v:V):Double 

    def norm:Double = math.sqrt(this dot this) 
    def normalize = self/norm 
} 

はここ3次元ベクトルの実装です：

class Vec3(val x:Double, val y:Double, val z:Double) extends Vec[Vec3] 
{ 
    def /(d:Double) = new Vec3(x/d, y/d, z/d) 
    def dot(v:Vec3) = x * v.x + y * v.y + z * v.z 
    def cross(v:Vec3):Vec3 = 
    { 
     val (a, b, c) = (v.x, v.y, v.z) 
     new Vec3(c * y - b * z, a * z - c * x, b * x - a * y) 
    } 

    def perpTo(v:Vec3) = (this.normalize).cross(v.normalize) 
} 

残念ながら、これにはありませんコンパイル：

Vec3.scala:10: error: value cross is not a member of Vec[Vec3] 
    def perpTo(v:Vec3) = (this.normalize).cross(v.normalize) 
             ^

どうしたらいいですか？どうすれば修正できますか？

さらに、自己のタイプに関する参考文献は、これらのエラーが私の理解の欠如から切り取っていると思うので、高く評価されます。

Answer 1

で

メソッドのクロス（Vまたは他の言葉で）Vec3に存在する

trait Vec[V] { self:V => 
    def /(d:Double): V 
    def dot(v:V):Double 

    def norm:Double = math.sqrt(this dot this) 
    def normalize = self/norm 
} 

ではなく、を取り除くためにすべての不気味さの中で、型パラメータ Vが Vecのサブクラスであることを指定する必要があります。 Vはすべてがすべて Vec[V]のメソッドを継承していることがわかっているので、どこでも Vを使用できます。

trait Vec[V <: Vec[V]] { self: V => 
    def -(v:V): V 
    def /(d:Double): V 
    def dot(v:V): Double 

    def norm:Double = math.sqrt(this dot this) 
    def normalize: V = self/norm 
    def dist(v: V) = (self - v).norm 
    def nasty(v: V) = (self/norm).norm 
} 

注Easy Angel’s approachとコンパイルされません方法nasty。

Answer 2

私が思うに、その方法Vecで/はVec[V]の代わりにVを返す必要があります：Vec[V]