C 委託中的協變與逆變

1、簽名：返回值型別和引數。

2、委託呼叫要求委託的簽名必須與呼叫的方法的簽名匹配，如果簽名不匹配，將無法通過編譯器的型別檢查。

3、協變：允許所呼叫方法的返回型別可以是委託的返回型別的派生型別，當委託方法的返回型別具有的派生程度比委託簽名更大時，就稱為協變委託方法。協變委託方法的優點是：使得建立可被類和派生類同時使用的委託方法成為可能。

4、逆變：允許將帶有派生引數的方法用作委託時，當委託方法簽名具有乙個或多個引數，並且這些引數的型別派生自方法引數時，就稱為逆變委託方法。逆變委託方法的優點是：使得可由大量類使用的更通用的委託方法的建立變的更加簡單。

例項：person類能夠派生student類，並且person類對應的返回第i個元素的方法為getperson(int i){};student類返回第i個元素的方法為getstudent(int i){};

如下定義委託：

public delegate person pointperson(int i);

由於委託pointperson的簽名與方法getperson的簽名匹配，則可以由該委託物件來呼叫getperson。因為getstudent的返回值型別是委託pointperson返回值型別的派生類，則方法getstudent就稱為協變方法。

在委託實現的過程中，系統會進行隱士的轉換，將getstudent的返回值型別轉換為person型別。