PROSAGA码农传奇-C/C++-尝试阻塞影响封闭范围中的变量

尝试阻塞影响封闭范围中的变量

作者: 阿政ღ
发布时间: 2025-07-16 08:53:47 (4月前)
转自：

<div class =“post-text”itemprop =“text”>
  
    这似乎是GCC实施复制省略的一个错误。 C ++标准说明如下：
  
  <BLOCKQUOTE>
    
      的
        [class.copy.elision]
      </强>
       （强调我的）
    
    
      复制/移动操作的省略，称为复制省略，是
  在下列情况下允许（可以合并到
  消除多份副本）：
    
    <UL>
      <LI>
        在throw-expression中，当操作数是非易失性自动对象的名称时（函数或catch子句除外）
  参数）
        的
          其范围不超出范围
  最里面的封闭try-block（如果有的话）
        </强>
        ，复制/移动
  从操作数到异常对象的操作可以省略
  将自动对象直接构造到异常对象中
      </LI>
    </UL>
    
      在以下复制初始化上下文中，可能会执行移动操作
  用来代替复制操作：
    
    <UL>
      <LI>
        如果throw-expression的操作数是非易失性自动对象的名称（函数或catch子句参数除外）
  
        的
          其范围不会超出最内层封闭try-block的末尾（如果有的话）
        </强>
        ，
      </LI>
    </UL>
  </BLOCKQUOTE>
  
    这是一系列优化，允许避免或尽可能有效地完成异常对象的复制初始化。现在，常见的实现
     <code>
 std::string
 </code>
     移动构造是将源字符串留空。这似乎正是您的代码所发生的事情。该
     <code>
 temp
 </code>
     在外部范围内移动（并留空）。
  
  
    但这不是预期的行为。的范围
     <code>
 temp
 </code>
     你扔了
    
      超过
    
     （到目前为止）它被抛入的尝试块。所以GCC没有业务应用复制省略。
  
  
    一个可能的解决方法是放置声明
     <code>
 temp
 </code>
     在 - 的里面
     <code>
 while
 </code>
     环。这初始化了一个新的
     <code>
 std::string
 </code>
     对象每次迭代，所以即使
     <code>
 GCC
 </code>
     从它移动，它不会引人注目。
  
  
    评论中提到了另一种解决方法，即制作外部
     <code>
 temp
 </code>
     一个const对象。这将强制复制（因为移动操作需要非const源对象）。
  
</DIV>