スカラ汎用サブタイプパラメータ

Question

なぜコンパイラはt1 ++ t2の結果をList [Any]として扱うのですか？タイプSの2つのリストを連結すると、タイプSのリストだけが返されます。

// compiles 
def cons[S <: List[Any]](t1: S, t2: S): S = t1 

// type mismatch; found List[Any] required S 
def cons[S <: List[Any]](t1: S, t2: S): S = t1 ++ t2 

Answer 1

ここに私は起こっていると信じています。まず、Sはです。どこでも同じ種類のマジックはありません。最初の例を見てみましょう：

scala> def cons[S <: List[Any]](t1: S, t2: S): S = if(t1.isEmpty) t1 else t2 
cons: [S <: List[Any]](t1: S, t2: S)S 

scala> cons(List(1), List(2.0)) 
res21: List[AnyVal] = List(2.0) 

あなたはScalaは正しくIntとDoubleのための最も近い共通の祖先を発見し、それがAnyValだ見ることができるように。この場合、SはAnyValです。

今度はこれを試してみましょう：

scala> def cons[S <: List[Any]](t1: S, t2: S): S = t1 ++ t2 
<console>:11: error: type mismatch; 
found : List[Any] 
required: S 
     def cons[S <: List[Any]](t1: S, t2: S): S = t1 ++ t2 
                ^

間違っているのですか？このエラーメッセージは、Sの代わりに++の結果が何らかの形でList[Any]であることを意味します。何故ですか？さんは++署名（簡略化され、実際の署名が長い）を見てみましょう：

def ++[B >: A](other: List[B]): List[B] = ??? 

ので、ScalaはAの最も近い祖先とotherの実際の型パラメータを見つける必要があります。唯一の問題は、consを定義した時点でBを見つけ出す必要があります。後で適用する場所ではありません（Bはconsの空きパラメータではありません）。唯一の情報はSの上限で、それはList[Any]なので、Bの定義ポイントのconsの唯一の安全なソリューションは、Anyです。つまり、++の結果はList[Any]であり、それはSに適合しません。したがって、エラー。

第三例：

scala> def cons[S <: Any](t1: List[S], t2: List[S]): List[S] = t1 ++ t2 
cons: [S](t1: List[S], t2: List[S])List[S] 

scala> cons(List(1), List(1.0)) 
res0: List[AnyVal] = List(1, 1.0) 

なぜこの仕事をしますか？ここでt1とt2の両方が同じタイプであっても、Sであっても（後でSを推測することもできます）。したがってB == Sとなり、結果はList[S]になります。この場合も、SはIntとDoubleの最も近い共通祖先です。

Answer 2

List[Any] ++ List[Any]がSを保証するものではありませんList[Any]で、List[Any]のサブタイプもS ++ SのプロパティがSで持っているので、コンパイラはList[Any]にフォールバックします。