スカラ - 私は次のコードをコンパイルしようとしているパラメータ化型の内側に

Question

をパラメータ化タイプを使用して：

case class Settings(settingsList:List[Setting]) 
abstract class Setting[T](name:String, value:T) 

をしかし、コンパイラは文句：

Error:(9, 54) class Setting takes type parameters 
case class Settings(settingsList:List[Setting]) 
                ^

を同等のJavaコードがsucesfullyコンパイル：

public class Settings { 
    List<Setting> settingsList; 
} 

abstract class Setting<T> { 
    abstract T getValue(); 
    abstract String getName(); 
} 

このような動作を許さないスケーラについてはどういう違いがありますか？

Answer 1

Javaはバージョン5で、AFAIKは下位互換性のために型パラメータを省略できます。また、Javaにはuse-site varianceがあり、Scalaのuse-site varianceとは対照的に、通常、これらのものは非常に迷惑になります。変更がなければ、あなたはScalaでは実存タイプList[Setting[_]]を使用することができ、おそらくより良いが、右分散を使用することです：

case class Settings(settingsList: List[Setting[Any]]) 

abstract class Setting[+A](name: String, value: A) 

Answer 2

あなただけのワイルドカード型を必要とする：

case class Settings(settingsList:List[Setting[_]]) 
abstract class Setting[T](name:String, value:T) 

これは、Javaコードと同等です。

Answer 3

同等のJavaコードは、タイプパラメータなしsucesfully

Settingをコンパイルし、生タイプです。

、Java documentationによれば、生型の使用は、従来のコードの互換性に譲歩として許容されます。ジェネリック性がJavaプログラミング言語に導入された後に作成されたコードでは、生の型を使用することはお勧めしません。 Javaプログラミング言語の将来のバージョンでは、生の型の使用を禁止する可能性があります。

Javaでこれを書くための正しい方法は

List<Setting<?>> settingsList; 

とScalaのと同等である他の回答が言うように、List[Setting[_]]です。