为什么我无法从受约束的泛型集合中推断接口

Question

我有一段代码是这样的：

public IEnumerable<ICacheMember> Flubvert( IEnumerable<ICacheMember> members ) 
   {
        // do some stuff to members
        return members;
   }

但是我很困惑为什么我不能这样做：

public IEnumerable<T> ExecuteFlubversion<T>( IEnumerable<T> memberList ) where T: class,ICacheMember 
{
      return Flubvert( memberList );
}

当然，对泛型的约束应该保证memberList是ICacheMember类型的 IEnumerable？我真的需要将现有（但隐式）ICacheMember对象的集合转换为显式ICacheMember对象，然后将它们转换回来吗？我可以理解，鉴于 Flubvert 的方法签名，我可能需要将它们转换回来，但我不明白为什么我必须在方法调用中转换它们。这就是我在工作代码中所做的，但它似乎完全不符合泛型的一般优雅行为，所以我想我一定误解了它应该如何操作。

Answer 1

首先，IEnumerable<out T>（和其他泛型类型）的协方差仅在T是引用类型时才有效，因此您需要：

public IEnumerable<ICacheMember> ExecuteFlubversion<T>(IEnumerable<T> memberList)
    where T: class, ICacheMember  // NOTE 'class'
{
    var flub = Flubvert(memberList);   // can you call with 'memberList'?
    return flub;                       // can you return that type?
    // depending on what 'Flubvert' does, maybe return 'IEnumerable<T>'
    // and say:
    // return (IEnumerable<T>)flub;
}

另请注意，我更改了返回值。C# 编译器无法保证从非泛型 Flubvert 方法返回的对象比 IEnumerable<ICacheMember> 更具体。

Answer 2

假设你有：

interface ICacheMemberSub : ICacheMember
{
  ...
}

你像这样调用你的函数：

ExecuteFlubversion<ICacheMemberSub>(cacheMember);

这个函数将尝试返回一个类型为IEnumerable<ICacheMember>的对象，而该对象不一定可以强制转换为IEnumerable<ICacheMemberSub>，因此会出现错误。

Answer 3

冒着不直接回答问题的风险，你能把Flubvert的签名改成泛型吗？ 如果你使Flubvert泛型，方法代码的其余部分将保持不变，你仍然可以假设成员将是ICacheMember的实现者。

public IEnumerable<T> Flubvert<T>(IEnumerable<T> members)
    where T : class, ICacheMember
{
    // do some stuff to members
    return members;
}

public IEnumerable<T> ExecuteFlubversion<T>(IEnumerable<T> memberList)
    where T : class,ICacheMember
{
    return Flubvert(memberList);
}