问题

我在编译器资源管理器上对std::optional进行了一些测试，令我惊讶的是，它的行为似乎像一个指针，尽管标准(§23.6.3)中规定它应该包含它：

不允许实现使用额外的存储(如动态内存)来分配其包含的值。

测试

我测试的完整代码在这个编译器资源管理器工作表上，尽管我不知道它还有多少时间。这就是为什么我将在这里描述我所做的测试。

我在测试什么

我正在做两个测试，每个测试都有一个功能：

• 检查值是否存在
• 检查值是否存在，如果存在则检索，否则检索67780

我使用-O2minimum和--std=c++17作为gcc 7.2和clang 5.0.0的编译器标志，用于x86_64目标。这里复制的结果来自clang。

使用std::optional

检查

代码：

bool check(const std::optional<int> maybe_int) {
return maybe_int.has_value();
}

结果：

mov al, byte ptr [rdi + 4]
ret

一种间接方式。

正在检索

代码：

int retrieve(const std::optional<int> maybe_int) {
if(maybe_int.has_value())
return maybe_int.value();
else
return 67780;
}

结果：

cmp byte ptr [rdi + 4], 0
je .LBB1_1
mov eax, dword ptr [rdi]
ret
.LBB1_1:
mov eax, 67780
ret

一个用于检查，一个用于检索。

使用自定义类

班级

template<typename T>
class my_optional {
private:
T val;
bool has_val;
public:
/* Constuctors ... */
bool has_value() const {
return has_val;
}
decltype(auto) value() const {
return val;
}
};

检查

代码：

bool check(const my_optional<int> maybe_int) {
return maybe_int.has_value();
}

结果：

shr rdi, 32
test dil, dil
setne al
ret

无间接性。

正在检索

代码：

int retrieve(const my_optional<int> maybe_int) {
if(maybe_int.has_value())
return maybe_int.value();
else
return 67780;
}

结果：

movabs rax, 1095216660480
test rdi, rax
mov eax, 67780
cmovne eax, edi
ret

虽然我不知道这是怎么回事，但它没有任何间接含义。

问题

标题或">我的测试出了什么问题？">