math.h宏碰撞

Question

math.h中的宏DOMAIN与枚举以及可能的其他类型发生碰撞。我不知道该怎么做。

#include <algorithm>

enum Type { DOMAIN };


int main(){
    Type t = Type::DOMAIN;
    return 0;

}

使用标志-std=c++11编译。但是，这段代码的C99版本编译得非常好：

#include <algorithm>

enum Type { DOMAIN };


int main(){
    Type t = DOMAIN;
    return 0;

}

我检查了源代码，而库就是罪魁祸首。算法包括stl_algo.h，其中有ifdef：

#if __cplusplus >= 201103L
#include <random>     // for std::uniform_int_distribution 
#include <functional> // for std::bind
#endif

以下代码在c++11编译器上编译得很好：

#include <random>
#include <iostream>
int main(){
    std::cout << DOMAIN << std::endl;
    return 0;
}

它是一个特征还是一个bug？

编辑*脏修复：

#ifdef DOMAIN
#undef DOMAIN
#endif

Answer 1

这是一个bug (如果你想慷慨的话，它就是一个“疣”)。

这个答案的其余部分只提到GCC和Gnu标准C库标题。man页面引用是对linux系统的引用(但我添加了man7.org的链接)。

DOMAIN宏来自于math.h的System支持。(参见man matherr.) System支持通常通过定义_SVID_SOURCE特性测试宏(参见man feature_test_macros)启用，但如果定义了_GNU_SOURCE，则与大量其他扩展一起启用，如果没有定义功能测试宏，则默认启用。

如果省略了gcc选项或将--std设置为gnu##，则--std预定义C程序的--std。各种--std=c##选项导致定义__STRICT_ANSI__。因此，用一些明确的C标准编译C代码将抑制System扩展。这是因为System扩展不符合标准，甚至与Posix不兼容，因为它们污染了全局名称空间。(DOMAIN只是这种污染的一个例子。)

但是，g++定义了_GNU_SOURCE，即使指定了--std=c++##，因此System扩展也会悄悄地出现。(感谢@ libstdc++常见问题条目。和这个GCC邮寄名单2001年以来的长篇大论的链接)

一个丑陋的解决方法是自己设置这些特性，然后取消定义__USE_SVID。

#include <features.h>
#undef __USE_SVID

#include <random>
#include <iostream>

int main(){   
    std::cout << DOMAIN << std::endl;
    return 0;
}

(住在coliru)

国际水文学组织，这不应该是必要的。但它就在这里。

Answer 2

§17.6.5.2 res.on.headers /1的N4140说：

C++头可以包括其他C++头。C++标头应提供其概要中出现的声明和定义。概要中所示的C++标头包括其他C++标头，应提供出现在这些其他标头摘要中的声明和定义。

因此，对于<algorithm>到#include <cmath>是有效的，它将错误的宏常量注入您的命名空间。

但是，请注意，标准不允许您的“快速和肮脏的修复”(§17.6.4.3.1 macro.names / 1)：

包含标准库标题的翻译单元不应在任何标准库标头中声明#define或#undef名称。

您必须为您的DOMAIN常量选择一个不同于enum的名称。