草庐IT

c# - 编译器是否优化对 const 变量和文字 const 数字的操作?

coder 2024-05-26 原文

假设我有一个带字段的类:

const double magicalConstant = 43;

这是代码中的某处:

double random = GetRandom();
double unicornAge = random * magicalConstant * 2.0;

编译器是否会优化我的代码,使其不会在每次计算 unicornAge 时都计算 magicalConstant * 2.0

我知道我可以定义下一个将这个乘法考虑在内的常量。但这在我的代码中看起来更清晰。编译器对其进行优化是有意义的。

最佳答案

(这个问题是 the subject of my blog in October 2015 ;感谢您提出有趣的问题!)

您已经有了一些很好的答案来回答您的事实问题:不,C# 编译器不会生成执行一次 86 乘法的代码。它生成一个 43 的乘法和一个 2 的乘法。

这里有一些微妙的地方,但还没有人深入研究过。

乘法在 C# 中是“左关联的”。也就是说,

x * y * z

必须计算为

(x * y) * z

不是

x * (y * z)

现在,您是否曾经为这两个计算得到不同的答案?如果答案为“否”,则该操作被称为“关联操作”——也就是说,我们将括号放在哪里并不重要,因此可以进行优化以将括号放在最佳位置。 (注意:我在此答案的先前编辑中犯了一个错误,当我说“关联”时我说“可交换” - 可交换操作是 x * y 等于 y * x 的操作。)

在 C# 中,字符串连接是一种关联操作。如果你说

myString + "hello" + "world" + myString

然后你得到相同的结果

((myString + "hello") + "world") + myString

(myString + ("hello" + "world")) + myString

因此 C# 编译器可以在这里进行优化;它可以在编译时进行计算并生成代码,就像您编写的一样

(myString + "helloworld") + myString

这实际上是 C# 编译器所做的。 (有趣的事实:实现优化是我加入编译器团队后做的第一件事。)

是否可以对乘法进行类似的优化? 仅当乘法是结合的时。但事实并非如此!有几种情况并非如此。

让我们来看一个稍微不同的案例。假设我们有

x * 0.5 * 6.0

我们可以这么说吗

(x * 0.5) * 6.0

相同
x * (0.5 * 6.0)

并生成乘以 3.0?否。假设 x 非常小,x 乘以 0.5 四舍五入为 。那么零乘以 6.0 仍然是零。所以第一种形式可以给出零,第二种形式可以给出非零值。由于这两个操作给出不同的结果,因此该操作不具有关联性。

C# 编译器可以添加智能——就像我对字符串连接所做的那样——以弄清楚乘法在哪些情况下关联并进行优化,但坦率地说,这根本不值得它。节省字符串连接是一个巨大的胜利。字符串操作在时间和内存上都很昂贵。程序包含很多常量和变量混合在一起的字符串连接是很常见的。浮点运算在时间和内存上非常便宜,很难知道哪些是关联的,并且在现实程序中很少有长链乘法。设计、实现和测试该优化所需的时间和精力最好花在编写其他功能上。

关于c# - 编译器是否优化对 const 变量和文字 const 数字的操作?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30713046/

有关c# - 编译器是否优化对 const 变量和文字 const 数字的操作?的更多相关文章

  1. 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

  2. ruby-on-rails - 如何使用 instance_variable_set 正确设置实例变量? - 2

    我正在查看instance_variable_set的文档并看到给出的示例代码是这样做的:obj.instance_variable_set(:@instnc_var,"valuefortheinstancevariable")然后允许您在类的任何实例方法中以@instnc_var的形式访问该变量。我想知道为什么在@instnc_var之前需要一个冒号:。冒号有什么作用? 最佳答案 我的第一直觉是告诉你不要使用instance_variable_set除非你真的知道你用它做什么。它本质上是一种元编程工具或绕过实例变量可见性的黑客攻击

  3. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加?这是我的解决方案,但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  4. ruby - 通过 ruby​​ 进程共享变量 - 2

    我正在编写一个gem,我必须在其中fork两个启动两个webrick服务器的进程。我想通过基类的类方法启动这个服务器,因为应该只有这两个服务器在运行,而不是多个。在运行时,我想调用这两个服务器上的一些方法来更改变量。我的问题是,我无法通过基类的类方法访问fork的实例变量。此外,我不能在我的基类中使用线程,因为在幕后我正在使用另一个不是线程安全的库。所以我必须将每个服务器派生到它自己的进程。我用类变量试过了,比如@@server。但是当我试图通过基类访问这个变量时,它是nil。我读到在Ruby中不可能在分支之间共享类变量,对吗?那么,还有其他解决办法吗?我考虑过使用单例,但我不确定这是

  5. ruby-on-rails - 如何在我的 Rails 应用程序 View 中打印 ruby​​ 变量的内容? - 2

    我是一个Rails初学者,但我想从我的RailsView(html.haml文件)中查看Ruby变量的内容。我试图在ruby​​中打印出变量(认为它会在终端中出现),但没有得到任何结果。有什么建议吗?我知道Rails调试器,但更喜欢使用inspect来打印我的变量。 最佳答案 您可以在View中使用puts方法将信息输出到服务器控制台。您应该能够在View中的任何位置使用Haml执行以下操作:-puts@my_variable.inspect 关于ruby-on-rails-如何在我的R

  6. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串,该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么,如果包含,则返回它包含的键的值?例如,对于上面的h和s的例子,输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  7. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法,但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗?编辑解释我的环境,并改变问题的范围。因此,我的项目将使用jsapiFullCalendar,这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么,以正确的格式将日期保存在数据库中,或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

  8. ruby - 检查日期是否在过去 7 天内 - 2

    我的日期格式如下:"%d-%m-%Y"(例如,今天的日期为07-09-2015),我想看看是不是在过去的七天内。谁能推荐一种方法? 最佳答案 你可以这样做:require"date"Date.today-7 关于ruby-检查日期是否在过去7天内,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/32438063/

  9. ruby - 如何验证 IO.copy_stream 是否成功 - 2

    这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同,而不是下载一半的损坏文件?documentation说IO.copy_stream返回它复制的字节数,但是当我还没有下

  10. ruby - 是否可以覆盖 gemfile 进行本地开发? - 2

    我们的git存储库中目前有一个Gemfile。但是,有一个gem我只在我的环境中本地使用(我的团队不使用它)。为了使用它,我必须将它添加到我们的Gemfile中,但每次我checkout到我们的master/dev主分支时,由于与跟踪的gemfile冲突,我必须删除它。我想要的是类似Gemfile.local的东西,它将继承从Gemfile导入的gems,但也允许在那里导入新的gems以供使用只有我的机器。此文件将在.gitignore中被忽略。这可能吗? 最佳答案 设置BUNDLE_GEMFILE环境变量:BUNDLE_GEMFI

随机推荐