Soyut tip üyelere sahip beton sınıfları

Question

Aşağıdaki özellikler ve sınıflar göz önünde bulundurulur. Neden bu derleme? Bu aslında bir şey için kullanılabilir mi?

trait Container { 
    type A 
} 

trait AnotherContainer[B]{ 
    def x(b : B) : B 
} 

trait Mixed extends Container with AnotherContainer[Container#A] 

class Impl extends Mixed{ 
    def x(a : Container#A) = a 
} 

new Impl().x _ 

scala> new Impl().x _ 
res0: (Container#A) => Container#A = <function> 

Güncelleme:

class Baz { type T; } 

aslında bir özelliktir mı ama bunun için motivasyon bulamadık: #1753.

Answer 1

Bana yararsızsa zararsız görünüyor. X'in istediği tür mevcut değildir, bu yüzden bu yönteme geçemezsiniz. Zararsız işe yaramazlığın bir derleme zamanı hatası olup olmaması bir zevk meselesidir, sanırım. aslında x ne bakarsak

, bu şekilde, decompiles:

kimlik yöntemi yapması gerektiğini tam olarak ne

public java.lang.Object x(java.lang.Object); 
    Code: 
    0: aload_1 
    1: areturn 

(iade, türü ne olursa olsun argüman yük). Sen çok daha az kod ile eşdeğer bir şey yazabilirsiniz: hiçbir şey hariç

trait AbstractType { type T } 
class Useless extends AbstractType { def identity(t: AbstractType#T) = t } 

AbstractType # T tipi vardır, bu yüzden yine biz faydasızlığını var. Bir şey özlemediğim sürece

.

Answer 2

Örneğinizde, derleyici, >: Nothing <: Any varsayılan tür sınırlarını ekler. Aşağıdaki ikinci örnek, bir soyut tipin kullanılabilir hale geldiği (yararlı değilse) bir durumu göstermektedir.

scala> trait T { type A >: Nothing <: Any } 
defined trait T 

scala> 1: T#A 
<console>:6: error: type mismatch; 
found : Int(1) 
required: T#A 
     1: T#A 
    ^

scala> trait T { type A >: Int <: Int } 
defined trait T 

scala> 1: T#A       
res6: T#A = 1 

scala> "": T#A 
<console>:6: error: type mismatch; 
found : java.lang.String("") 
required: T#A 
     "": T#A 
    ^