显式实现的接口和通用约束

Question

interface IBar { void Hidden(); }

class Foo : IBar { public void Visible() { /*...*/ } void IBar.Hidden() { /*...*/ } }

class Program
{
    static T CallHidden1<T>(T foo) where T : Foo
    {
        foo.Visible();
        ((IBar)foo).Hidden();   //Cast required

        return foo;
    }

    static T CallHidden2<T>(T foo) where T : Foo, IBar
    {
        foo.Visible();
        foo.Hidden();   //OK

        return foo;
    }
}

实际编译的代码有什么区别（CallHidden1 与 CallHidden2）吗？ 在访问显式实现的接口成员方面， where T : Foo 和 where T : Foo, IBar （如果 Foo 实现了 IBar）之间还有其他区别吗？

Answer 1

生成的 IL 略有不同：

    L_000d: ldarg.0 
    L_000e: box !!T
    L_0013: callvirt instance void WindowsFormsApplication1.IBar::Hidden()

与

    L_000d: ldarga.s foo
    L_000f: constrained !!T
    L_0015: callvirt instance void WindowsFormsApplication1.IBar::Hidden()

如果 T 是值类型，这将导致 foo 被装箱在 CallHidden1 中，但不会在 <代码>CallHidden2。但是，由于 Foo 是一个类，因此从 Foo 派生的任何类型 T 都不会是值类型，因此行为将是相同的。

Answer 2

是的，有一点点，因为第二个指定必须实现该接口，如果以后更改 Foo 使其不实现 IBar，这一点可能会变得很重要。

这将使其不适合在 CallHidden2 中使用，同时在编译时对 CallHidden1 保持有效（如果 IBar 则在运行时会失败） 不再由 Foo 实现）。

因此，如果它们位于不同的程序集中，不同的元数据将会产生影响。然而，执行的 IL 即使不相同，也将非常相似。