如何强制 g++ 只编译 c++11 标准？

Question

std::vector<bool>::emplace_back 是 available 仅从 C++14 开始。但是，使用我的 g++ 5.4.0，即使我指定 -std=c++11，它也可以编译。

当我用 g++ 4.8.4 编译相同的代码时，它失败了。有没有办法说服 g++ 严格检查所选标准？

注意：我已经使用-pedantic -Wextra -Wall。

例如test.cpp:

#include <vector>

int main()
{
    std::vector<bool> v;
    v.emplace_back(true);
    return 0;
}

使用g++ -std=c++11 test.cpp -o test 编译。使用 g++ 5.4.0 编译正常，g++ 4.8.4 触发：

test.cpp: In function ‘int main()’:
test.cpp:6:7: error: ‘class std::vector<bool>’ has no member named ‘emplace_back’
    v.emplace_back(true);
      ^

Answer 1

这与 gcc 附带的 libstdc++ 有关。在libstdc++、bits/vector.tcc 中，您拥有std::vector<bool> 专业化

#if __cplusplus >= 201103L
template<typename _Tp, typename _Alloc>
template<typename... _Args>
// ... more stuff
vector<_Tp, _Alloc>::emplace_back(_Args&&... __args)

预处理器分支启用 C++11 的成员函数。在libc++（Llvm 项目中的标准库实现）中有所不同：

#if _LIBCPP_STD_VER > 11
template <class... _Args>
#if _LIBCPP_STD_VER > 14
_LIBCPP_INLINE_VISIBILITY reference emplace_back(_Args&&... __args)
#else
_LIBCPP_INLINE_VISIBILITY void      emplace_back(_Args&&... __args)
#endif

所以在这里，emplace_back 仅使用 C++11 以外的标准定义。您对此无能为力，但我看到了两种选择。

1. 要严格遵守C++11，不仅要使用g++编译，还要使用clang++编译。 clang 在 MacOS 上默认使用 libc++，在 Linux 上你可以传递一些标志来强制执行（否则，它使用 libstdc++），它确实抱怨 emplace_back 和 -std=c++11。然后使用clang 编译的结果来调整你的源代码，否则这些源代码是用gcc 编译的。

2. 使用gcc 编译，但告诉编译器使用libcxx。来自here，这也抱怨：

   g++ -std=c++11 -nostdinc++ -I /path/to/libcxx/include -nodefaultlibs \
       -lc++ -lc++abi -lm -lc -lgcc vecbool-emplace_back.cpp
   

我会选择选项 1，因为它也会以不同的方式强化您的程序，而不仅仅是标准合规性。另外，选项 2 很麻烦。