Clang 在 C++03 模式下支持哪些 C++11 扩展？

Question

在 C++03 模式下编译时，较新版本的 Clang 支持某些 C++11 扩展，但在打开 -Wc++11-extensions 时可能会发出警告。比如编译这段代码：

std::map<int, int> foo;
for(auto &i : foo) {
}

clang test.cpp -std=c++03 会导致以下警告：

test.cpp:5:6: warning: 'auto' type specifier is a C++11 extension
      [-Wc++11-extensions]
        for(auto &i : foo) {
            ^
test.cpp:5:14: warning: range-based for loop is a C++11 extension
      [-Wc++11-extensions]
        for(auto &i : foo) {

但是编译成功并且生成了正确的代码。但是，尝试使用例如统一初始化 (std::map<int, int> foo{{1,2},{3,4}};) 失败并出现语法错误。

就我而言，我有一个现有的不可变库，由于某些兼容性问题，它只能在 C++03 模式下编译；开发人员表示他们将在“不久的将来”支持 C++11。我现在想使用 C++11 功能针对这个库编写代码，这样当他们使他们的库与 C++11 兼容时，我就不必再次返回并“现代化”代码。 Clang 的 C++11 扩展似乎非常适合此目的，但我不确定我可以使用什么。 Clang 的 C++11 扩展是否记录在某处？

Answer 1

您可以在这里使用两个“功能测试”宏：

__has_feature 和 __has_extension

这些类似函数的宏采用单个标识符参数，即功能名称。 __has_feature 如果该功能同时受 Clang 支持并在当前语言标准中标准化，则评估为 1，否则为 0，而 __has_extension 如果当前语言中的 Clang 支持该功能（作为语言扩展），则评估为 1或标准语言功能），否则为 0。

这些宏和标识符记录在这里：

http://clang.llvm.org/docs/LanguageExtensions.html

在您的具体示例中，以下 HelloWorld 提供的信息最多：

#if __has_extension(cxx_generalized_initializers)
#warning __has_extension(cxx_generalized_initializers) is true
#else
#warning __has_extension(cxx_generalized_initializers) is false
#endif

#if __has_feature(cxx_generalized_initializers)
#warning __has_feature(cxx_generalized_initializers) is true
#else
#warning __has_feature(cxx_generalized_initializers) is false
#endif

#if __has_extension(cxx_range_for)
#warning __has_extension(cxx_range_for) is true
#else
#warning __has_extension(cxx_range_for) is false
#endif

#if __has_feature(cxx_range_for)
#warning __has_feature(cxx_range_for) is true
#else
#warning __has_feature(cxx_range_for) is false
#endif

int main()
{
}

对我来说，使用 -std=c++03 它会输出：

test.cpp:4:2: warning: __has_extension(cxx_generalized_initializers) is false [-W#warnings]
#warning __has_extension(cxx_generalized_initializers) is false
 ^
test.cpp:10:2: warning: __has_feature(cxx_generalized_initializers) is false [-W#warnings]
#warning __has_feature(cxx_generalized_initializers) is false
 ^
test.cpp:14:2: warning: __has_extension(cxx_range_for) is true [-W#warnings]
#warning __has_extension(cxx_range_for) is true
 ^
test.cpp:22:2: warning: __has_feature(cxx_range_for) is false [-W#warnings]
#warning __has_feature(cxx_range_for) is false
 ^
4 warnings generated.

而使用 -std=c++11 时，输出变为：

test.cpp:2:2: warning: __has_extension(cxx_generalized_initializers) is true [-W#warnings]
#warning __has_extension(cxx_generalized_initializers) is true
 ^
test.cpp:8:2: warning: __has_feature(cxx_generalized_initializers) is true [-W#warnings]
#warning __has_feature(cxx_generalized_initializers) is true
 ^
test.cpp:14:2: warning: __has_extension(cxx_range_for) is true [-W#warnings]
#warning __has_extension(cxx_range_for) is true
 ^
test.cpp:20:2: warning: __has_feature(cxx_range_for) is true [-W#warnings]
#warning __has_feature(cxx_range_for) is true
 ^
4 warnings generated.

对于您的用例，您可以在代码中加上 __has_extension(cxx_generalized_initializers)，并在为 true 时使用新功能，否则在 false 时解决它。然后，您的代码将在您升级 clang 或使用的语言模式更改时自动适应。

至于支持哪些语言功能，哪些不支持，文档可能会有所帮助，但我发现编写上述测试是评估我当前的 clang 版本的最快和最准确的方法。