为什么std::optional<int>的构建比std::pair<int，bool>更昂贵？
为什么std::optional<int>的构建比std::pair<int，bool>更昂贵？
提问于 2017-10-03 19:55:05
考虑这两种可以表示“可选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页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/46544019
复制相关文章
相似问题