c++ - vector<unique_ptr> 上的 is_copy_constructible 误报

Question

类型特征是否应该能够处理类似 std::vector < std::unique_ptr <int> > 的情况？并检测到它不是可复制构造的？

这是一个例子 https://ideone.com/gbcRUa (运行 g++ 4.8.1)

#include <type_traits>
#include <vector>
#include <iostream>
#include <memory>

int main()
{
    // This prints 1, implying that it's copy constructible, when it's clearly not
    std::cout << std::is_copy_constructible< std::vector<std::unique_ptr<int> > >::value << std::endl; 
    return 0;
}

如果这是 is_copy_constructible 的正确行为, 有没有办法检测复制结构是否格式错误？好吧，不仅仅是让它无法编译。

Answer 1

这是因为 std::vector 的设计缺陷. std::vector定义复制构造，即使它会编译失败，并且依赖于 std::vector 的用户如果编译失败则不调用该方法。

如果 vector 中包含的类型，另一种设计是 SFINAE 阻止对该方法的调用。没有复制构造函数。然而，std::vector是在现代 SFINAE 技术开发之前设计的。

它可能会被重新安装到 C++ 的新迭代中，因为几乎没有代码会被破坏。不能说没有代码会破坏，因为您可以拥有依赖于 std::is_copy_constructible< std::vector< no_copy_type > > 这一事实的代码。是std::true_type ，或等效的表达式，但这是一个非常奇怪的依赖关系。

除此之外 std::vector比可以解决此问题的 SFINAE 技术更老，使用 SFINAE 这样做非常困惑(因为 SFINAE 是一种困惑的技术)。为 C++1y 提出的新概念精简版可能会使它更清晰，并且更容易包含在该语言的新迭代中。

当我有一个容器需要知道是否可以安全地复制、比较和排序所包含的对象时，我的工作是专门针对 std::vector在自定义特征类上，并返回到包含类型的自定义特征类的值。这是一个拼凑的解决方案，而且非常具有侵入性。

template<template<typename>class test, typename T>
struct smart_test : test<T> {};
template<template<typename>class test, typename T, typename A>
struct smart_test<test, std::vector<T,A>> : smart_test<T> {};

这给了我们:

template<typename T>
using smart_is_copy_constructible = smart_test< std::is_copy_constructible, T >;

和< 类似和 == .当我遇到更多应该真正将它们的属性转发到它们的数据的容器类型时，我可以添加更多的特化，或者我可以编写一个更高级的 SFINAE 容器测试和特征并提取底层值类型并将问题分派(dispatch)给测试关于值类型。

但根据我的经验，我大多数情况下最终会在 std::vector 上进行这些测试.

注意自 c++11 vector 添加了“参与重载决议”规则，这是“做 SFINAE”测试的标准说法。