约束与参数 - 强制收集作为参数的方法

Question

我想知道这两种方法之间是否有任何区别。第二个看起来更自然，但这不应该是使用它的唯一原因。也许有一些性能问题或一些与其中任何一个相关的恶魔 mambojambo？

void FirstMethod<T>(T a) where T : IEnumerable<Animal>
{
    ...
}

void SecondMethod<T>(IEnumerable<T> a) where T : Animal
{
    ...
}

Answer 1

不同的是，你可以很容易地将IEnumerable<Dog>传递给第二种方法， 但是当你将它传递给第一个方法时，它只会被隐式转换为IEnumerable<Animal>

看看fiddle

已编辑感谢@Servy 发表评论。

Answer 2

我在 LinqPad 中尝试过这个示例：

void Main()
{   
    var cats = new [] { new Cat() };
    FirstMethod(cats);
    SecondMethod(cats);
}
interface Animal
{
}
class Cat : Animal
{
}
void FirstMethod<T>(T a) where T : IEnumerable<Animal>
{
    var b = a.FirstOrDefault();
}
void SecondMethod<T>(IEnumerable<T> a) where T : Animal
{
    var b = a.FirstOrDefault();
}

通过查看生成的 IL 代码，这 2 个方法调用之间没有区别，它们都接受 cats 作为参数。

编辑：差异出现在方法中，如下所示。 （感谢@servy 的评论）

IL_001D:  ldarg.0     
IL_001E:  ldloc.0     // cats
IL_001F:  call        UserQuery.FirstMethod
IL_0024:  nop         
IL_0025:  ldarg.0     
IL_0026:  ldloc.0     // cats
IL_0027:  call        UserQuery.SecondMethod

FirstMethod:
IL_0000:  nop         
IL_0001:  ldarg.1     
IL_0002:  box         02 00 00 1B 
IL_0007:  call        System.Linq.Enumerable.FirstOrDefault
IL_000C:  stloc.0     // b
IL_000D:  ret         

SecondMethod:
IL_0000:  nop         
IL_0001:  ldarg.1     
IL_0002:  call        05 00 00 2B 
IL_0007:  stloc.0     // b
IL_0008:  ret         

在此 IL 代码上使用反编译器可显示装箱发生的位置以确保类型安全。

private void Main()
{
    Cat[] a = new Cat[1]
    {
        new Cat()
    };
    this.FirstMethod<Cat[]>(a);
    this.SecondMethod<Cat>((IEnumerable<Cat>) a);
}

private void FirstMethod<T>(T a) where T : IEnumerable<Animal>
{
    Enumerable.FirstOrDefault<Animal>((IEnumerable<Animal>) a);
}

private void SecondMethod<T>(IEnumerable<T> a) where T : Animal
{
    Enumerable.FirstOrDefault<T>(a);
}