c++ - 为什么std::optional 使用两个字节？

Question

如果C++允许bool使用任何位，那么是什么阻止C++优化std::optional使用1个字节并使用两位来表示has_value和value()呢？当然，我们会使用口罩，但是在现代处理器中，它不会损害性能。

Answer 1

This:

constexpr const T& operator*() const&;
constexpr T& operator*() &;
constexpr T&& operator*() &&;

使您想要的一切变得不可能。 operator*需要返回对保留对象的引用。