草庐IT

nothrow_move_constructible

全部标签

c++ - move 哪个 throw ?

据我了解,move构造函数和move赋值必须标记为noexcept,以便编译器在例如在vector内部重新分配时使用它们。但是,是否存在move分配、move构造可能实际抛出的真实案例?更新:例如,在构造时具有分配资源的类不能是不可抛出的。 最佳答案 However,isthereanyreal-worldcasewhereamove-assign,move-construct(orswap)mightactuallythrow?是的。考虑std::list的实现.end迭代器必须指向列表中的“最后一个元素”。存在std::list

c++ - 为什么使用单个赋值运算符处理复制和 move 赋值效率不高?

这是C++Primer第5版中的一个练习:Exercise13.53:Asamatteroflow-levelefficiency,theHasPtrassignmentoperatorisnotideal.Explainwhy.Implementacopy-assignmentandmove-assignmentoperatorforHasPtrandcomparetheoperationsexecutedinyournewmove-assignmentoperatorversusthecopy-and-swapversion.(P.544)文件hasptr.h://!aclassh

c++ - std::move 的未定义行为

来自movepage的cppreferenceUnlessotherwisespecified,allstandardlibraryobjectsthathavebeenmovedfromareplacedinavalidbutunspecifiedstate.Thatis,onlythefunctionswithoutpreconditions,suchastheassignmentoperator,canbesafelyusedontheobjectafteritwasmovedfrom因此,从同一页面上的示例来看,下面的代码被认为是未定义的行为vectorv_string;str

c++ - 为什么从初始化列表中初始化 vector 时不使用 move 构造(通过隐式构造函数)

为了演示move语义,我编写了以下示例代码,其中包含来自int的隐式构造函数。structC{inti_=0;C(){}C(inti):i_(i){}C(constC&other):i_(other.i_){std::cout和autovec2=std::vector{1,2,3,4,5};cout有输出Acopyconstructionwasmade.1Acopyconstructionwasmade.2Acopyconstructionwasmade.3Acopyconstructionwasmade.4Acopyconstructionwasmade.5reversingAmov

c++ - 是否值得添加一个支持 move 的二传手?

这篇文章有点啰嗦,所以在开始之前我想弄清楚我要问的是什么:您是否已将启用move的setter添加到您的代码中并且您是否发现它值得付出努力?我发现的预期行为中有多少可能是特定于编译器的?我在这里关注的是在我设置复杂类型的属性的情况下是否值得添加启用move的setter函数。在这里,我有启用move的Bar和Foo,它有一个可以设置的Bar属性。classBar{public:Bar():_array(1000){}Bar(Barconst&other):_array(other._array){}Bar(Bar&&other):_array(std::move(other._arra

c++ - move std::thread

尝试制作简单的代码片段:std::threadthreadFoo;std::thread&&threadBar=std::thread(threadFunction);threadFoo=threadBar;//thread&operator=(thread&&other);expectedtobecalled出现错误:useofdeletedfunction'std::thread&std::thread::operator=(conststd::thread&)'我将threadBar明确定义为右值引用,而不是普通引用。为什么不调用预期的运算符(operator)?如何将一个线程m

c++ - 纯虚函数会阻止隐式生成的 move 构造函数吗?

#includestructtest{virtualvoidfoo()noexcept=0;};structtest2:test{voidfoo()noexceptoverridefinal{}};//failsstatic_assert(std::is_move_constructible::value,"testnotmoveconstructible");//succeedsstatic_assert(std::is_move_constructible::value,"test2notmoveconstructible");(Live)根据cppreference.com(据我

c++ - 为什么我不能 std::move std::unique_ptrs between std::sets?

我真的很想将一些unique_ptr从一个std::setmove到另一个:#include#include#includeintmain(){std::set>a;std::set>b;a.insert({0,std::unique_ptr(newint(42))});std::move(a.begin(),a.end(),std::inserter(b,b.end()));}但是,我在CentOS7上的GCC4.8.5显然不满意:[root@localhost~]#g++test.cpp-std=c++11-otestInfileincludedfrom/usr/include/c

c++ - 何时使用 move 构造函数/赋值

我搜索过但找不到“何时”使用它们的答案。我一直听说它很好,因为它为我节省了额外的拷贝。我到处把它放在我上过的每个类(class)中,但有些人似乎对某些类(class)没有意义:我已经阅读了无数关于LValues和RValues以及std::movevs.std::copyvs.memcpy的教程与memmove等。甚至阅读throw()但我也不确定何时使用它。我的代码如下:structPoint{intX,Y;Point();Point(intx,inty);~Point();//Allmyotheroperatorshere..};然后我有一个类数组(类似RAII的东西):class

c++ - 是否存在与 `std::move`相反的强制转换(或标准函数)

首先,这个问题不是Functiondualtostd::move?或Doestheinverseofstd::moveexist?的重复。我不是在问一种机制,以防止在原本会发生的情况下发生移动,而是进行复制;而是我要问的是一种机制,该机制使将要绑定(bind)到可修改的左值引用的位置中的右值被接受。实际上,这与发明了std::move的情况恰好相反(即,在要绑定(bind)到(可修改的)右值引用的位置中接受了可修改的左值)。在我感兴趣的情况下,将不会接受右值,因为上下文需要可修改的左值引用。由于某些原因,我不太了解,但我愿意接受,一个(可修改的)右值表达式将绑定(bind)到一个常量左