为什么IEnumerable(T)不被接受为扩展方法接收器

时间:2016-01-29 09:39:18

标签: c# .net generics extension-methods type-inference

在代码前完成问题

为什么IEnumerable<T> where T : ITest不被接受作为期望this IEnumerable<ITest>的扩展方法的接收者?

现在代码

我有三种类型:

public interface ITest { }
public class Element : ITest { }
public class ElementInfo : ITest { }

两种扩展方法:

public static class Extensions
{
    public static IEnumerable<ElementInfo> Method<T>(
        this IEnumerable<T> collection) 
        where T : ITest
    {
→        return collection.ToInfoObjects();
    }

    public static IEnumerable<ElementInfo> ToInfoObjects(
        this IEnumerable<ITest> collection)
    {
        return collection.Select(item => new ElementInfo());
    }
}

我得到的编译器错误(在标记的行上):

  

CS1929'IEnumerable<T>'不包含'ToInfoObjects'的定义,最佳扩展方法重载'Extensions.ToInfoObjects(IEnumerable<ITest>)'需要'IEnumerable<ITest>'类型的接收器

为什么会这样? ToInfoObjects扩展方法的接收方是IEnumerable<T>,通用类型约束,T必须实现ITest

为什么不接受接收器?我的猜测是IEnumerable<T>的协方差,但我不确定。

如果我将ToInfoObjects更改为接收IEnumerable<T> where T : ITest,那么一切正常。

2 个答案:

答案 0 :(得分:13)

考虑一下:

public struct ValueElement : ITest { }

和此:

IEnumerable<ValueElement> collection = ...
collection.Method(); //OK, ValueElement implement ITest, as required.
collection.ToInfoObjects() //Error, IEnumerable<ValueElement> is not IEnumerable<ITest>
                           //variance does not work with value types.

因此,Method所允许的每种类型都不允许ToInfoObjects。如果您在class中向T添加Method约束,那么您的代码将会编译。

答案 1 :(得分:-1)

您可以执行以下操作:

    public static IEnumerable<ElementInfo> Method<T>(
        this IEnumerable<T> collection)
        where T : ITest
    {
        return collection.ToInfoObjects();
    }

    public static IEnumerable<ElementInfo> ToInfoObjects<T>(
        this IEnumerable<T> collection)
    {
        return collection.Select(item => new ElementInfo());
    }

关于ToInfoObjects的注意事项。