考虑这两种可以表示“可选int
”的方法:
using std_optional_int = std::optional<int>;
using my_optional_int = std::pair<int, bool>;
给定这两个函数..。
auto get_std_optional_int() -> std_optional_int
{
return {42};
}
auto get_my_optional() -> my_optional_int
{
return {42, true};
}
...both g++ trunk和clang++ trunk (带有-std=c++17 -Ofast -fno-exceptions -fno-rtti
__)会生成以下组件:
get_std_optional_int():
mov rax, rdi
mov DWORD PTR [rdi], 42
mov BYTE PTR [rdi+4], 1
ret
get_my_optional():
movabs rax, 4294967338 // == 0x 0000 0001 0000 002a
ret
为什么get_std_optional_int()
mov
需要三条mov
指令,而 get_my_optional()
只需要一条 QoI指令这是一个std::optional
问题,还是std::optional
的规范中有什么东西阻止了这种优化?
还请注意,无论如何,函数的用户可能都会被完全优化:
volatile int a = 0;
volatile int b = 0;
int main()
{
a = get_std_optional_int().value();
b = get_my_optional().first;
}
...results in:
main:
mov DWORD PTR a[rip], 42
xor eax, eax
mov DWORD PTR b[rip], 42
ret
https://stackoverflow.com/questions/46544019
复制相似问题