据我所知,C ++总是在条件语句中从左到右进行评估
if(A, B, C)
A
将首先评估,B
秒,依此类推。但是,下面的例子表现出一些奇怪的行为。
#include <iostream>
#include <map>
#include <memory>
#include <vector>
#include <boost/logic/tribool.hpp>
//-////////////////////////////////////////////
// File Block
class FileBlock {
public:
FileBlock();
virtual ~FileBlock();
bool linked();
std::vector<int> messages_;
private:
boost::logic::tribool position_;
std::shared_ptr<FileBlock> precedingBlock_ = nullptr;
std::shared_ptr<FileBlock> followingBlock_ = nullptr;
};
FileBlock::FileBlock() {
std::cout << "Breakpoint." << std::endl;
// "linked()" evaluated first by scope.
if(linked()) {
if(!position_
&& precedingBlock_->messages_.back() > 1) {
std::cout << "Unreachable." << std::endl;
}
}
// "linked()" evaluated first without the tribool.
if(linked()
&& precedingBlock_->messages_.back() > 1) {
std::cout << "Unreachable." << std::endl;
}
// "precedingBlock_->messages_.back() > 1" evaluated first. (Crash because null.)
if(linked()
&& !position_
&& precedingBlock_->messages_.back() > 1) {
std::cout << "Unreachable." << std::endl;
}
}
FileBlock::~FileBlock() {}
bool FileBlock::linked() {
return false;
}
//-////////////////////////////////////////////
// main
int main() {
std::shared_ptr<FileBlock> followingBlock(new FileBlock());
return 0;
}
示例中有三个版本的条件。据我所知,第一个和最后一个应该评估相同。但是,当我在gdb中跟踪程序时,当我到达条件的第三个版本时,最右边的条件是第一个被评估的条件。
确定条件的范围显然可以解决问题(如条件的第一个版本所示),如同在第二个条件中所示完全删除tribool一样,但我应该能够使用第三个没有事故!
由于最左边的条件总是错误的,程序应该在没有做任何事情的情况下退出并返回,但事实并非如此。
这里有什么?我不了解tribool吗?我是<幻觉吗?
这里列出了我使用的mingw build以及已安装的库:
Core Inventory:
- autoconf2.5-2.68-1
- autoconf-10-1
- automake1.11-1.11.1-1
- binutils-2.24-1
- expat-2.1.0-1
- gcc-c++-4.8.1-4
- gcc-core-4.8.1-4
- gdb-7.6.1-1
- gettext-0.18.3.1-1
- gmp-5.1.2-1
- libiconv-1.14-3
- libltdl-2.4-1
- libtool-2.4-1
- make-3.82.90-2
- mingwrt-4.0.3-1
- mpc-1.0.1-2
- mpfr-3.1.2-2
- pthreads-w32-2.9.1-1
- w32api-4.0.3-1
- wsl_rc-4.0-1
- zlib-1.2.8-1
Auxiliary Inventory:
- wxWidgets 3.0.0
- Boost 1.55
- yaml-cpp 0.5.1
以下是我的构建命令:
g++ -std=gnu++11 -O0 -g3 -Wall -c -fmessage-length=0 -o "src\\main.o" "..\\src\\main.cpp"
g++ -o wtf.exe "src\\main.o"
答案 0 :(得分:10)
与内置逻辑运算符不同,重载逻辑运算符(和they are overloaded for boost::tribool
)没有从左到右的评估顺序(也没有短路语义)。几乎在其他任何地方都没有指定操作数的评估顺序。