C/C++优化器是否可以决定延迟评估仅用于短路评估的值
Can C/C++ optimizers decide to lazily evaluate values that are only used in a short-circuit evaluation?
我喜欢重构像这样的复杂条件:
if (foo(blah) || (bar(param1, param2, param3) && !obj.longMethodName())) ...
进入这个:
bool foo_true = foo(blah);
bool bar_true = bar(param1, param2, param3);
bool long_true = obj.longMethodName();
if (foo_true || (bar_true && !long_true)) ...
我认为这使代码更容易理解,并且有助于调试,因为您可以看到用于计算最终条件的中间结果。
但是:在原始代码中,由于短路,只有当foo
返回true
时,才会评估bar
,而只有当bar
返回true
时,才会对longMethodName
进行评估。
假设函数是"纯"的,方法是const
,编译器可以看到所有东西的函数体是否允许C++优化器推迟评估我的中间值,直到需要它们为止
当然。只要编译器能够看到足够的信息来确定foo
、bar
和obj.longMethodName()
没有对代码的可观察行为的其他影响。
是否有编译器这样做是另一个问题。我很怀疑它它需要一些非常特殊的逻辑,而这些逻辑不在优化技术的常用列表实际上没有人这样做。(我怀疑大多数程序员会找到格式正确的原始版本比有很多额外变量的更可读。)
编辑:
我想知道是否值得指出编译器是允许的调用所有三个函数,即使if已写入:
if ( foo( blah ) || (bar( p1, p2, p3 ) && ! obj.lMN() ) )
(尽管我无法想象会有这样的标准。)没有关于何时调用哪些函数的要求;它只要求可观察的行为是相同的价值观和顺序相同——没有关于时间)"好像"遵循了程序的形式语义。唯一可观察到的行为是IO(以某种形式)和对易失性对象的访问。
否。编译器不允许进行优化,因为它无法确定你是指短路,还是想在评估bar
时产生潜在的副作用。
否。C++没有一个没有副作用的纯方法的概念,所以真的没有优化的方法。
这里的问题是foo
和bar
可以在另一个编译单元中实现,而C++没有函数纯度的概念。这意味着foo
和bar
可能会产生副作用(屏幕或全局变量的变化),因此必须进行评估才能获得预期行为。
有趣的是,使用GCC,函数可以用pure
属性声明。这告诉编译器该函数没有任何副作用。因此可以称之为懒惰。请参阅此处了解更多详细信息。
我不确定赋值是否已经被视为副作用。至少可以说,很难确定移动实际呼叫是否安全。
但是,我想指出的是,在c++11中,可以使用与OP在使用std::bind
的示例中使用的语法几乎完全相同的语法来实现OP所追求的目标。
只是foo_true
不会被定义为
bool foo_true = foo(blah);
而是
CCD_ 20。
然后可以将CCD_ 21检查为CCD_。
它是否干净,取决于个人的事情IMO。但我相信它的行为符合双方的意愿和期望。完整代码:
#include <iostream>
#include <functional>
using namespace std;
bool foo(int blah){
cout << "blah: " << blah << 'n';
return blah;
}
bool bar(bool negate_me){
cout << "negate_me: " << negate_me << 'n';
return !negate_me;
}
int main() {
bool test = true;
int param = 42;
auto foo_true = std::bind(foo, test);
auto bar_true = std::bind(bar, param);
if (foo_true() || bar_true() ) cout << "TESTn";
return 0;
}
输出:
blah: 1
TEST
未调用bar
。将test
更改为false
,它将是
- std::condition_variable::wait()如何评估给定的谓词
- 如何仅为一个函数添加延迟
- c++11评估顺序(未定义的行为)
- 以在Qt中的IF语句中设置时间延迟
- 模板化类中静态成员的延迟初始化
- 在 Windows 8/10 技术中完全实时的屏幕捕获,没有延迟
- 将自定义函数传递到基抽象类中以延迟执行
- 我希望改进或要求我目前的延迟/睡眠方法。C++
- 如何使用"equal to"以外的评估编写开关语句
- 嵌套 if 中没有返回评估
- 如何在 c++ 中延迟?
- 懒惰的参数评估try_emplace?
- 在实践中,在运行时为零的乘法中是否有任何"lazy"评估
- 如何测量管道延迟?
- 获取毫秒延迟的错误值
- 如何改进一堆在已知值范围内评估变量的 else-if 条件?
- C++17:使用 std::optional 来评估枚举是否包含值
- CNTK:->转发或 ->评估某些电脑上的崩溃,而不是其他电脑上的崩溃
- C/C++优化器是否可以决定延迟评估仅用于短路评估的值
- 延迟评估模板类型函数