C++ 标准库函数与宏定义的名字冲突

C++ 标准库函数与宏定义的名字冲突

今天在使用limits中的numeric_limits类模板函数max和min时，编译出现了一个错误：

    
    
    
    
error C2589: '(' : illegal token on right side of '::'

百思不得其解，后来突然想到max和min很有可能已经被定义成了宏，于是查看包进来的头文件，发现蹊跷肯定在<windows.h>中：

windows.h包括了windef.h头文件，在windef.h中定义有宏：

    
    
    
    
#ifndef NOMINMAX

#ifndef max
#define max(a,b)            (((a) > (b)) ? (a) : (b))
#endif

#ifndef min
#define min(a,b)            (((a) < (b)) ? (a) : (b))
#endif

#endif  /* NOMINMAX */
 

所以这里的max和min的宏定义就与标准模板库中的numeric_limits<*>::max/min的定义发生了冲突，加入#define NOMINMAX问题就解决了。

（注意宏的作用域都是全局（scope-less evil）的）

进一步去google了一下关于类似的max/min宏的定义还发生在哪些常用的头文件中。

这里指出，max/min的宏定义还出现在了stdlib.h和minmax.h头文件中。

在stdlib.h中：

    
    
    
    
#if     !__STDC__

#ifndef _POSIX_

/* Non-ANSI names for compatibility */

#ifndef __cplusplus
#define max(a,b)    (((a) > (b)) ? (a) : (b))
#define min(a,b)    (((a) < (b)) ? (a) : (b))
#endif

...
 

一般ANSI C中使用__max和__min宏，max和min只是在非标准C中才会定义，所以一般使用标准C时，包括了stdlib.h头文件不会发生和max/min宏的冲突。

而minmax.h头文件一般只是在你想使用max/min宏时才会被包括进来。

并且，在网上还发现了此问题的另外一个解决方式：

    
    
    
    
(std::min)(x, y);
(std::max)(x, y);
(std::numeric_limits<T>::min)();
(std::numeric_limits<T>::max)();
 

这样把函数名用括号括起来了，max/min不再被当作带参数的宏去替换了，因此能够避免冲突。

当用户自己定义的类型的成员函数与全局的宏定义发生冲突时，都可以采用这种解决方法。

    
    
    
    
template <typename T, int Size>
struct Series
{
  T min() { return *(std::min_element(s, s + Size); }
  T& operator[](int index) { return s[index]; }
private:
  T s[Size];
};

Series<int, 3> s;
s[0] = 2;
s[1] = 3;
s[2] = 1;

int m = (s.min)(); // long way, but here is the trick
 

只是，这种方式可能会面临一些负面影响：

这种方式下不能使用ADL（Argument Depended Name Lookup）了，所以成员函数前必须加上类名或者名字空间域名，也就是必须是fully qualified。