c++ - BOOST_PREVENT_MACRO_SUBSTITUTION 应该如何工作？

Question

我正在阅读 boost's config/suffix.hpp ，我对以下代码感到惊讶:

//  Workaround for the unfortunate min/max macros defined by some platform headers

#define BOOST_PREVENT_MACRO_SUBSTITUTION

// <skipped unimportant lines>

namespace std {
  template <class _Tp>
  inline const _Tp& min BOOST_PREVENT_MACRO_SUBSTITUTION (const _Tp& __a, const _Tp& __b) {
    return __b < __a ? __b : __a;
  }
  template <class _Tp>
  inline const _Tp& max BOOST_PREVENT_MACRO_SUBSTITUTION (const _Tp& __a, const _Tp& __b) {
    return  __a < __b ? __b : __a;
  }
}

这实际上似乎是在定义同名宏时编译 min 和 max 函数的定义。但为什么这在实际调用站点有用？当调用函数时，宏实际上不会替换吗？我试图做一个简单的测试，“模拟”这个设置:

#include <iostream>

#define PREVENT_MACRO_SUBSTITUTION
#define max(x,y) ((x)<(y)?(y):(x))

namespace test
{
int max PREVENT_MACRO_SUBSTITUTION (int a, int b)
{
    std::cerr << "Function max\n";
    return a<b?b:a;
}
}

int main()
{
    int x=test::max(5,6);
    std::cout << "x="<<x<<"\n";
}

而且，正如预期的那样，由于 max 宏的扩展，我得到了一个编译错误。那么，boost 的宏替换预防应该如何工作？

Answer 1

它不应该做你认为它应该做的事情。

如果 min或 max定义了宏，用户希望调用那些 std::min或 std::max功能，用户有责任确保宏被抑制。可能再次使用 BOOST_PREVENT_MACRO_SUBSTITUTION ，可能使用括号 ( (std::min) (...) )。

全部使用BOOST_PREVENT_MACRO_SUBSTITUTION在这里做的是防止为 std::min 的定义 引发语法错误和 std::max ，就像你已经想到的那样。它会很乐意扩展 min如果 header 使用了 inline const _Tp& min (const _Tp& __a, const _Tp& __b)，则作为宏，结果类似于 inline const _Tp& ((const _Tp& __a) < (const _Tp& __b) ? (const _Tp& __a) : (const _Tp& __b)) .但是如果代码实际上没有使用 min或 max , 然后包含该头文件应该是无害的。