Temsil tipi, üye türü

Question

olarak uygulanamıyor. Başlığı another question üzerinden kırdığımda, alakalı görünen farklı bilmecelere rastladım.

error: overriding type Peer in trait Fenced with bounds >: Nothing <: Sys[this.Peer]; 
type Peer has incompatible type 
     def makeFence[S <: Sys[S]] = new Fenced { type Peer = S#Peer } 
                ^

Neden: hata şöyledir Nerede

trait Sys[S <: Sys[S]] { 
    type Peer <: Sys[Peer] 
} 

trait Fenced { 
    type Peer <: Sys[Peer] 
} 

def makeFence[S <: Sys[S]] = new Fenced { type Peer = S#Peer } 

: Bu onlardan biri mi? gerçekten gösterim türü karakteriyle Ben sorunları çözmez, Rex'in cevabı Fenced nesne yapılandırılmasını mümkün kılarken

---

(ayrıca önemli değildi, Sys kendinden tip _:S => eklemeye çalıştık) Bir tür projeksiyon kullanırken kaybolmak (S#Peer). Daha zor kısıtlamalar getiren başka bir senaryo ile geldim; Hala neden aradığınızı kısıtlamaları tamamen emin değilim

trait Test[S <: Sys[S]] { 
    def make[T <: Sys[T]](): Unit 

    make[S#Peer]() 
} 

error: type arguments [S#Peer] do not conform to method make's type 
     parameter bounds [T <: Sys[T]] 
       make[S#Peer]() 
       ^

Answer 1

, ama burada bir ihtimal: Bu çekirdek sorunu olduğunu düşünüyorum (ve gerektirir)

trait Sys[S <: Sys[S]] { 
    type Peer <: Sys[Peer] 
} 

trait Fenced { 
    type MySys <: Sys[MySys] 
    type Peer = MySys#Peer 
} 

def makeFence[S <: Sys[S]] = new Fenced{ type MySys = S } 

Bu verir Peer ve Fenced içinde orijinal dış türüne erişim. Fenced'un bunu yapıp yapamayacağını veya dış tipler arasında soyut olup olmamasından emin değilim.

Answer 2

Sys 'tür parametre kovaryantı yapabilir misiniz? Örneğin, bu derler: Artık

trait Sys[+S <: Sys[S]] { type Peer <: Sys[Peer] } 
trait Fenced { type Peer <: Sys[Peer] } 

def makeFence[S <: Sys[S]] = new Fenced { type Peer = S#Peer } 

eğer (sadece REPL copy-paste kolaylık bir nesne sarılmış) şu var:

object Example { 
    case class SysX(i: Int) extends Sys[SysX] { type Peer = SysY } 
    case class SysY(j: Int) extends Sys[SysY] { type Peer = SysX } 
} 

import Example._ 

Ben beklediğiniz gibi çalışır:

scala> val fenceX = makeFence[SysX] 
fenceX: java.lang.Object with Fenced{type Peer = Example.SysX#Peer} = ... 

scala> val y: fenceX.Peer = SysY(1) 
y: fenceX.Peer = SysY(1) 

scala> val y: fenceX.Peer = SysX(1) 
<console>:15: error: type mismatch; 
found : Example.SysX 
required: fenceX.Peer 
     val y: fenceX.Peer = SysX(1) 

Hangi (bence) istediğin nedir?