默认情况下，clang 中是否有一组已知的 `c++11` 功能不需要`-std=c++11`？

Question

clang (3.4) 似乎会自动接受一些 c++11（例如 auto，for(:)）而没有特殊标志（尽管会产生警告），但不接受其他部分（例如 lambdas).

例如以下编译clang++ c++11.success.cpp:

#include <vector>
int main( int argCount, char ** argVec )
{
    std::vector<int> vec;

    for( auto & item : vec )
    {
        ++item;
    }    

    return 0;
}

但这失败了clang++ c++11.failure.cpp:

#include <vector>
int main( int argCount, char ** argVec )
{
    std::vector<int> vec;
    auto lambda = [] ( int & foo ) { return ++foo; }; //This line fails at []

    for( auto & item : vec )
    {
        lambda( item );
    }

    return 0;
}

clang++ c++11.failure.cpp -std=c++11 当然成功了。

我找不到任何关于在没有-std=c++11 的情况下支持哪些c++11 功能以及原因的具体文档。有人知道吗？

Answer 1

Clang （与任何其他 C++ 编译器一样）有一些 language extensions（有一个 C++11 扩展列表，在 C++03 中可用）。这种扩展之一是基于范围的 for 循环。您可以通过#if __has_extension(cxx_range_for) ... 进行测试。无论如何它都会产生一个警告（如果你不使用-Wno-c++11-extensions 禁用它）。您可以使用以下方法测试这些功能：

#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

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

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

int main()
{
        return 0;
}

奇怪的是，这警告说，类型推断扩展和功能已关闭，但它有效地编译了自动指针（我猜，这是因为 auto 作为存储类说明符的旧含义）：

main.cpp:2:2: warning: __has_extension(cxx_range_for) is true [-W#warnings]
#warning __has_extension(cxx_range_for) is true
 ^
main.cpp:10:2: warning: __has_feature(cxx_range_for) is false [-W#warnings]
#warning __has_feature(cxx_range_for) is false
 ^
main.cpp:16:2: warning: __has_extension(cxx_auto_type) is false [-W#warnings]
#warning __has_extension(cxx_auto_type) is false
 ^
main.cpp:22:2: warning: __has_feature(cxx_auto_type) is false [-W#warnings]
#warning __has_feature(cxx_auto_type) is false
 ^

要完全符合标准，您应该通过启用-Werror 将警告视为错误。