Boost Log 的琐碎记录器的“惰性求值”是如何工作的？

[跟进明确检查 boost::log 过滤器？ https://stackoverflow.com/a/50345102/9305398]

以下示例使用来自的简单记录器升压日志 https://www.boost.org/doc/libs/master/libs/log/doc/html/index.html。它输出1，表明expensive()只被调用一次。它是如何工作的？为什么是expensive()没叫？

Live On Coliru http://coliru.stacked-crooked.com/a/fa0a761fa43b0119

#include <iostream>

#include <boost/log/expressions.hpp>
#include <boost/log/trivial.hpp>

int count = 0;

int expensive()
{
    return ++count;
}

int main()
{
    boost::log::core::get()->set_filter(
        boost::log::trivial::severity >= boost::log::trivial::warning
    );

    BOOST_LOG_TRIVIAL(error) << expensive();
    BOOST_LOG_TRIVIAL(info) << expensive();

    std::cout << count << '\n';

    return 0;
}

Output:

[2018-05-21 14:33:47.327507] [0x00007eff37aa1740] [error]   1
1

它通过使用一些宏/预处理器魔法来工作。这些语句看起来确实像对某些函数的调用operator<<():

BOOST_LOG_TRIVIAL(warning) << expensive();

然而，简化了很多，宏的工作方式就好像我们写了类似的东西：

if (level == warning)
    logger << expensive();

如果您想简化该代码以避免一直编写，您可以定义如下宏：

#define LOG_WARNING if (level == warning) logger

然后我们可以将其用作：

LOG_WARNING << expensive();

实际上BOOST_LOG_TRIVIAL https://github.com/boostorg/log/blob/boost-1.67.0/include/boost/log/trivial.hpp#L112宏最终扩展为：

for (
    ::boost::log::record _boost_log_record_N =
        (::boost::log::trivial::logger::get()).open_record(
            (::boost::log::keywords::severity = ::boost::log::trivial::error)
        )
    ;
    !!_boost_log_record_N;
)
    ::boost::log::aux::make_record_pump(
        (::boost::log::trivial::logger::get()),
        _boost_log_record_N
    ).stream() << expensive();

如您所见，取决于!!_boost_log_record_N循环条件（这又取决于结果open_record())，循环体将运行零次或多次；这就是为什么expensive()并不总是运行。