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宏的扩展，我收到了编译错误。那么，提升的宏观替代预防应该如何发挥作用呢？

Answer 1

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

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

此处BOOST_PREVENT_MACRO_SUBSTITUTION的所有使用都阻止了为std::min和std::max的定义引发语法错误，就像您想到的那样已经。如果标头使用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，那么包含该头文件应该是无害的。

BOOST_PREVENT_MACRO_SUBSTITUTION如何工作？

1 个答案: