jjzjj

c++ - 为包含 union 的结构定义 `swap` 方法；怎么做？

coder 2024-02-21 原文

我正在调整一些 C++03 代码以利用 C++11 的新可能性，特别是以 C++11 的方式引入移动语义。但是我遇到了一个 struct ，这让我很头疼，因为它包含一个匿名 union 。它具有全局形式

struct tree
{ // data of |tree|
  enum {tag0,tag1, tag2, ... } kind;
  union
  { type1 field1;
    type2 field2;
    ...
  };

  // constructors
  tree () : kind(tag0) {} // default, empty state
  tree (const& type1 x) : kind(tag1), field1(x) {} // variant 1
  tree (const& type2 x) : kind(tag2), field2(x) {} // variant 2
  ...
  ~tree(); // recursively clean up any branches

  // other methods of |tree|
  ...
}; // |struct tree|

当然还有更有意义的名字，但不是这里的重点。该结构代表一种解析树，一种可以在每个节点以不同方式分支的多重递归结构，因此使用了union。许多成员类型实际上包含指向另一棵树的指针；目前它们是由包含的树管理的原始指针(主要是因为 C++03 不允许 union 中除 POD 类型外的任何类型)，但现在 C++11 不再有这样的指针限制，我当然打算用更结构化的值(使用智能指针)替换它们。

(请不要开始说教我一开始就不应该使用 union ；我认为这实际上是解决手头问题的一种比基于多态性的解决方案更自然的解决方案，并且在任何情况下都有足够多的代码使用它，我不想从根本上改变方法。)

代码实际上已经以 set_from 的形式定义了一种有限形式的移动语义(为了避免在自下而上构建树时必须一直进行深度复制)方法将复制到默认构造的(如此空)树结构中，顶层来自另一个通过引用传递的此类结构(使用开关复制 union 的适当事件)。在此之后，它在另一个中设置 kind=tag0 以防止与拷贝共享任何分支。将此方法转换为移动构造函数 C++11 风格并不难。

不过，如果还有一个移动赋值运算符可能会更好。我想使用 copy-and-swap idiom这需要我写一个交换操作。与 this question 中的建议不同，我认为使用 std::swap 是不可能的，因为这将对我试图定义的 tree 使用移动赋值运算符；鸡生蛋还是蛋生鸡的局面。所以我还是自己写点东西吧。

困难在于，由于两个节点是不同的变体，因此不存在在字段上调用 ​​swap 的问题。仅复制或交换两个节点的并集组件是无法完成的，因为 (1) 并集组件本身不知道哪个变体是事件的，并且 (2) 并集是匿名的，所以我什至无法声明此类操作。必须在 tree 结构的级别定义交换。基于 memcpy 的解决方案目前是可行的，尽管它很丑陋，但一旦 union 字段不再是 POD 类型，它甚至不可能实现。

所以我有点没有好主意。我可以想到一个解决方案，对两个节点的事件变体进行两级切换，但我对这种前景并不感到兴奋。想到的另一件事是交换角色，并直接定义移动分配(这与移动构造没有太大区别，尽管它需要在销毁任何后代时将目标设置为默认状态，就像在调用析构函数时一样，在源中移动之前)，然后使用临时的一次移动构造和两次移动分配以传统方式实现交换。具有讽刺意味的是，在这个解决方案中，移动分配进入的节点保证是空变体，但移动分配无论如何都必须处理更一般的情况。我不确定此解决方案是否具有强大的异常安全性。

有没有我忽略的更简单的解决方案？

最佳答案

所以不要使用 copy-and-swap 来进行移动分配。 set_from by rights 应该是 nothrow，因为它的全部意义在于避免分配资源。我假设它不会被抛出或可以被抛出。

如果您还没有 clear() 函数，那么使用从析构函数(释放资源)或 set_from(将源进入清晰或清晰状态)并提供强大的异常保证。然后这个移动分配提供了强大的异常保证:

tree &operator=(tree &&other) {
    clear();
    set_from(other);
    return *this;
}

你需要移动构造和赋值都让 other 处于可以调用 set_from 的状态，所以要么确保这一点，要么做一些额外的事情在调用 set_from 后工作。 other.clear() 应该这样做，但可能有点矫枉过正。

其他一切都很好。 std::swap 将在您进行有效的移动构造和分配后立即运行，但可能略低于最佳状态。你也许可以改进它，因为你知道(正如你已经确定的那样)std::swap 使用的移动目标不需要被清除，因为它们刚刚被移动-从他们自己和你的移动实现中，他们已经清楚了。

您可能还想优化 kind == other.kind 的情况，因此所需要的只是相关字段的 swap。

关于c++ - 为包含 union 的结构定义 `swap` 方法；怎么做？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24477334/

ampunioncode的treec++c++11swapunions

有关c++ - 为包含 union 的结构定义 `swap` 方法；怎么做？的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. 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

  4. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  5. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

  6. Ruby 方法() 方法 - 2

    我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索，但这不是我需要的。我也看过ruby​​-doc.org，但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗？更新我用methods()方法做了实验，得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

  7. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar

  8. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  9. ruby - Highline 询问方法不会使用同一行 - 2

    设置:狂欢ruby1.9.2高线(1.6.13)描述:我已经相当习惯在其他一些项目中使用highline，但已经有几个月没有使用它了。现在，在Ruby1.9.2上全新安装时，它似乎不允许在同一行回答提示。所以以前我会看到类似的东西:require"highline/import"ask"Whatisyourfavoritecolor?"并得到:Whatisyourfavoritecolor?|现在我看到类似的东西:Whatisyourfavoritecolor?|竖线(|)符号是我的终端光标。知道为什么会发生这种变化吗？ 最佳答案

  10. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

随机推荐