仅 Clang：pair<path, path> 可以放置到向量中；一对<unique_ptr, unique_ptr>也可以；但不是对<path, unique_ptr>：为什么？

Question

我有以下三个 sn-ps 代码来演示一个易于重现的问题。

using namespace boost::filesystem;
using namespace std;

int main()
{

    path dummy_path;

    // Snippet 1
    // Two paths
    // Succeeds
    //
    // vector<pair<path, path>> myvec;
    // myvec.emplace_back(dummy_path, dummy_path);

    // Snippet 2
    // Two unique_ptr's
    // Succeeds
    //
    // vector<pair<unique_ptr<int>, unique_ptr<int>>> myvec;
    // myvec.emplace_back(unique_ptr<int>(new int(13)), unique_ptr<int>(new int(12)));

    // Snippet 3
    // A path and a unique_ptr.
    //
    // **FAILS** on Clang, succeeds in Visual Studio
    //
    vector<pair<path, unique_ptr<int>>> myvec;
    myvec.emplace_back(dummy_path, unique_ptr<int>(new int(12)));

}

这是 Clang 上的编译器错误：

error: call to implicitly-deleted copy constructor of 'std::__1::unique_ptr<int, std::__1::default_delete<int> >'（显然是指该对的第二个成员，unique_ptr）。

似乎由于某种原因，指示的失败案例导致调用该对的复制构造函数，而不是移动构造函数。

这是 OS X 10.8.5 上的 Clang 5.0.2。 （以及 VS 11.0.60610.01 Update 3 在 Windows 7 64 位上。）

在我的实际应用中，数据类型更复杂，但错误归结为这个问题中描述的错误。

我的问题是双重的：为什么指示的案例在 Clang 上失败，即使涵盖两种数据类型的其他两个案例成功了？

然而，也许更重要的是：我可以做些什么来解决这个问题？因为我的实际应用程序更复杂，所以我无法选择不执行 emplace（或类似的操作）将给定对放入向量中 - 但如果有任何其他方法可以解决这个 Clang 问题以将该对放入该向量中，我会非常高兴。

Answer 1

这是 libc++ 中的一个错误，抱歉。它已固定在树干顶端。我相信您可以通过在编译命令中添加以下内容来解决它：

-D_LIBCPP_TRIVIAL_PAIR_COPY_CTOR

Answer 2

问题来自 libc++ 标准库，因为它内部的 pair 构造函数要少得多。

即libstd++ 有以下构造函数：

template<class _U2, class = typename
       enable_if<is_convertible<_U2, _T2>::value>::type>
constexpr pair(const _T1& __x, _U2&& __y)
: first(__x), second(std::forward<_U2>(__y)) { }

它允许在 Linux 上编译您的示例（使用 clang++）。但是libc++只有：

pair(const pair&) = default;
pair(pair&&) = default;
constexpr pair();
pair(const T1& x, const T2& y);                          // constexpr in C++14
template <class U, class V> pair(U&& x, V&& y);          // constexpr in C++14
template <class U, class V> pair(const pair<U, V>& p);   // constexpr in C++14
template <class U, class V> pair(pair<U, V>&& p);        // constexpr in C++14
template <class... Args1, class... Args2>
    pair(piecewise_construct_t, tuple<Args1...> first_args,
         tuple<Args2...> second_args);

我猜，pair(const T1& x, const T2& y); 被应用是因为第一个参数是非右值引用。

---

“硬核”解决方案是手动将此构造函数放置在系统库中。 pair 在 utility 文件中定义。如果您希望能够在其他地方编译您的代码，您可以将修改后的 libc++ 捆绑到您的项目中 - 这没什么大不了的，真的。