问题描述
是一种初始化可选的方法，例如：
bool conditional = true;
boost::optional<int> opt = conditional ? 5 : boost::none;
为什么会出现错误？：
main.cpp:31:31: error: operands to ?: have different types ‘int’ and ‘const boost::none_t’
boost::make_optional(cond ? 5 : boost::none);
| ~~~~~^~~~~~~~~~~~~~~~~
通过简单的 if else 我可以做到：
boost::optional<int> opt;
if (cond)
opt = 5;
else
opt = boost::none;
解决方法
三元运算符要求左右为相同（或可转换）类型。 none_t 和 int 不是同一类型。你可能会做cond ? boost::optional<int>(5) : boost:none
我不使用 boost，所以只是根据 std::optional 猜测语法，但以下确实有效：
std::optional<int> opt = cond ? std::optional<int>(5) : std::nullopt;
?a:b 要求 a 和 b 有一个公共类型来转换为 C++ 可以推断的类型。
boost::none 和 5 没有这个。
auto opt = conditional ? boost::optional<int>(5) : boost::none;
有效
auto opt = conditional ? 5 : boost::optional<int>();
也有效。
你也可以写一个助手
auto opt = maybe_optional( conditional,5 );
哪里
template<class T>
boost::optional<T> maybe_optional( bool b,T t ) {
if (b) return std::forward<T>(t);
return boost::none;
}
三元运算符的结果必须是单一类型。 : 的左右参数因此需要为相同类型，或可转换为相同类型。