我正在阅读 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 的宏替换预防应该如何工作?
最佳答案
它不应该做你认为它应该做的事情。
如果 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
, 然后包含该头文件应该是无害的。
关于c++ - BOOST_PREVENT_MACRO_SUBSTITUTION 应该如何工作?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31209050/