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;
}

这是功能还是错误？

EDIT* 脏修复：

#ifdef DOMAIN
#undef DOMAIN
#endif

Answer 1

这是一个错误（如果你想大方一点，它是一个“疣”）。

此答案的其余部分仅指 GCC 和 Gnu 标准 C 库头文件。 man 页面引用指向 linux 系统（但我添加了指向 man7.org 的链接）。

DOMAIN 宏来自math.h 的 System V 支持。 （请参阅man matherr。）通常通过定义_SVID_SOURCE 功能测试宏（请参阅man feature_test_macros）启用 System V 支持，但如果定义了_GNU_SOURCE，则它与大量其他扩展一起启用，或者通过如果没有定义功能测试宏，则默认。

gcc 为 C 程序预定义 _GNU_SOURCE，如果 --std 选项被省略或设置为 gnu##。各种--std=c## 选项导致__STRICT_ANSI__ 被定义。因此，使用某些显式 C 标准编译 C 代码将抑制 System V 扩展。之所以需要这样做，是因为 System V 扩展不符合标准，甚至与 Posix 也不兼容，因为它们污染了全局命名空间。 （DOMAIN 只是这种污染的一个例子。）

但是，即使指定了--std=c++##，g++ 也会定义_GNU_SOURCE，因此 System V 扩展将潜入。（感谢@dyp 提供指向此libstdc++ FAQ entry. 和此long and inconclusive discussion from 2001 on the GCC mailing list 的链接）

一个丑陋的解决方法是自己设置功能，然后取消定义__USE_SVID：

#include <features.h>
#undef __USE_SVID

#include <random>
#include <iostream>

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

(Live on coliru)

恕我直言，这应该没有必要。但它就在那里。

Answer 2

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

一个 C++ 头文件可能包含其他 C++ 头文件。 C++ 头文件应提供出现在其概要中的声明和定义。在其概要中显示为包含其他 C++ 标头的 C++ 标头应提供 出现在其他标题的概要中的声明和定义。

因此，<algorithm> 到 #include <cmath> 是有效的，它将有问题的宏常量注入你的命名空间。

但是请注意，标准不允许您的“快速而肮脏的修复”（§ 17.6.4.3.1 [macro.names] / 1）：

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

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