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

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）之间还有其他区别吗？

生成的 IL 略有不同：

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

vs.

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

If T是一个值类型，这会导致foo被装箱于CallHidden1但不在CallHidden2。然而，自从Foo是一个类，任何类型T源自Foo不会是值类型，因此行为将是相同的。