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 函数的定义。但为什么这在实际调用站点有用？当调用函数时，宏实际上不会替换吗？我试着做了一个简单的测试，"emulating" 这个设置：

#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 的定义出现语法错误，就像你已经想到的那样。如果 header 使用 inline const _Tp& min (const _Tp& __a, const _Tp& __b)，它会很乐意将 min 扩展为一个宏，从而产生类似 inline const _Tp& ((const _Tp& __a) < (const _Tp& __b) ? (const _Tp& __a) : (const _Tp& __b)) 的结果。但是如果代码实际上没有使用 min 或 max，那么包含那个 header 文件应该是无害的。

BOOST_PREVENT_MACRO_SUBSTITUTION 应该如何工作？

How is BOOST_PREVENT_MACRO_SUBSTITUTION supposed to work?

c++

macros

boost