BOOST_PREVENT_MACRO_SUBSTITUTION 应该如何工作？

Question

我正在阅读boost的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

的

definition

引发语法错误，就像您已经想到的那样。如果标头使用了

min

，它会很乐意将

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

，那么包含该头文件应该是无害的。

Answer 2

为了使这行代码正确编译并抑制 Marco 扩展，请添加 PREVENT_MACRO_SUBSTITUTION int x=测试::最大(5,6); //会产生编译错误 int x=test::max PREVENT_MACRO_SUBSTITUTION(5,6);// 编译正常 所以实际上写起来更方便： int x=(测试::最大)(5,6);