C# 动态类型陷阱

coder 2023-07-13 原文

我刚刚遇到了最奇怪的事情，此刻我有点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)器不能做出这样的假设，除非你给它一个提示，使用一个简单的转换。

最佳答案

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，它是可访问的但没有必要的属性。

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

关于C# 动态类型陷阱，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15338429/

C#动态 code Value pre dynamic types

有关C# 动态类型陷阱的更多相关文章

ruby - Infinity 和 NaN 的类型是什么？ - 2
我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？最佳答案您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串
ruby - 检查方法参数的类型 - 2
我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？最佳答案使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)
ruby - Ruby 有 `Pair` 数据类型吗？ - 2
有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？最佳
ruby - 查找字符串中的内容类型(数字、日期、时间、字符串等) - 2
我正在尝试解析一个CSV文件并使用SQL命令自动为其创建一个表。CSV中的第一行给出了列标题。但我需要推断每个列的类型。Ruby中是否有任何函数可以找到每个字段中内容的类型。例如，CSV行:"12012","Test","1233.22","12:21:22","10/10/2009"应该产生像这样的类型['integer','string','float','time','date']谢谢! 最佳答案 require'time'defto_something(str)if(num=Integer(str)rescueFloat(s
c# - 如何在 ruby 中调用 C# dll？ - 2
如何在ruby中调用C#dll？最佳答案我能想到几种可能性:为您的DLL编写(或找人编写)一个COM包装器，如果它还没有，则使用Ruby的WIN32OLE库来调用它；看看RubyCLR,其中一位作者是JohnLam，他继续在Microsoft从事IronRuby方面的工作。(估计不会再维护了，可能不支持.Net2.0以上的版本)；正如其他地方已经提到的，看看使用IronRuby，如果这是您的技术选择。有一个主题是here.请注意，最后一篇文章实际上来自JohnLam(看起来像是2009年3月)，他似乎很自在地断言RubyCL
ruby-on-rails - 在 Rails 开发环境中为 .ogv 文件设置 Mime 类型 - 2
我正在玩HTML5视频并且在ERB中有以下片段:mp4视频从在我的开发环境中运行的服务器很好地流式传输到chrome。然而firefox显示带有海报图像的视频播放器，但带有一个大X。问题似乎是mongrel不确定ogv扩展的mime类型，并且只返回text/plain，如curl所示:$curl-Ihttp://0.0.0.0:3000/pr6.ogvHTTP/1.1200OKConnection:closeDate:Mon,19Apr201012:33:50GMTLast-Modified:Sun,18Apr201012:46:07GMTContent-Type:text/plain
C# 到 Ruby sha1 base64 编码 - 2
我正在尝试在Ruby中复制Convert.ToBase64String()行为。这是我的C#代码:varsha1=newSHA1CryptoServiceProvider();varpasswordBytes=Encoding.UTF8.GetBytes("password");varpasswordHash=sha1.ComputeHash(passwordBytes);returnConvert.ToBase64String(passwordHash);//returns"W6ph5Mm5Pz8GgiULbPgzG37mj9g="当我在Ruby中尝试同样的事情时，我得到了相同sha
基于C#实现简易绘图工具【100010177】 - 2
C#实现简易绘图工具一.引言实验目的:通过制作窗体应用程序(C#画图软件),熟悉基本的窗体设计过程以及控件设计,事件处理等,熟悉使用C#的winform窗体进行绘图的基本步骤,对于面向对象编程有更加深刻的体会.Tutorial任务设计一个具有基本功能的画图软件**·包括简单的新建文件,保存,重新绘图等功能**·实现一些基本图形的绘制,包括铅笔和基本形状等,学习橡皮工具的创建**·设计一个合理舒适的UI界面**注明:你可能需要先了解一些关于winform窗体应用程序绘图的基本知识,以及关于GDI+类和结构的知识二.实验环境Windows系统下的visualstudio2017C#窗体应用程序三.
ruby - 在 Ruby 中动态创建数组 - 2
有没有办法在Ruby中动态创建数组？例如，假设我想遍历用户输入的书籍数组:books=gets.chomp用户输入:"TheGreatGatsby,CrimeandPunishment,Dracula,Fahrenheit451,PrideandPrejudice,SenseandSensibility,Slaughterhouse-Five,TheAdventuresofHuckleberryFinn"我把它变成一个数组:books_array=books.split(",")现在，对于用户输入的每一本书，我想用Ruby创建一个数组。伪代码来做到这一点:x=0books_array.
ruby - 是否可以将 IRB 提示配置为动态更改？ - 2
我想在IRB中浏览文件系统并让提示更改以反射(reflect)当前工作目录，但我不知道如何在每个命令后进行提示更新。最终，我想在日常工作中更多地使用IRB，让bash溜走。我在我的.irbrc中试过这个:require'fileutils'includeFileUtilsIRB.conf[:PROMPT][:CUSTOM]={:PROMPT_N=>"\e[1m:\e[m",:PROMPT_I=>"\e[1m#{pwd}>\e[m",:PROMPT_S=>"FOO",:PROMPT_C=>"\e[1m#{pwd}>\e[m",:RETURN=>""}IRB.conf[:PROMPT_MO

C# 动态类型陷阱

编辑

有关C# 动态类型陷阱的更多相关文章

随机推荐