问为什么boost是可选的引用而不是T*的包装器？

EN

因为boost 1.61 optional在引用的情况下是优化的。

发行说明中提到：

sizeof(optional<T&>) == sizeof(T*)

因此，在这种情况下，它肯定是作为指针实现的。

可能是因为未初始化的boost::optional<T*>对象必须与使用NULL初始化的boost::optional<T*>不同，例如，此函数可以不返回值、NULL或非__NULL指针。

在这种情况下，你为什么不使用一个普通的指针，用NULL来表示没有值。使用boost::optional<>不需要在此基础上增加更多的复杂性。我的意思是，让事情变得更大或更复杂很容易，但很难让它们变得更好。

首先，boost::optional<T&>不是一个专业化认证。如果你看一下代码，你会发现它确实做了一些基于标签的分派来定制引用类型的行为，但是boost::optional_base<T>类模板本身并没有专门化。

然而，为什么没有实现这种空间优化仍然是一个合理的问题。可能是因为它不专业，所以这项工作就难得多，我不知道。

至于为什么你更喜欢optional<T&>而不是原始指针，这个问题是完全不同的，所以你可以单独问它。