18

类型特征是否应该能够处理诸如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，有没有办法检测复制构造是否不正确？好吧，不仅仅是让它无法编译。

4

2 回答 2

18

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

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

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

除了比可以解决此问题的 SFINAE 技术更早的事实std::vector之外，使用 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 容器测试和特征并提取底层值类型并将问题分发给测试关于值类型。

但根据我的经验，我最终大多是在std::vector.

请注意，由于向量已经添加了“参与重载决议”规则，这是“做 SFINAE”测试的标准。

于 2013-08-23T14:26:29.623 回答
2

C++11 标准的表 49 列出了类必须满足的条件is_copy_constructable<T>::value才能为真，不幸的是，这并不多：

is_constructable<T, const T&>::value是true

因此，如果std::vector<T>有一个复制构造函数，它就会通过测试。

于 2013-08-23T13:50:39.387 回答