草庐IT

c# - 做短路运算符||和 && 是否存在可空 bool 值？ RuntimeBinder 有时会这么认为

coder 2023-07-07 原文

我阅读了关于条件逻辑运算符的 C# 语言规范 ||和 && ，也称为短路逻辑运算符。对我来说，似乎不清楚这些是否存在可空 bool 值，即操作数类型 Nullable<bool> (也写成 bool? )，所以我尝试使用非动态类型:

bool a = true;
bool? b = null;
bool? xxxx = b || a;  // compile-time error, || can't be applied to these types

这似乎解决了问题(我无法清楚地理解规范，但假设 Visual C# 编译器的实现是正确的，现在我知道了)。

但是，我想尝试使用 dynamic也有约束力。所以我改用这个:

static class Program
{
  static dynamic A
  {
    get
    {
      Console.WriteLine("'A' evaluated");
      return true;
    }
  }
  static dynamic B
  {
    get
    {
      Console.WriteLine("'B' evaluated");
      return null;
    }
  }

  static void Main()
  {
    dynamic x = A | B;
    Console.WriteLine((object)x);
    dynamic y = A & B;
    Console.WriteLine((object)y);

    dynamic xx = A || B;
    Console.WriteLine((object)xx);
    dynamic yy = A && B;
    Console.WriteLine((object)yy);
  }
}

令人惊讶的结果是它毫无异常(exception)地运行。

嗯，x和 y不足为奇，它们的声明导致两个属性都被检索，并且结果值符合预期，x是true和 y是null .

但是对xx的评价的 A || B导致没有绑定(bind)时间异常，只有属性 A被阅读，而不是B .为什么会这样？如您所知，我们可以更改 B getter 返回一个疯狂的对象，比如 "Hello world" , 和 xx仍会评估为 true没有绑定(bind)问题...

正在评估 A && B (对于 yy )也不会导致绑定(bind)时错误。当然，这里会检索两个属性。为什么运行时 Binder 允许这样做？如果返回的对象来自 B更改为“坏”对象(如 string )，则会发生绑定(bind)异常。

这是正确的行为吗？(您如何从规范中推断出这一点？)

如果你尝试 B作为第一个操作数，两者都是 B || A和 B && A给出运行时 Binder 异常( B | A 和 B & A 工作正常，因为使用非短路运算符一切正常 | 和 & )。

(尝试使用 Visual Studio 2013 的 C# 编译器和运行时版本 .NET 4.5.2。)

最佳答案

首先，感谢您指出规范在非动态 nullable-bool 情况下并不清楚。我会在未来的版本中修复它。编译器的行为是预期的行为； && 和 || 不应该在可为 null 的 bool 值上工作。

不过，动态绑定(bind)器似乎并没有实现这个限制。相反，它分别绑定(bind)组件操作:&/| 和 ?:。因此，如果第一个操作数恰好是 true 或 false(它们是 bool 值，因此允许作为 的第一个操作数？:)，但是如果您将 null 作为第一个操作数(例如，如果您在上面的示例中尝试 B && A)，您会得到一个运行时绑定(bind)异常。

如果你仔细想想，你就会明白为什么我们以这种方式实现动态 && 和 || 而不是作为一个大的动态操作:动态操作在运行时绑定(bind)在对它们的操作数求值之后，以便绑定(bind)可以基于这些求值结果的运行时类型。但如此急切的评价却落空了短路运营商的目的!因此，动态 && 和 || 的生成代码将评估分解为多个部分，并将按如下方式进行:

  • 计算左操作数(我们称结果为 x)
  • 尝试通过隐式转换或true 或false 运算符将其转换为bool(如果不能则失败)
  • 使用 x 作为 ?: 操作中的条件
  • 在真正的分支中，使用x作为结果
  • 在假分支中，现在计算第二个操作数(我们称结果为y)
  • 尝试根据x 和y 的运行时类型绑定(bind)& 或| 运算符(失败如果不能)
  • 应用选定的运算符

这是允许通过某些“非法”操作数组合的行为:?: 运算符成功地将第一个操作数视为不可空 bool 值，& 或 | 运算符成功地将其视为 nullable bool 值，并且两者从不协调以检查它们是否一致。

所以不是动态的&&和||处理可空值。只是与静态情况相比，它们恰好以一种过于宽松的方式实现。这可能应该被认为是一个错误，但我们永远不会修复它，因为那将是一个破坏性的变化。此外，它几乎不会帮助任何人收紧行为。

希望这能解释发生了什么以及为什么!这是一个有趣的领域，我经常发现自己对实现动态时所做决定的后果感到困惑。这个问题很有趣 - 感谢提出来!

疯狂

关于c# - 做短路运算符||和 && 是否存在可空 bool 值？ RuntimeBinder 有时会这么认为，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/27508991/

ampc#code运算符boolnullablelogical-operatorsshort-circuitingdynamictype

有关c# - 做短路运算符||和 && 是否存在可空 bool 值？ RuntimeBinder 有时会这么认为的更多相关文章

  1. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou

  2. ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  3. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  4. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

    我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

  5. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

    我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为

  6. ruby-on-rails - 如果为空或不验证数值，则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初，我将所有3列的:default=>0放在表格中，但我不想要这样，因为它已经填充了字段，我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

  7. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar

  8. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  9. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  10. ruby - 在 jRuby 中使用 'fork' 生成进程的替代方案？ - 2

    在MRIRuby中我可以这样做:deftransferinternal_server=self.init_serverpid=forkdointernal_server.runend#Maketheserverprocessrunindependently.Process.detach(pid)internal_client=self.init_client#Dootherstuffwithconnectingtointernal_server...internal_client.post('somedata')ensure#KillserverProcess.kill('KILL',

随机推荐