關於產品在方法中使用的逆變參數參數

Question

我已閱讀了良好的文章引入協方差和contracovariance

http://bartdesmet.net/blogs/bart/archive/2009/04/15/14377.aspx

反變參數應只發生在輸入的位置：方法的參數，設定唯一屬性或索引。

class SubClass : BaseClass { 
    public void PrintSubClass() {} 
} 
class BaseClass{ 
} 

static class Sample { 

    public static void PrintMeNow (SubClass c) 
    { 
     c.PrintSubClass(); 
    } 
} 

static void Main(string[] args) 
{ 
    SubClass sc = new SubClass(); 
    BaseClass bc = new BaseClass(); 

    Sample.PrintMeNow(sc); // ok 
    Sample.PrintMeNow(bc); // Line A (not-ok Question: Is this contravariance?) 
} 

根據我的逆變的理解，我已經把代碼如上。 顯然，A行不正確，我誤解了逆轉的概念。

哪部分是錯誤的？什麼概念沒有正確理解？如何使它正確？

Answer 1

協方差和反變量與通用參數有關;你的代碼與它無關。

它不起作用，因爲bc不是​​。
所有​​ES是BaseClass上課，但不是所有的BaseClass ES是​​ES。