Boost Tribol导致C++中从右到左的条件求值

据我所知，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中跟踪程序时，当我到达条件的第三个版本时，最右边的条件是第一个要评估的。

界定条件显然解决了这个问题(如条件的第一个版本所示)，正如第二个条件所示，完全去除Tribol一样，但我应该能够使用第三个条件而不会发生意外！

程序应该在不做任何事情的情况下退出并返回，因为最左边的条件总是错误的，但事实并非如此。

上面是什么？我是不是不了解Tribol？我有幻觉吗？

以下是我正在使用的mingw构建以及已安装的库的清单：

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"