双协方差

Question

我有

public interface IFoo
{
   IEnumerable<IThingy> Thingies{get;}
}

我希望以后能够做到

class Thing1 : IThingy
{
   ...
}
class ImplementFoo : IFoo
{
   List<Thing1> m_things;
   IEnumerable<IThingy> Thingies {get {return m_things;}}
}

ImplementFoo.Thingies 返回 Thing1（即 IThings）的 IList（即 IEnumerable）。所以理论上这段代码应该可以工作，但事实并非如此。 VS 建议在 getter 中进行强制转换；编译但在运行时失败。我对 c# 4 的协方差期望过高吗？

VS 2010 -> Silverlight 4. 这是编译错误

无法将类型“System.Collections.Generic.List<MyProj.Column>”隐式转换为“System.Collections.Generic.IEnumerable<MyProj.IColumn>”。存在显式转换（您是否缺少演员表？）

编辑：人们告诉我这应该可以，但在 SL4 中不起作用

Answer 1

这在 C#/.NET 4 中运行良好。这是一个完整的、编译和工作的示例：

namespace Test
{
    using System;
    using System.Collections.Generic;
    using System.Linq;

    public interface IThingy { }

    public interface IFoo
    {
        IEnumerable<IThingy> Thingies { get; }
    }

    internal class Thing1 : IThingy { }

    internal class ImplementFoo : IFoo
    {
        private List<Thing1> m_things = new List<Thing1>() { new Thing1() };

        public IEnumerable<IThingy> Thingies
        {
            get { return m_things; }
        }
    }

    internal class Program
    {
        private static void Main(string[] args)
        {
            var impl = new ImplementFoo();

            Console.WriteLine(impl.Thingies.Count());


            Console.WriteLine("Press any key to exit");
            Console.ReadKey();
        }
    }
}

我怀疑问题在于您的目标是 .NET 3.5sp1 或更早版本，而不是 .NET 4.0。协方差仅在面向 .NET 4 时才能正常工作，因为它需要更改新的框架。在这种情况下，IEnumerable<T> 在 .NET 4 中实际上是 IEnumerable<out T>，这是它工作所必需的。

Answer 2

您可以使用Cast extension method:

class ImplementFoo : IFoo
{
    List<Thing1> m_things;

    IEnumerable<IThingy> Thingies 
    {
        get
        {
            return m_things.Cast<IThingy>();
        }
    }
}

这是因为IEnumerable<Thing1> 没有隐式实现IEnumerable<IThingy>。

Answer 3

这是 SL4 和 CLR4 之间的区别。 IEnumerable 接口未标记为“out”。显然已在 SL5 中修复