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）是实际编译的代码？ T：Foo和T：Foo，IBar（如果Foo实现IBar）在访问显式实现的接口成员时是否存在其他差异？

Answer 1

产生的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()

如果T是值类型，则会导致在foo中CallHidden1加CallHidden2，但Foo不会。但是，由于T是一个类，因此从Foo派生的任何类型{{1}}都不是值类型，因此行为将是相同的。

Answer 2

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

这会使它不适合在CallHidden2<>中使用，同时在CallHidden1<>的编译时保持有效（如果IBar不再由{Foo执行，则会在运行时失败1}}）。

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

明确实现的接口和泛型约束

2 个答案: