受此启发question .
简短版本:如果只有一个 M 重载或所有重载，为什么编译器无法确定 M(dynamic arg) 的编译时类型M 的重载具有相同的返回类型？
根据规范，§7.6.5:
An invocation-expression is dynamically bound (§7.2.2) if at least one of the following holds:
The primary-expression has compile-time type dynamic.
At least one argument of the optional argument-list has compile-time type dynamic and the primary-expression does not have a delegate type.
这是有道理的
class Foo {
public int M(string s) { return 0; }
public string M(int s) { return String.Empty; }
}
编译器无法判断编译时类型
dynamic d = // dynamic
var x = new Foo().M(d);
因为它直到运行时才知道 M 的哪个重载被调用。
但是，如果 M 只有一个重载或 M 的所有重载都返回同一类型，为什么编译器无法确定编译时类型？
我想了解为什么规范不允许编译器在编译时静态键入这些表达式。
最佳答案
更新:这个问题是 the subject of my blog on the 22nd of October, 2012 .感谢您提出很好的问题!
Why can't the compiler figure out the compile-type type of
M(dynamic_expression)if there is only one overload of M or all of the overloads of M have the same return type?
编译器可以找出编译时类型；编译时类型是动态，并且编译器成功地计算出了这一点。
我想你想问的问题是:
Why is the compile-time type of
M(dynamic_expression)always dynamic, even in the rare and unlikely case that you're making a completely unnecessary dynamic call to a method M that will always be chosen regardless of the argument type?
当您这样表述问题时，它会自行回答。 :-)
原因一:
您设想的情况很少见；为了使编译器能够做出您描述的那种推理，必须知道足够的信息，以便编译器可以对表达式进行几乎完整的静态类型分析。但是如果你在那种情况下那么你为什么首先使用动态？你最好简单地说:
object d = whatever;
Foo foo = new Foo();
int x = (d is string) ? foo.M((string)d) : foo((int)d);
显然，如果只有一个 M 重载，则更容易:将对象转换为所需类型。如果它在运行时因为转换不好而失败，那么 dynamic 也会失败!
在这类场景中根本就没有需要 dynamic，那么为什么我们要在编译器中做大量昂贵且困难的类型推断工作来启用我们不需要的场景？一开始不想使用 dynamic for 吗？
原因二:
假设我们确实说过，如果方法组静态已知包含一个方法，则重载决策具有非常特殊的规则。伟大的。现在我们刚刚为语言添加了一种新的脆弱性。现在，添加一个新的重载会将调用的返回类型更改为完全不同的类型——这种类型不仅会产生动态语义，还会产生值类型。但是等等，情况变得更糟了!
// Foo corporation:
class B
{
}
// Bar corporation:
class D : B
{
public int M(int x) { return x; }
}
// Baz corporation:
dynamic dyn = whatever;
D d = new D();
var q = d.M(dyn);
假设我们实现了您的功能要求，并根据您的逻辑推断 q 是 int。现在 Foo 公司补充说:
class B
{
public string M(string x) { return x; }
}
突然间，当 Baz 公司重新编译他们的代码时，q 的类型突然悄悄地变成了 dynamic，因为我们在编译时不知道 dyn 不是一个字符串。这是静态分析中的一个奇怪变化!为什么第三方向基类添加新方法会导致局部变量的类型在完全不同的类中的完全不同的方法中发生变化，该类是在不同公司编写的，一家公司甚至不直接使用 B，而是仅通过 D？
这是 Brittle Base Class 问题的一种新形式，我们力求最大限度地减少 C# 中的 Brittle Base Class 问题。
或者，如果 Foo corp 说:
class B
{
protected string M(string x) { return x; }
}
现在，按照你的逻辑，
var q = d.M(dyn);
当上面的代码在继承自 D 的类型时，给 q 类型 int，但是
var q = this.M(dyn);
当 在 一个继承自 D 的类型时，将 q 的类型指定为动态的!作为一名开发人员，我会发现这非常令人惊讶。
理由三:
C# 中的聪明之处已经太多了。我们的目标不是构建一个逻辑引擎来计算给定特定程序的所有可能值的所有可能类型限制。我们更喜欢有通用的、可理解的、易于理解的规则，这些规则可以很容易地写下来并且可以在没有错误的情况下实现。该规范已经有八百页长，编写一个没有错误的编译器非常困难。让我们不要让它变得更困难。更不用说测试所有那些疯狂案例的费用了。
理由四:
此外:该语言为您提供了很多机会来利用静态类型分析器。如果您使用动态，则您特别要求该分析器将其操作推迟到运行时。使用“在编译时停止进行静态类型分析”功能会导致静态类型分析在编译时不能很好地工作，这不足为奇。
关于c# - 为什么即使只有一种可能的返回类型，方法调用表达式的类型也是动态的？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9382130/
类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc
我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i
为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返
它不等于主线程的binding，这个toplevel作用域是什么？此作用域与主线程中的binding有何不同？>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是，TOPLEVEL_BINDING始终引用Binding的预定义全局实例，而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层，它们都包含相同的绑定(bind)，但它们不是同一个对象，您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput
我可以得到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类的两个特殊实例的字符串
我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)
如果您尝试在Ruby中的nil对象上调用方法，则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而，有一个tryRails中的方法，如果它被发送到一个nil对象，它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常？ 最佳答案 像Ruby中的所有其他对象
关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串？SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复？