禁用一个函数的返回值优化

struct X {
  void * a;
  void * b;
};

X foo( void * u, void * v);

• foo() 在汇编器中实现 (i386)

• X 类型的返回值的地址作为隐藏参数传递给 foo()

• 如果使用 -O0 编译测试代码，则代码将按预期工作

• 如果使用 -O3 编译则发生分段错误（返回值被优化掉）
• 如果使用 -O3 -fno-elide-constructors 编译，代码将再次按预期工作

如何强制编译器仅为 foo() 添加 RVO（又名不强制 -fno-elide-constructors）？

Update1: 代码必须适用于任意编译器（至少 gcc 、clang、msvc）， 示例代码：

void * vp = bar();
X x = foo( vp, 0);
x = foo( x.a, 0);
x = foo( x.a, 0);

Update2: 问题是，编译器优化了 x 的实例

X x = foo( vp, 0);
x = foo( x.a, 0);
x = foo( x.a, 0)

or

X x1 = foo( vp, 0);
X x2 = foo( x1.a, 0);
X x3 = foo( x2.a, 0)

没关系。例如发生段错误是因为

X x2 = foo( x1.a, 0);

x1 被优化并且实现尝试访问第一个参数 ，这是一个空指针。

您也可以在 GCC 中设置单个函数的优化级别：

X foo(void *u, void *v) __attribute__((optimize("no-elide-constructors");

Optimize 属性用于指定要使用与命令行上指定的不同的优化选项来编译函数。参数可以是数字或字符串。假设数字是优化级别。以 O 开头的字符串被假定为优化选项，而其他选项则被假定与 -f 前缀一起使用。您还可以使用“#pragma GCC Optimize”编译指示来设置影响多个函数的优化选项。有关“#pragma GCC Optimize”编译指示的详细信息，请参阅功能特定选项编译指示。

例如，这可以用于使用更积极的优化选项来编译频繁执行的函数，从而生成更快和更大的代码，而可以使用不太积极的选项来编译其他函数。

https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html

您还可以尝试#pragma variant https://stackoverflow.com/a/2220565/416224:

#pragma GCC push_options
#pragma GCC optimize ("no-elide-constructors")

X foo(void *u, void *v);

#pragma GCC pop_options