为什么下面的代码编译执行成功？

Question

我在 .Net 3.5、Visual Studio 2012 中编译了以下代码。

当数组被分配给我的 IReadOnlyCollection 时，我预计会出现错误，因为没有定义从数组到我的接口的隐式转换。 它编译成功，也不会产生任何运行时错误。

注意事项：

• 没有引用其他 IReadonlyCollection。所以它必须使用我的（IReadonlyCollection 已添加到 .Net4.5 中，在早期版本中不存在）
• 当我将它重命名为 IMyCollection 时，它不再编译了
• 当我更改命名空间时，它不再编译。

文件1.cs：

using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace System.Collections.Generic
{
    public interface IReadOnlyCollection<T> : IEnumerable<T>, IEnumerable
    {
        int Count
        {
            get;
        }
    }
}

文件2.cs：

using System.Collections.Generic;

namespace ConsoleApplication1
{
    public class Test
    {
        public Test()
        { }
    }

    class Program
    {
        static void Main(string[] args)
        {
            Test[] foo = { new Test(), new Test(), new Test() };


            IReadOnlyCollection<Test> bar = foo;

            int count = bar.Count;
        }
    }
}

这是IL代码：

   .method private hidebysig static void Main (
            string[] args
        ) cil managed 
    {
        .entrypoint
        .locals init (
            [0] class ConsoleApplication1.Test[] foo,
            [1] class System.Collections.Generic.IReadOnlyCollection`1<class ConsoleApplication1.Test> bar,
            [2] int32 count,
            [3] class ConsoleApplication1.Test[] CS$0$0000
        )

        IL_0000: nop
        IL_0001: ldc.i4.3
        IL_0002: newarr ConsoleApplication1.Test
        IL_0007: stloc.3
        IL_0008: ldloc.3
        IL_0009: ldc.i4.0
        IL_000a: newobj instance void ConsoleApplication1.Test::.ctor()
        IL_000f: stelem.ref
        IL_0010: ldloc.3
        IL_0011: ldc.i4.1
        IL_0012: newobj instance void ConsoleApplication1.Test::.ctor()
        IL_0017: stelem.ref
        IL_0018: ldloc.3
        IL_0019: ldc.i4.2
        IL_001a: newobj instance void ConsoleApplication1.Test::.ctor()
        IL_001f: stelem.ref
        IL_0020: ldloc.3
        IL_0021: stloc.0
        IL_0022: ldloc.0
        IL_0023: stloc.1
        IL_0024: ldloc.1
        IL_0025: callvirt instance int32 class System.Collections.Generic.IReadOnlyCollection`1<class ConsoleApplication1.Test>::get_Count()
        IL_002a: stloc.2
        IL_002b: ret
    }

Answer 1

我所说的只是纯粹的猜测，但它不适合作为评论，所以我还是将其发布为答案：

• 我可以使用 VS 2012 和 .Net 3.5 重现您的问题。
• 我无法用 VS 2010、.Net 3.5 和相同的代码重现它。

所以区别真的是编译器版本。

由于类的名称和命名空间很重要，我假设这是在 VS 2012+ 的编译器中引入的硬编码规则，以支持 .Net 4.5 引入的新类型/接口的隐式转换.

所以我猜这是另一个使用数组的黑魔法。例如见this Hans Passant answer:

编译器和 CLR 都具有数组类型的特殊知识， 就像他们对值类型所做的那样。编译器会看到您的尝试 投射到 IList 并说“好的，我知道该怎么做！”。