GCC对未打包派生结构体的返回值优化失效问题咨询

问题现象 #

同样是返回默认构造的对象，基类node的foo()函数能被GCC优化为直接返回零值，而继承自node的node2的foo2()函数却需要在栈上构造对象再拷贝，无法触发返回值优化。在GCC 14.2中，基类foo()的汇编还出现了无意义的位操作逻辑，同样不符合预期。

代码示例 #

struct node {
    node() = default;
    node(const node &) = default;
    node(node&&) = default;
    node& operator=(const node &) = default;
    node& operator = (node&&) = default;
    ~node() = default;

    node (int) {}

    void* a = nullptr;
    int b = 0;
};

struct node2 : node{} ;

auto foo () -> node {
    return {};
}

auto foo2 () -> node2 {
    return {};
}

汇编对比 #

GCC低版本（如12）下的汇编 #

foo():
        xor     eax, eax
        xor     edx, edx
        ret
foo2():
        mov     QWORD PTR [rsp-24], 0
        mov     rax, QWORD PTR [rsp-24]
        mov     DWORD PTR [rsp-16], 0
        mov     rdx, QWORD PTR [rsp-16]
        ret

GCC 14.2下foo()的汇编 #

foo():
        movabs  rsi, -4294967296
        xor     ecx, ecx
        xor     eax, eax
        and     rcx, rsi
        mov     rdx, rcx
        ret

问题原因 #

这是GCC的优化逻辑限制（或已知bug）：当派生类继承自带有用户自定义构造函数的基类时，编译器无法识别出返回默认构造的派生类对象可以直接零值返回，而是必须在栈上完成对象构造后再传递返回值。即使派生类的布局与基类完全一致、构造逻辑完全 trivial，GCC的优化器也不会对其应用与基类相同的直接返回优化。

GCC 14.2中基类的奇怪汇编则是编译器对指针初始化的过度对齐处理，属于优化逻辑的异常分支。

解决方案 #

以下是无需破坏内存对齐、适用于多数据结构场景的可行方案：

• 显式指定返回基类对象并转换
  修改foo2()的返回逻辑，直接返回基类的默认构造对象，利用派生类与基类的布局兼容性触发优化：

  auto foo2 () -> node2 {
      return node{};
  }
  

• 给派生类显式定义constexpr默认构造函数
  通过显式标记派生类的默认构造函数为constexpr，引导编译器识别其构造逻辑的 trivial 特性：

  struct node2 : node {
      constexpr node2() = default;
  };
  

• 升级到更新的GCC版本
  该优化问题在GCC的后续版本（如15+）中可能已被修复，升级编译器可直接解决问题。

• 调整编译选项
  尝试开启更高优化级别（如-O3），或添加-foptimize-sibling-calls等选项，强制编译器对返回值进行更激进的优化。

内容的提问来源于stack exchange，提问作者wjr