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

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

 

error C2589: '(' : illegal token on right side of '::'
百思不得其解,后来突然想到max和min很有可能已经被定义成了宏,于是查看包进来的头文件,发现蹊跷肯定在中:
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::min)();
(std::numeric_limits::max)();
这样把函数名用括号括起来了,max/min不再被当作带参数的宏去替换了,因此能够避免冲突。
当用户自己定义的类型的成员函数与全局的宏定义发生冲突时,都可以采用这种解决方法。
template 
struct Series
{
  T min() { return *(std::min_element(s, s + Size); }
  T& operator[](int index) { return s[index]; }
private:
  T s[Size];
};

Series 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。

 

你可能感兴趣的:(C/C++)