C# 动态类型陷阱

Question

我刚刚遇到了最奇怪的事情，此刻我有点mind = blown...

下面的程序编译正常，但是当您运行它时，当您尝试读取 Value 时，您会得到一个 RuntimeBinderException。 “object”不包含“Value”的定义

class Program
{
    interface IContainer
    {
        int Value { get; }
    }

    class Factory
    {
        class Empty : IContainer
        {
            public int Value
            {
                get { return 0; }
            }
        }

        static IContainer nullObj = new Empty();

        public IContainer GetContainer()
        {
            return nullObj;
        }
    }

    static void Main(string[] args)
    {
        dynamic factory = new Factory();
        dynamic container = factory.GetContainer();
        var num0 = container.Value; // WTF!? RuntimeBinderException, really?
    }
}

这是令人兴奋的部分。将嵌套类型 Factory+Empty 移到 Factory 类之外，如下所示:

class Empty : IContainer
{
    public int Value
    {
        get { return 0; }
    }
}

class Factory...

程序运行良好，有人愿意解释这是为什么吗？

编辑

在我的编码冒险中，我当然做了一些我应该首先考虑的事情。这就是为什么你看到我对私有(private)类和内部类之间的区别漫无目的的原因。这是因为我设置了 InternalsVisibleToAttribute，它使我的测试项目(在这个实例中消耗了这些位)按照它们的方式运行，这都是设计使然，尽管从一开始就暗示我。

阅读 Eric Lippert 的回答以获得对其余部分的良好解释。

真正让我警惕的是动态绑定(bind)器考虑了实例类型的可见性。我有很多 JavaScript 经验，作为一个 JavaScript 程序员，实际上没有公共(public)或私有(private)这样的东西，我完全被可见性很重要的事实所愚弄，我的意思是毕竟，我访问这个成员就好像它是公共(public)接口(interface)类型(我认为动态只是反射的语法糖)但是动态绑定(bind)器不能做出这样的假设，除非你给它一个提示，使用一个简单的转换。

Answer 1

C# 中“动态”的基本原则是:在运行时对表达式进行类型分析，好像运行时类型就是编译时类型。那么让我们看看如果我们真的这样做会发生什么:

    dynamic num0 = ((Program.Factory.Empty)container).Value;

该程序将失败，因为 Empty 不可访问。 dynamic 不允许您进行一开始就非法的分析。

然而，运行时分析器意识到这一点并决定作弊。它问自己“是否有一个可访问的 Empty 基类？”答案显然是肯定的。所以它决定回退到基类并分析:

    dynamic num0 = ((System.Object)container).Value;

这会失败，因为该程序会给您一个“对象没有名为 Value 的成员”的错误。这是您遇到的错误。

动态分析永远不会说“哦，你一定是故意的”

    dynamic num0 = ((Program.IContainer)container).Value;

因为当然如果那是您的意思，那么您首先会写成。同样，dynamic 的目的是回答以下问题:如果编译器知道运行时类型会发生什么，并且转换为接口(interface)不会为您提供运行时类型.

当你将 Empty 移到外面时，动态运行时分析器会假装你写了:

    dynamic num0 = ((Empty)container).Value;

现在可以访问 Empty 并且转换是合法的，所以您得到了预期的结果。

---

更新:

can compile that code into an assembly, reference this assembly and it will work if the Empty type is outside of the class which would make it internal by default

我无法重现所描述的行为。让我们尝试一个小例子:

public class Factory
{
    public static Thing Create()
    {
        return new InternalThing();
    }
}
public abstract class Thing {}
internal class InternalThing : Thing
{
    public int Value {get; set;}
}

---

> csc /t:library bar.cs

---

class P
{
    static void Main ()
    {
        System.Console.WriteLine(((dynamic)(Factory.Create())).Value);
    }
}

---

> csc foo.cs /r:bar.dll
> foo
Unhandled Exception: Microsoft.CSharp.RuntimeBinder.RuntimeBinderException: 
'Thing' does not contain a definition for 'Value'

---

您会看到这是如何工作的:运行时绑定(bind)程序检测到 InternalThing 是外部程序集的内部，因此在 foo.exe 中不可访问。所以它回落到公共(public)基类型 Thing，它是可访问的但没有必要的属性。

我无法重现您描述的行为，如果您可以重现它，那么您就发现了一个错误。如果您对该错误有一个小的复现，我很乐意将它传递给我以前的同事。