在C ++中增加tribool导致从右到左的条件评估

时间:2014-02-24 16:18:39

标签: c++ boost c++11 conditional-statements operator-precedence

据我所知,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" 

1 个答案:

答案 0 :(得分:10)

与内置逻辑运算符不同,重载逻辑运算符(和they are overloaded for boost::tribool)没有从左到右的评估顺序(也没有短路语义)。几乎在其他任何地方都没有指定操作数的评估顺序。