libc++ 中可能存在的错误？

Question

以下代码用clang 3.1编译不上，使用libc++（不知道版本，目前Xcode自带的）。它适用于其他标准库。我的代码是否有错误，或者这是 libc++ 中的错误？

#include <map>
#include <string>
using namespace std;

struct A {
  A(const map<int, A>& m) {}
};

struct B {
  map<string, A> m;
};

我看到的错误在<utility>：

/usr/lib/c++/v1/utility:241:64: No member named 'value' in 'std::__1::is_nothrow_copy_constructible<A>'

我试图进一步隔离它，但这是我发现的最小示例。有趣的是，当我在第二张地图中将string 替换为int 时它可以工作（当我在第一张地图中将int 替换为string 时）：

map<string, A> m; // Does not work
map<int, A> m; // Works

Answer 1

这并不完全是一个错误，我会向你解释原因：

1997 年，在 C++ 标准完成前不久，标准化委员会收到了一个疑问：是否可以创建类型不完整的标准容器？委员会花了一段时间才理解这个问题。这样的事情甚至意味着什么，你到底为什么想要这样做？委员会最终解决了这个问题并提出了这个问题的答案。 （这样您就不必跳到最后，答案是“否”。）但是这个问题比答案更有趣：它指向了一种有用的、没有充分讨论的编程技术。标准库不直接支持该技术，但可以使两者共存。

当您声明 const std::map<int, A>& 时，A 仍然不完整，并且标准不强制实现者为不完整类型提供支持，因此如果您确实需要它并且可以选择使用 boost，您可以更改您的容器并在不支持此功能的编译器中使用 boost::container 代替标准容器。