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

转至  http://blog.csdn.net/rnamatrix/article/details/5765462

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

  
  

   
   

    
    

     
     [c-sharp] 
     
     view plain
     
     copy
     
     print
     
     ?
    
    
   
   
   
   
error C2589: '(' : illegal token on right side of '::'  
  
  
error C2589: '(' : illegal token on right side of '::' 

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

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

  
  

   
   

    
    

     
     [c-sharp] 
     
     view plain
     
     copy
     
     print
     
     ?
    
    
   
   
   
   
#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 */  
  
  
#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中：

  
  

   
   

    
    

     
     [c-sharp] 
     
     view plain
     
     copy
     
     print
     
     ?
    
    
   
   
   
   
#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   
  
...  
  
  
#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宏时才会被包括进来。

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

  
  

   
   

    
    

     
     [c-sharp] 
     
     view plain
     
     copy
     
     print
     
     ?
    
    
   
   
   
   
(std::min)(x, y);  
(std::max)(x, y);  
(std::numeric_limits<T>::min)();  
(std::numeric_limits<T>::max)();  
  
  
(std::min)(x, y);
(std::max)(x, y);
(std::numeric_limits<T>::min)();
(std::numeric_limits<T>::max)(); 

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

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

  
  

   
   

    
    

     
     [c-sharp] 
     
     view plain
     
     copy
     
     print
     
     ?
    
    
   
   
   
   
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  
  
  
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。