C++中返回无成员空类与返回void是否等价？性能及汇编疑问

在现代编译器（GCC、Clang、MSVC等）的**优化构建（-O2/-O3级别）**下，返回无成员空类/结构体的函数和返回void的函数，无论是否inline，最终的汇编输出完全一致，性能没有任何差异。

核心原因 #

C++标准规定空类/结构体的大小为1字节（确保每个对象有唯一内存地址），但编译器在优化阶段会识别到这类类型没有实际数据成员：

• 返回空结构体的操作不会产生任何寄存器或内存读写操作，被直接优化消除。
• 对于仅头文件的inline代码，编译器会在编译期完全展开函数，空结构体的返回逻辑会被彻底剥离，和void函数的展开结果完全相同。

实际汇编验证 #

以你提供的代码为例，用GCC -O2编译后，main函数的汇编输出为：

main:
        xor     eax, eax
        ret

func1()和func2()的调用都被完全优化掉，因为它们没有任何副作用——无论返回void还是空结构体，最终都不会产生任何可执行指令。

非优化构建的情况 #

只有在关闭优化（-O0）的调试构建中，可能会看到细微的汇编差异（比如编译器为了符合标准生成空结构体的临时对象），但这种场景下的性能差异可以忽略，且生产环境几乎不会使用无优化构建。

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