- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
本题(代码如下)std::async and object copy让我开始考虑复制/move 繁重的库实现。例如,这个制作 5 个拷贝。对策可能很棘手,例如在异步的情况下,通过引用而不是值传递可能会导致并发问题。 move 构造函数也不总是便宜的。
我的问题是,像找到一种通过引用传递的方法这样的对策真的能解决一个不存在的问题吗?我假设大多数(如果不是全部)库函数最终都会被内联,它们通常只有一两行代码。我当然仍然在输出中得到五个“delete obj”,因为编译器必须遵循 as if 规则。如果我要通过不打印来消除析构函数的副作用,那么 as if 规则是否会更进一步并最终在发布版本中只有一个拷贝/move ?
在编写 move 构造函数时,我是否应该注意一些事情,以免混淆编译器或无意中引入副作用并阻止其优化?
class obj {
public:
int val;
obj(int a) : val(a) {
cout << "new obj" << endl;
}
~obj() {
cout << "delete obj" << endl;
}
};
void foo(obj a) {
this_thread::sleep_for(chrono::milliseconds(500));
cout << a.val << endl;
}
int main(int argc, int **args) {
obj a(5);
auto future = async(foo, a);
future.wait();
return 0;
}
最佳答案
Does counting moves cause a Heisenberg effect?
不,不是真的。如果您的意思是对事件的观察会改变事件本身,我认为在这种情况下这是一个错误的比喻。
风险在于您的观察会错过事件,就好像您从未写过这些副作用一样。虽然,一般,编译器应根据“as if”规则 (1.9/1) 考虑副作用,但在一些重要情况下,“as if”规则确实 strong>不适用:这种情况是编译器可以执行临时对象的复制/move 省略。
在 C++11 标准的第 12.8/31 段中精确描述了允许这样做的情况:
When certain criteria are met, an implementation is allowed to omit the copy/move construction of a class object, even if the copy/move constructor and/or destructor for the object have side effects. In such cases, the implementation treats the source and target of the omitted copy/move operation as simply two different ways of referring to the same object, and the destruction of that object occurs at the later of the times when the two objects would have been destroyed without the optimization. This elision of copy/move operations, called copy elision, is permitted in the following circumstances (which may be combined to eliminate multiple copies): [...]
然后该段继续列举具体情况是什么。这与回答问题无关,所以我省略了它们。你可以去看看。
重要的一点是您的副作用可能会被跳过。如果 std::async()
的实现执行了一些复制或 move ,这取决于它是如何完成的,编译器可能会忽略它们,即使你在那里有一些打印输出,或者更一般地说,即使您有一些副作用。
因此,您不应依赖复制构造函数、 move 构造函数或析构函数中的副作用作为计算函数内执行了多少复制或 move 的可移植方式:不同的编译器,不同的优化级别,当然,该函数的不同实现可能会产生不同的结果。
关于c++ - 计算 Action 会导致海森堡效应吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15040511/
尝试使用集成到 QTCreator 的表单编辑器,但即使我将插件放入 QtCreator.app/Contents/MacOS/designer 也不会显示。不过,相同的 dylib 文件确实适用于独
在此代码示例中。 “this.method2();”之后会读到什么?在返回returnedValue之前会跳转到method2()吗? public int method1(int returnedV
我的项目有通过gradle配置的依赖项。我想添加以下依赖项: compile group: 'org.restlet.jse', name: 'org.restlet.ext.apispark', v
我将把我们基于 Windows 的客户管理软件移植到基于 Web 的软件。我发现 polymer 可能是一种选择。 但是,对于我们的使用,我们找不到 polymer 组件具有表格 View 、下拉菜单
我的项目文件夹 Project 中有一个文件夹,比如 ED 文件夹,当我在 Eclipse 中指定在哪里查找我写入的文件时 File file = new File("ED/text.txt"); e
这是奇怪的事情,这个有效: $('#box').css({"backgroundPosition": "0px 250px"}); 但这不起作用,它只是不改变位置: $('#box').animate
这个问题在这里已经有了答案: Why does OR 0 round numbers in Javascript? (3 个答案) 关闭 5 年前。 Mozilla JavaScript Guide
这个问题在这里已经有了答案: Is the function strcmpi in the C standard libary of ISO? (3 个答案) 关闭 8 年前。 我有一个问题,为什么
我目前使用的是共享主机方案,我不确定它使用的是哪个版本的 MySQL,但它似乎不支持 DATETIMEOFFSET 类型。 是否存在支持 DATETIMEOFFSET 的 MySQL 版本?或者有计划
研究 Seam 3,我发现 Seam Solder 允许将 @Named 注释应用于包 - 在这种情况下,该包中的所有 bean 都将自动命名,就好像它们符合条件一样@Named 他们自己。我没有看到
我知道 .append 偶尔会增加数组的容量并形成数组的新副本,但 .removeLast 会逆转这种情况并减少容量通过复制到一个新的更小的数组来改变数组? 最佳答案 否(或者至少如果是,则它是一个错
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
noexcept 函数说明符是否旨在 boost 性能,因为生成的对象中可能没有记录异常的代码,因此应尽可能将其添加到函数声明和定义中?我首先想到了可调用对象的包装器,其中 noexcept 可能会产
我正在使用 Angularjs 1.3.7,刚刚发现 Promise.all 在成功响应后不会更新 angularjs View ,而 $q.all 会。由于 Promises 包含在 native
我最近发现了这段JavaScript代码: Math.random() * 0x1000000 10.12345 10.12345 >> 0 10 > 10.12345 >>> 0 10 我使用
我正在编写一个玩具(物理)矢量库,并且遇到了 GHC 坚持认为函数应该具有 Integer 的问题。是他们的类型。我希望向量乘以向量以及标量(仅使用 * ),虽然这可以通过仅使用 Vector 来实现
PHP 的 mail() 函数发送邮件正常,但 Swiftmailer 的 Swift_MailTransport 不起作用! 这有效: mail('user@example.com', 'test
我尝试通过 php 脚本转储我的数据,但没有命令行。所以我用 this script 创建了我的 .sql 文件然后我尝试使用我的脚本: $link = mysql_connect($host, $u
使用 python 2.6.4 中的 sqlite3 标准库,以下查询在 sqlite3 命令行上运行良好: select segmentid, node_t, start, number,title
我最近发现了这段JavaScript代码: Math.random() * 0x1000000 10.12345 10.12345 >> 0 10 > 10.12345 >>> 0 10 我使用
我是一名优秀的程序员,十分优秀!