c++ - 优化编译器可以添加 std::move 吗？

coder 2023-05-03 原文

编译器能做吗自动左值到右值转换 如果它可以证明左值不会再次使用？这里有一个例子来阐明我的意思:

void Foo(vector<int> values) { ...}

void Bar() {
  vector<int> my_values {1, 2, 3};
  Foo(my_values);  // may the compiler pretend I used std::move here?
}

如果 std::move被添加到注释行，那么 vector 可以 move 到Foo的参数，而不是复制。但是，正如所写，我没有使用 std::move .

静态证明在注释行之后不会使用 my_values 非常容易。那么编译器允许 move vector ，还是需要复制它？

最佳答案

编译器需要表现得好像复制从 vector 到 Foo 的调用发生。

如果编译器可以证明存在有效的抽象机器行为且没有可观察到的副作用(在抽象机器行为中，而不是在真实计算机中!)，涉及将 std::vector move 到 Foo ，它可以做到这一点。

在你上面的例子中，这个( move 没有抽象机器可见的副作用)是正确的；然而，编译器可能无法证明这一点。

复制 std::vector<T> 时可能观察到的行为是:

对元素调用复制构造函数。使用 int 这样做无法观察到

在不同时间调用默认的 std::allocator<>。这调用了 ::new 和 ::delete (maybe1) 无论如何，上面程序中没有替换 ::new 和 ::delete，所以在标准下你不能观察到这一点。

在不同的对象上多次调用 T 的析构函数。无法观察到 int 。

vector 在调用 Foo 后非空。没有人检查它，所以它是空的就好像它不是一样。

外部 vector 元素的引用或指针或迭代器与内部元素不同。没有引用、 vector 或指针指向 Foo 之外的 vector 元素。

虽然您可能会说“但是如果系统内存不足，并且 vector 很大，那不是可以观察到的吗？”:

抽象机没有“内存不足”的情况，它只是由于非受限原因有时会失败(抛出 std::bad_alloc )。它不失败是抽象机器的有效行为，并且不因不分配(实际)内存(在实际计算机上)而失败也是有效的，只要内存不存在没有可观察到的副作用。

一个稍微多一点的玩具箱:

int main() {
  int* x = new int[std::size_t(-1)];
  delete[] x;
}

虽然这个程序显然分配了太多内存，但编译器可以自由地不分配任何东西。

我们可以走得更远。甚至:

int main() {
  int* x = new int[std::size_t(-1)];
  x[std::size_t(-2)] = 2;
  std::cout << x[std::size_t(-2)] << '\n';
  delete[] x;
}

可以变成 std::cout << 2 << '\n'; 。那个大缓冲区必须抽象地存在，但只要你的“真实”程序表现得像抽象机器一样，它实际上不必分配它。

不幸的是，以任何合理的规模这样做都很困难。从 C++ 程序中泄漏信息的方式有很多。所以依赖这样的优化(即使它们发生了)不会有好结果。

1 有一些关于将调用合并到 new 的内容可能会混淆这个问题，我不确定即使有替换的 ::new 跳过调用是否合法。

一个重要的事实是，在某些情况下，即使没有调用 std::move，编译器也不需要表现得像有拷贝一样。

当您从一个函数中的一个局部变量 return 看起来像 return X; 和 X 是标识符，并且该局部变量具有自动存储持续时间(在堆栈上)时，该操作是隐式 move ，并且编译器(如果它can) 可以将返回值和局部变量的存在省略为一个对象(甚至省略 move )。

当您从临时对象构造对象时也是如此——该操作隐式是一个 move (因为它绑定(bind)到一个右值)并且它可以完全消除 move 。

在这两种情况下，编译器都需要将其视为 move (而不是拷贝)，并且可以省略 move 。

std::vector<int> foo() {
  std::vector<int> x = {1,2,3,4};
  return x;
}

x 没有 std::move ，但它被 move 到返回值中，并且可以省略该操作( x 并且返回值可以变成一个对象)。

这个:

std::vector<int> foo() {
  std::vector<int> x = {1,2,3,4};
  return std::move(x);
}

阻止省略，就像这样:

std::vector<int> foo(std::vector<int> x) {
  return x;
}

我们甚至可以阻止 move :

std::vector<int> foo() {
  std::vector<int> x = {1,2,3,4};
  return (std::vector<int> const&)x;
}

甚至:

std::vector<int> foo() {
  std::vector<int> x = {1,2,3,4};
  return 0,x;
}

因为隐式 move 的规则是故意脆弱的。 ( 0,x 是备受诟病的 , 运算符的使用)。

现在，不建议依赖于在最后一个基于 , 的情况下不会发生的隐式 move :标准委员会已经将隐式复制案例更改为隐式 move ，因为隐式 move 被添加到语言中，因为他们认为无害(该函数返回类型为 A 的类型为 A(B&&) ctor，并且返回语句为 return b;，其中 b 的类型为 B ；在 C++11 版本中，它做了一个隐式的 move 扩展。)不能排除 move :显式转换为 const& 可能是现在和将来防止它发生的最可靠方法。

关于c++ - 优化编译器可以添加 std::move 吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36362905/

amp 43 code vector move c++c++11 optimization move-semantics rvalue

有关c++ - 优化编译器可以添加 std::move 吗？的更多相关文章

ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2
类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
ruby - 我需要将 Bundler 本身添加到 Gemfile 中吗？ - 2
当我使用Bundler时，是否需要在我的Gemfile中将其列为依赖项？毕竟，我的代码中有些地方需要它。例如，当我进行Bundler设置时:require"bundler/setup" 最佳答案没有。您可以尝试，但首先您必须用鞋带将自己抬离地面。关于ruby-我需要将Bundler本身添加到Gemfile中吗？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/4758609/
ruby - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2
使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？最佳答案你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta
ruby - 我可以使用 Ruby 从 CSV 中删除列吗？ - 2
查看Ruby的CSV库的文档，我非常确定这是可能且简单的。我只需要使用Ruby删除CSV文件的前三列，但我没有成功运行它。最佳答案 csv_table=CSV.read(file_path_in,:headers=>true)csv_table.delete("header_name")csv_table.to_csv#=>ThenewCSVinstringformat检查CSV::Table文档:http://ruby-doc.org/stdlib-1.9.2/libdoc/csv/rdoc/CSV/Table.html
ruby - 将 Bootstrap Less 添加到 Sinatra - 2
我有一个ModularSinatra应用程序，我正在尝试将Bootstrap添加到应用程序中。get'/bootstrap/application.css'doless:"bootstrap/bootstrap"end我在views/bootstrap中有所有less文件，包括bootstrap.less。我收到这个错误:Less::ParseErrorat/bootstrap/application.css'reset.less'wasn'tfound.Bootstrap.less的第一行是://CSSReset@import"reset.less";我尝试了所有不同的路径格式，但它
ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
ruby - 续集在添加关联时访问many_to_many连接表 - 2
我正在使用Sequel构建一个愿望list系统。我有一个wishlists和itemstable和一个items_wishlists连接表(该名称是续集选择的名称)。items_wishlists表还有一个用于facebookid的额外列(因此我可以存储opengraph操作)，这是一个NOTNULL列。我还有Wishlist和Item具有续集many_to_many关联的模型已建立。Wishlist类也有:selectmany_to_many关联的选项设置为select:[:items.*,:items_wishlists__facebook_action_id].有没有一种方法可以
ruby - 我可以使用 aws-sdk-ruby 在 AWS S3 上使用事务性文件删除/上传吗？ - 2
我发现ActiveRecord::Base.transaction在复杂方法中非常有效。我想知道是否可以在如下事务中从AWSS3上传/删除文件:S3Object.transactiondo#writeintofiles#raiseanexceptionend引发异常后，每个操作都应在S3上回滚。S3Object这可能吗？？最佳答案虽然S3API具有批量删除功能，但它不支持事务，因为每个删除操作都可以独立于其他操作成功/失败。该API不提供任何批量上传功能(通过PUT或POST)，因此每个上传操作都是通过一个独立的API调用完成的
ruby - 有人可以帮助解释类创建的 post_initialize 回调吗 (Sandi Metz) - 2
我正在阅读SandiMetz的POODR，并且遇到了一个我不太了解的编码原则。这是代码:classBicycleattr_reader:size,:chain,:tire_sizedefinitialize(args={})@size=args[:size]||1@chain=args[:chain]||2@tire_size=args[:tire_size]||3post_initialize(args)endendclassMountainBike此代码将为其各自的属性输出1,2,3,4,5。我不明白的是查找方法。当一辆山地自行车被实例化时，因为它没有自己的initialize方法
ruby - 是否可以覆盖 gemfile 进行本地开发？ - 2
我们的git存储库中目前有一个Gemfile。但是，有一个gem我只在我的环境中本地使用(我的团队不使用它)。为了使用它，我必须将它添加到我们的Gemfile中，但每次我checkout到我们的master/dev主分支时，由于与跟踪的gemfile冲突，我必须删除它。我想要的是类似Gemfile.local的东西，它将继承从Gemfile导入的gems，但也允许在那里导入新的gems以供使用只有我的机器。此文件将在.gitignore中被忽略。这可能吗？最佳答案设置BUNDLE_GEMFILE环境变量:BUNDLE_GEMFI

c++ - 优化编译器可以添加 std::move 吗？

有关c++ - 优化编译器可以添加 std::move 吗？的更多相关文章

随机推荐