スカラの形容詞は

Question

このコードを理解するのを助けてください。なぜ反変がコンパイルされるのですか？ 私は正確にtest_conのようなタイプを記述する場合にのみ、それは動作します[子供]（新しい子供）

class GrandFather {} 
class Father extends GrandFather{} 
class Child extends Father{} 

def test_cov[T <: Father](man: T) = {} 
def test_con[T >: Father](man: T) = {} 


test_cov(new GrandFather) // failed, and it's right 
test_con(new GrandFather) 

test_cov(new Child) 
test_con(new Child) // don't failed. Why? 

Answer 1

技術的シンボル<:と>:は、共変性と反変性を示すものではありません。それぞれ上端および下限とそれぞれ呼ばれます。

test_con(new Child)がコンパイル理由として

：クラスChildはFatherを拡張するため、

は

それはは、すべての権利によってFatherであることを意味しています。また、すべてのタイプTは、スーパータイプとサブタイプの両方であるとみなされます。そのため、Fatherインスタンスをのスーパータイプを要求している def test_con[T >: Father](man: T) = {}メソッドに渡すと、正常にコンパイルされます。要するに

：「ChildはFatherで、FatherがFatherのスーパータイプである」