Явно реализованный интерфейс и общие ограничения

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()

против

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

Если бы T был типом значения, это привело бы к тому, что foo было бы помещено в CallHidden1, но не в CallHidden2. Однако, поскольку Foo является классом, любой тип T, полученный из Foo, не будет типом значения, и, следовательно, поведение будет идентичным.

Answer 2

Да, чуть-чуть, так как второе указывает, что интерфейс должен быть реализован, что может стать важным, если позднее Foo будет изменен, чтобы он не реализовал IBar.

Это сделало бы его непригодным для использования в CallHidden2<>, оставаясь при этом действительным во время компиляции для CallHidden1<> (что могло бы произойти сбой во время выполнения, если IBar больше не реализуется Foo).

Так что, если они находятся в отдельных сборках, разные метаданные будут иметь значение. Однако выполненный IL будет очень похож, если не будет таким же.