今天在使用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_
-
-
-
- #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)();
只是,这种方式可能会面临一些负面影响:
这种方式下不能使用ADL(Argument Depended Name Lookup)了,所以成员函数前必须加上类名或者名字空间域名,也就是必须是fully qualified。