自定义test()函数仅输出首个错误的原因及解决方法

我定义了一个存储自定义对象std::vector的类，希望编写test()函数检查所有对象是否处于有效状态，通过assert仅在debug模式下调用该函数并输出所有发现的错误，但目前仅输出第一个错误。

示例代码如下：

class Foo
{
public:
    Foo(int index, int data) : _index(index), _some_data(data) {}

    bool test() const
    {
        bool valid = true;
        if (_some_data == 0)
        {
            std::cout << "Error! Foo " << _index << " has invalid data.\n";
            valid = false;
        }
        return valid;
    }

private:
    int _index;
    int _some_data; // for this example, should be non-zero
};

class MyClass
{
public:
    MyClass(std::vector<Foo> foos) : _foos(foos) {}

    bool test() const
    {
        bool valid = true;
        for (auto &foo : _foos)
        {
            valid = valid && foo.test();
        }
        return valid;
    }

private:
    std::vector<Foo> _foos;
};

int main()
{
    Foo foo1(0, 0);
    Foo foo2(1, 0);
    Foo foo3(2, 0);

    std::vector<Foo> foos({foo1, foo2, foo3}); // all three foos in invalid state

    MyClass my_class(foos);
    assert(my_class.test()); // outputs "Error! Foo 0 has invalid data." But does not show me errors in other two foos
}

请问为何仅输出第一个无效Foo的错误而非全部？我猜测这与编译器优化（使用GCC）有关，当valid为false时就不再执行后续循环，该如何避免？

原因分析 #

这不是编译器优化导致的，而是C++中逻辑与运算符&&的短路求值特性：当表达式左边valid已经是false时，右边的foo.test()会被直接跳过执行——因为逻辑与的规则是只要有一个操作数为false，整个表达式结果必然是false，无需再计算右边的值。这是C++的标准行为，和编译器无关。

解决方法 #

要确保所有foo.test()都被调用以输出全部错误，有两种简单的修改方式：

方法1：分开调用检查与状态更新 #

先执行foo.test()输出错误，再更新valid的状态，避免短路求值影响：

bool test() const
{
    bool valid = true;
    for (auto &foo : _foos)
    {
        bool current_valid = foo.test(); // 先调用，确保错误输出
        valid = valid && current_valid; // 再更新整体状态
    }
    return valid;
}

方法2：使用位与运算符&代替逻辑与&& #

位与运算符&不会触发短路求值，无论左边结果如何，右边的表达式都会被执行（注意仅当操作数为bool类型时，位与的结果和逻辑与一致）：

bool test() const
{
    bool valid = true;
    for (auto &foo : _foos)
    {
        valid = valid & foo.test(); // 位与无短路，确保所有test()都执行
    }
    return valid;
}

进阶优化：收集错误信息统一输出 #

如果希望错误信息更规整，可以先收集所有错误，最后一次性输出，这样assert触发时能看到完整的错误列表：

bool test() const
{
    bool valid = true;
    std::vector<std::string> errors;
    for (size_t i = 0; i < _foos.size(); ++i)
    {
        if (!_foos[i].test())
        {
            errors.push_back("Error! Foo " + std::to_string(i) + " has invalid data.");
            valid = false;
        }
    }
    // 统一输出所有错误
    for (const auto& err : errors)
    {
        std::cout << err << '\n';
    }
    return valid;
}

内容的提问来源于stack exchange，提问作者Numerical Disintegration