未定义模板的隐式实例化：Boost Bug 还是 Clang Bug？

Question

我试图编译一些使用 Boost (1.49) 的代码，以及来自主干的 Clang(& libc++)。 有问题的代码归结为以下几点：

#include <memory>
#include <boost/signals2.hpp>

int main()
{
    std::shared_ptr<int> s;
}

使用 Clang 编译时，会发出以下消息：

$ clang++ -I/home/alexander/usr/local/include --stdlib=libc++ -std=c++0x signals2-bug.cpp   -o signals2-bug
signals2-bug.cpp:6:26: error: implicit instantiation of undefined template
      'std::shared_ptr<int>'
    std::shared_ptr<int> s;
                         ^
/home/alexander/usr/local/include/boost/signals2/detail/foreign_ptr.hpp:24:30: note: 
      template is declared here
  template<typename T> class shared_ptr;
                         ^

boost/signals2/detail/foreign_ptr.hpp 中有问题的行是：

#if !defined(BOOST_INTEL_STDCXX0X)
namespace std
{
  template<typename T> class shared_ptr;
  template<typename T> class weak_ptr;
}
#endif

现在该怪谁？

想到两件事：

1. 为什么 Boost.Signals 标头感觉需要声明自己的 shared_ptr？有什么收获？
2. Boost.Signals 中的行看起来像一个简单的前向声明。如果它出现在模板定义之后，为什么会有问题？

编辑

这似乎是一个 Boost.Signals2 错误，因为根据 ISO/IEC C++ 2011 标准第 17.6.4.2.1 节，在 std:: 命名空间中声明事物会导致未定义的行为：

如果 C++ 程序添加声明或 定义到命名空间 std 或命名空间 std 内的命名空间 除非另有规定。程序可以添加模板 专业化 仅当声明依赖于用户定义的类型时，任何标准库模板才能命名空间 std 并且专业化满足原始模板的标准库要求并且没有明确 禁止。

已在 Boost 错误跟踪器中创建票证：https://svn.boost.org/trac/boost/ticket/6655

请注意，此处也存在 Clang 错误：http://llvm.org/bugs/show_bug.cgi?id=10521，但实施者指出违规。

Google 员工的跟进：

问题确实是一个 Boost 错误。这个changeset 77289 应该可以解决 Boost 1.50 的问题。 Clang 中对应的 Bug 被标记为无效。

Answer 1

foreign_ptr.hpp 中的代码是重新声明（如果 shared_ptr 已经定义），因此不太可能导致问题（向 std 添加声明在技术上是未定义的行为，但大多数编译器并不关心因为它们并没有真正区分标准库头文件和其他文件）。所以错误只能是shared_ptr实际上是未定义的。

现在libc++ 显然有一个定义shared_ptr，所以我只能怀疑某些 C++03 库以某种方式进入了包含路径，并且比 libc++ 更受欢迎。