ASP.NET泛型三之使用協(xié)變和逆變實現(xiàn)類型轉換

更新時間：2022年08月13日 11:30:39 作者：Darren?Ji

這篇文章介紹了ASP.NET使用協(xié)變和逆變實現(xiàn)泛型類型轉換的方法，文中通過示例代碼介紹的非常詳細。對大家的學習或工作具有一定的參考借鑒價值，需要的朋友可以參考下

".NET泛型"系列：

ASP.NET泛型一之泛型簡介與基本語法

ASP.NET泛型二之泛型的使用方法

ASP.NET泛型三之使用協(xié)變和逆變實現(xiàn)類型轉換

ASP.NET泛型四之使用Lazy<T>實現(xiàn)延遲加載

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

泛型協(xié)變

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

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

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

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

為了讓派生類Dog隱式轉換成基類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>();
        }
    }

客戶端調用。

    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>轉換成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);
        }
    }

客戶端調用。

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