".NET泛型"系列：

協(xié)變(Convariant)和逆變(Contravariant)的出現(xiàn)，使數(shù)組、委托、泛型類型的隱式轉(zhuǎn)換變得可能。 子類轉(zhuǎn)換成基類，稱之為協(xié)變；基類轉(zhuǎn)換成子類，稱之為逆變。.NET4.0以來，支持了泛型接口的協(xié)變和逆變。

泛型協(xié)變

如果子類泛型隱式轉(zhuǎn)換成基類泛型，使用泛型協(xié)變。

有這樣的2個基類和派生類。

    public class Animal
    {
public virtual void Write()
{
    Console.WriteLine("我是基類");
}
    }

    public class Dog : Animal
    {
public override void Write()
{
    Console.WriteLine("我是小小狗");
}
    }

為了讓派生類Dog隱式轉(zhuǎn)換成基類Animal，先定義支持協(xié)變的泛型接口。

    //支持協(xié)變的接口
    public interface IFactory<out T>
    {
T Create();
    }

再實現(xiàn)這個接口。

    public class Factory<T> : IFactory<T>
    {

public T Create()
{
    return (T)Activator.CreateInstance<T>();
}
    }

客戶端調(diào)用。

    class Program
    {
static void Main(string[] args)
{
    IFactory<Dog> dogFactory = new Factory<Dog>();
    IFactory<Animal> animalFactory = dogFactory; //協(xié)變
    Animal animal = animalFactory.Create();
    animal.Write();
    Console.ReadKey();
}
    }

運行輸出：我是小小狗

以上，我們可以看出：

• 協(xié)變后，父類的方法完全由子類替代，父類原先的方法不復存在
• 泛型接口中的out關鍵字必不可少

泛型逆變

關于通知的一個接口。

    public interface INotification
    {
string Message { get; }
    }

關于通知接口的抽象實現(xiàn)。

    public abstract class Notification : INotification
    {
public abstract string Message { get; }
    }

關于通知抽象類的具體實現(xiàn)。

    public class MailNotification : Notification
    {
public override string Message
{
    get { return "你有郵件了~~"; }
}
    }

接下來，需要把通知的信息發(fā)布出去，需要一個發(fā)布通知的接口INotifier，該接口依賴INotification，大致INotifier<INotification>，而最終顯示通知，我們希望INotifier<MailNotification>，INotifier<INotification>轉(zhuǎn)換成INotifier<MailNotification>，這是逆變，需要關鍵字in。

    public interface INotifier<in TNotification> where TNotification : INotification
    {
void Notify(TNotification notification);
    }

實現(xiàn)INotifier。

    public class Notifier<TNotification> : INotifier<TNotification> where TNotification : INotification
    {

public void Notify(TNotification notification)
{
    Console.WriteLine(notification.Message);
}
    }

客戶端調(diào)用。

    class Program
    {
static void Main(string[] args)
{
    INotifier<INotification> notifier = new Notifier<INotification>();
    INotifier<MailNotification> mailNotifier = notifier;//逆變
    mailNotifier.Notify(new MailNotification());
    Console.ReadKey();
}
    }

運行輸出：你有郵件了~~

以上，我們可以看出：

• INotifier的方法Notify()的參數(shù)類型是INotification,逆變后把INotification類型參數(shù)隱式轉(zhuǎn)換成了實現(xiàn)類MailNotificaiton。
• 泛型接口中的in關鍵字必不可少

以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對大家的學習或者工作具有一定的參考學習價值，謝謝大家對的支持。如果你想了解更多相關內(nèi)容請查看下面相關鏈接