- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
类型特征是否应该能够处理类似 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
的正确行为, 有没有办法检测复制结构是否格式错误?好吧,不仅仅是让它无法编译。
最佳答案
这是因为 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”测试的标准说法。
关于c++ - vector<unique_ptr> 上的 is_copy_constructible 误报,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27441802/
我进行了搜索以查看是否找到了解决此问题的方法,但没有找到答案。我遇到的问题是在我的代码编译时,我没有得到 intellisense 如果我收到一个参数(或声明一个变量),例如使用模板 T : uniq
我想在多态情况下将派生类 unique_ptr 的所有权转移到它的抽象基类 unique_ptr。怎么走? class Fruit { public: virtual void print()
unique_ptr> 之间有什么区别?和一个 list> ?威尔list>导致元素的内存也被自动管理? 最佳答案 说unique_ptr<>就像在说 *但具有自动删除的额外好处。 unique_pt
我第一次在我的项目中使用智能指针。在使用 unique_ptr 时,我对 unique_ptr 和原始指针组合有一些疑问。以及 unique_ptr 内部工作的方式。 有人可以根据我的理解解释/回答如
我创建了一个派生自 std::istream 的自定义 istream,当文件是压缩文件时使用自定义 streambuf,否则使用 std::filebuf。 #mystream.h class my
目前我正在尝试使用 std::unique_ptr,但我在 Visual Studio 2012 中遇到编译器错误。 class A { private: unique_ptr other; pub
我有以下三个代码片段来演示一个容易重现的问题。 using namespace boost::filesystem; using namespace std; int main() { pat
这个问题令人困惑,所以这里是我正在尝试做的事情的精简版: #include #include class A { }; class B : public A { public:
假设 class Owner 有 Member 成员,它还必须有一个指向它的 const 所有者的 const 指针。该指针在 Owner 的构造函数中提供给 member,该构造函数接受指向构成 m
下面的代码会抛出一个警告: 警告 C4239:使用了非标准扩展:“参数”:从“std::unique_ptr”到“std::unique_ptr &”的转换 std::unique_ptr foo()
这个问题在这里已经有了答案: Returning unique_ptr from functions (7 个答案) 关闭 8 年前。 我是 unique_ptr 的新手。一切都很顺利,直到我遇到一
如果 vector 不是 unique_ptr 或者如果我没有 vector 的 unique_ptr(并且不取消引用)它可以工作,但两者都会导致编译错误。我不确定发生了什么。 auto v = st
我正在尝试使用 unique_ptr到接受 unique_ptr 的函数中的派生类到基类。比如: class Base {}; class Derived : public Base {}; void
我是 C++ 和智能指针的新手,尤其是 unique_ptr 的行为。下面是我正在试验的一段代码: unique_ptr u1 = make_unique(2); unique_ptr u2 =
我类有这个成员: static std::unique_ptr[]> changestatecommands; 而且我找不到正确的方法来初始化它。我希望数组被初始化,但元素未初始化,所以我可以随时编写
我编写了以下使用 unique_ptr 的代码其中 unique_ptr预计 class Base { int i; public: Base( int i ) : i(i) {}
我有一个非常具体的需求,需要访问特定于派生类的功能,我在构建包含类时在 unique_ptr 中获得了该派生类的实例。然后,该包含类必须将其基类的 unique_ptr 上转型移动到包含类的基类构造函
有人可以建议如何使用自定义删除器从模板化唯一指针池返回唯一指针。 在下面的代码片段中,我使用 ObjectPool.h 作为我的模板类来获取一堆唯一指针。我正在使用 ObjectPool 在 DBCo
我在 std::vector> 中维护了一些对象池我将这个池中的对象传递给一个函数 void process(...) .我不清楚将这些对象之一传递给 process() 的最佳方式功能。如果我理解我
我用一个对象初始化了一个unique_ptr。因为我想将它的引用传递给函数并且不让函数更改对象内容,所以我必须传递 unique_ptr&给它。但是 gcc 5.4 不允许我初始化 unique_pt
我是一名优秀的程序员,十分优秀!