让我先说我已经阅读了一些关于 move 语义的问题。这个问题不是关于如何使用 move 语义，而是问它的目的是什么——如果我没记错的话，我不明白为什么需要 move 语义。
我正在实现一个重型类，就这个问题而言，它看起来像这样:
class B;
class A
{
private:
std::array<B, 1000> b;
public:
// ...
}
当需要进行 move 赋值运算符时，我意识到我可以通过更改 b 来显着优化流程。成员(member) std::array<B, 1000> *b; - 那么 move 可能只是删除和指针交换。
这使我想到了以下想法:现在，不应该所有非原始类型成员都是加速 move 的指针(在[1] [2]下方更正)(有一个案例用于不应该动态分配内存的情况，但在这些情况下优化 move 不是问题，因为没有办法这样做)？
这就是我有以下认识的地方 - 为什么要创建一个类 A它实际上只包含一个指针b所以当我可以简单地创建一个指向整个 A 的指针时，以后交换会更容易。类本身。显然，如果客户端期望 move 比复制快得多，客户端应该可以接受动态内存分配。但是在这种情况下，为什么客户端不只是动态分配整个A？上课？
客户端不能利用指针来完成 move 语义给我们的所有操作吗？如果是这样，那么 move 语义的目的是什么？
move 语义:
std::string f()
{
std::string s("some long string");
return s;
}
int main()
{
// super-fast pointer swap!
std::string a = f();
return 0;
}
指针:
std::string *f()
{
std::string *s = new std::string("some long string");
return s;
}
int main()
{
// still super-fast pointer swap!
std::string *a = f();
delete a;
return 0;
}
这是大家都说非常棒的强大任务:
template<typename T>
T& strong_assign(T *&t1, T *&t2)
{
delete t1;
// super-fast pointer swap!
t1 = t2;
t2 = nullptr;
return *t1;
}
#define rvalue_strong_assign(a, b) (auto ___##b = b, strong_assign(a, &___##b))
很好——这两个例子中的后者都可能被认为是“糟糕的风格”——不管这意味着什么——但是双&符号真的值得所有的麻烦吗？如果在 delete a 之前可能会抛出异常被调用，这仍然不是一个真正的问题 - 只是做一个守卫或使用 unique_ptr .
编辑 [1] 我刚刚意识到这对于诸如 std::vector 之类的类是不必要的它本身使用动态内存分配并具有有效的 move 方法。这只是使我的想法无效 - 下面的问题仍然存在。
编辑 [2] 正如下面评论和答案中的讨论所述，这一点几乎没有实际意义。应该尽可能地使用值语义来避免分配开销，因为如果需要，客户端总是可以将整个东西 move 到堆中。
最佳答案
我非常喜欢所有的答案和评论!我同意所有这些。我只是想再坚持一个还没有人提到的动机。这来自 N1377 :
Move semantics is mostly about performance optimization: the ability to move an expensive object from one address in memory to another, while pilfering resources of the source in order to construct the target with minimum expense.
Move semantics already exists in the current language and library to a certain extent:
- copy constructor elision in some contexts
- auto_ptr "copy"
- list::splice
- swap on containers
All of these operations involve transferring resources from one object (location) to another (at least conceptually). What is lacking is uniform syntax and semantics to enable generic code to move arbitrary objects (just as generic code today can copy arbitrary objects). There are several places in the standard library that would greatly benefit from the ability to move objects instead of copy them (to be discussed in depth below).
即在 通用 代码中，例如 vector::erase ，需要一个单一的统一语法来 move 值来堵住被删除值留下的漏洞。一个不能用swap因为当 value_type是 int .并且不能使用复制分配，因为在 value_type 时会太昂贵。是 A (OP 的 A )。嗯，一个可以使用复制赋值，毕竟我们在 C++98/03 中做过，但它的成本高得离谱。
shouldn't all non-primitive type members be pointers to speed up movement
如果成员类型为 complex<double>，这将非常昂贵。 .还不如给它上色Java。
关于c++ - 为什么要有 move 语义？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/20305607/
类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc
我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co
我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%
我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i
为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
它不等于主线程的binding，这个toplevel作用域是什么？此作用域与主线程中的binding有何不同？>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是，TOPLEVEL_BINDING始终引用Binding的预定义全局实例，而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层，它们都包含相同的绑定(bind)，但它们不是同一个对象，您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput
我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串
如果您尝试在Ruby中的nil对象上调用方法，则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而，有一个tryRails中的方法，如果它被发送到一个nil对象，它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常？ 最佳答案 像Ruby中的所有其他对象
关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串？SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复？