如何在c＃中實現泛型多態 - 第2部分？

Question

我已經發布this question with a bad sample。

此代碼應該更好。

爲了避免混淆，我總結了一些代碼：

using System.Collections.Generic; 

namespace ConsoleApplication1 
{ 
    class Program 
    { 
     static void Main() 
     { 
      IManager<ISpecificEntity> specificManager = new SpecificEntityManager(); 
      IManager<IAntoherSpecificEntity> anotherSpecificManager = new AnotherSpecificEntityManager(); 
      Dictionary<string, IManager<IIdentifier>> managers = new Dictionary<string, IManager<IIdentifier>>(); 
      managers.Add("SpecificManager", (IManager<IIdentifier>)specificManager); 
      managers.Add("AnotherSpecificManager", (IManager<IIdentifier>)anotherSpecificManager); 

      foreach (var manager in managers.Values) 
      { 
       IIdentifier entity = manager.Container.GetEntity(); 
      } 
     } 
    } 

    internal interface IIdentifier 
    { 
     int Id { get; set; } 
    } 

    internal interface ISpecificEntity : IIdentifier 
    { 
     string SpecificValue { get; set; } 
    } 

    internal class SpecificEntity : ISpecificEntity 
    { 
     public int Id { get; set; } 
     public string SpecificValue { get; set; } 
    } 


    internal interface IAntoherSpecificEntity : IIdentifier 
    { 
     string AnotherSpecificValue { get; set; } 
    } 

    internal class AntoherSpecificEntity : IAntoherSpecificEntity 
    { 
     public int Id { get; set; } 
     public string AnotherSpecificValue { get; set; } 
    } 

    internal interface IContainer<out TIdentifier> where TIdentifier : IIdentifier 
    { 
     TIdentifier GetEntity(); 
    } 

    internal interface ISpecificContainer : IContainer<ISpecificEntity> 
    { 
    } 

    internal class SpecificContainer : ISpecificContainer 
    { 
     public ISpecificEntity GetEntity() 
     { 
      return new SpecificEntity { SpecificValue = "SpecificValue" }; 
     } 
    } 

    internal interface IAnotherSpecificContainer : IContainer<IAntoherSpecificEntity> 
    { 
    } 

    internal class AnotherSpecificContainer : IAnotherSpecificContainer 
    { 
     public IAntoherSpecificEntity GetEntity() 
     { 
      return new AntoherSpecificEntity { AnotherSpecificValue = "AnotherSpecificValue" }; 
     } 
    } 

    internal interface IManager<TIdentifier> where TIdentifier : IIdentifier 
    { 
     IContainer<TIdentifier> Container { get; set; } 
    } 

    internal class SpecificEntityManager : IManager<ISpecificEntity> 
    { 
     public IContainer<ISpecificEntity> Container { get; set; } 
    } 

    internal class AnotherSpecificEntityManager : IManager<IAntoherSpecificEntity> 
    { 
     public IContainer<IAntoherSpecificEntity> Container { get; set; } 
    } 
} 

當我調試的代碼我在第12行

得到一個InvalidCastException在Main()我知道ISpecificEntity實現IIdentifier。 但是顯然直接從IManager<ISpecificEntity>轉換成IManager<IIdentifier>不起作用。

我認爲使用協方差可以做到這一點，但將IManager<TIdentifier>更改爲IManager<in TIdentifier>或IManager<out TIdentifier>也不起作用。

那麼，有沒有辦法將specificManager轉換成IManager<IIdentifier>？

謝謝，一切順利。

Answer 1

首先你會明白泛型的錯誤。

如果你看Foo它是一個泛型類型。 Foo和Foo是NEW類型，它們不是從List派生的，也沒有通過繼承來連接類型。 使用泛型創建新類型，它不會派生！

但是你要找的是Covariance and Contravariance。這將允許您創建一種「通用多態性」，但您需要在您的通用定義中指定此類型。因此，它僅適用於開箱即用的極少數框架泛型。

class Program 
{ 
    static void Main(string[] args) 
    { 
     IManager<IIdentifier> f1 = new C1(); 
     IManager<IIdentifier> f2 = new SpecificEntityManager(); //IManager<ISpecificEntity> 
    } 
} 

interface IIdentifier { } 
interface ISpecificEntity : IIdentifier { } 
interface IManager<out T> { } 

class C1 : IManager<IIdentifier> { } 
class SpecificEntityManager : IManager<ISpecificEntity> { } 

這裏是你必須改變：

internal interface IContainer<out TIdentifier> where TIdentifier : IIdentifier 
{ 
    TIdentifier GetEntity(); 
} 
internal interface IManager<out TIdentifier> where TIdentifier : IIdentifier 
{ 
    IContainer<IIdentifier> Container { get; } 
} 
internal class SpecificEntityManager : IManager<ISpecificEntity> 
{ 
    public IContainer<IIdentifier> Container { get; set; } 
} 
internal class AnotherSpecificEntityManager : IManager<IAntoherSpecificEntity> 
{ 
    public IContainer<IIdentifier> Container { get; set; } 
} 

Answer 2

難道你不需要一個非泛型IManager IManager <TIdentifier>可以繼承。然後IManager <IIdentifer>是一個IManager，可以被鑄造？