boost::optional 到 bool 的转换答案

【问题标题】：Conversion of boost::optional to boolboost::optional 到 bool 的转换
【发布时间】：2011-02-07 15:57:40
【问题描述】：

如何防止这段代码的最后一行被编译？

#include <boost/optional.hpp>

int main()
{
    typedef boost::optional<int> int_opt;
    int_opt opt = 0;
    bool x = opt;  // <- I do not want this to compile
}

最后一行没有检查 opt 包含的 int 值，而是编译为类型转换为 bool，这似乎不是用户想要的。

安全的布尔成语似乎在这里相关？

【问题讨论】：

你是什么意思类似？用英语描述你想要什么。该代码显然没有描述您想要的内容。那么我们应该怎么知道呢？
你不能，boost::optional 实现了operator!，这就是上面最后一行编译的原因。您甚至无法从中派生隐藏该运算符 - 您需要修复您的代码。

标签： c++ boost type-conversion boost-optional

【解决方案1】：

boost::optional 的全部意义在于启用这样的代码：

void func(boost::optional<int> optionalArg)
{
    if (optionalArg) {
       doSomething(*optionalArg);
    }
}

所以隐式转换为bool 是一个特性，不应阻止编译。

【讨论】：

这不是安全布尔成语试图解决的问题吗？ (artima.com/cppsource/safebool.html)
@dimba：自然安全的布尔习语不会阻止在纯布尔上下文中使用该值。
@UncleBens - 实际上，将最后一行中的 x 类型从 bool 更改为 int 会导致编译错误。
我不确定这个答案是否正确。到bool 的隐式转换确实无法构建。但是在布尔上下文中转换为 bool 是有效的。我不知道这是否意味着布尔上下文意味着编译器认为它们是显式的。但证明@Andrzej 说wandbox.org/permlink/d5gAYFx3iEK8uaxy

【解决方案2】：

您描述的问题曾经是旧版本 Boost 的情况。自 1.56 版本以来，boost::optional 已显式转换为bool，并且您显示的代码不再编译（正是您想要的方式）。 See here.

【讨论】：

【解决方案3】：

如果您使用的是optional，那么您需要能够在使用之前确定它是否已设置。实现的方式是（有效地布尔）转换。

我并不认为用户不想要那里实际写的内容：他们应该知道这是一个optional，并且他们正在检查它的有效性。

由于转换是 boost::optional 的内置部分，我不知道有什么方法可以直接删除它。

您当然可以为您的特定 int 需求实现一个包装类，它只提供您想要的 optional 接口的部分，可能带有一个检查有效性的显式函数。

或者，在使用 optionals 时，您始终可以使用 template<class T> inline T const* get_pointer ( optional<T> const& opt ) ; 或其非 const 版本来明确正在发生的事情。

【讨论】：