前言
平时写代码会遇到一种传递参数特殊值
标记特殊流程,或者函数返回值存在魔法数的情况,很需要一种标记参数或返回值状态的结构,那么在 C++17 标准下提供了 std::optional
这个模板类,可以表示一个值不存在的状态,一起来看看用法吧。
返回一个bool值
以下例子纯属虚构,只为说明问题,无实际意义
1 | bool getBoolVal(int a, int b) |
这个例子中的函数 getBoolVal
本意是想返回一个 bool 类型的判断结果,但是函数中有一些异常情况时,比如申请内存异常时,也会返回一个bool值,这是与原判断结果语义不同的,所以需要单独返回这种情况,如果也放到同一个返回值中会导致含义模糊,这时可以考虑使用引用变量参数来返回实际比较结果。
1 | bool getBoolVal(int a, int b, bool& ret) |
这个引用参数 ret
使用起来有点不方便,那把两个值都返回怎么样,虽然C++不允许有多个返回值,但可以把它们包装成 std::pair
或者 std::tuple
来返回,再来改写一下:
1 | std::pair<bool, bool> getBoolVal3(int a, int b) |
这种方法把实际的返回值,搭配一个表示状态的 bool 变量,组成 std::pair
进行返回,基本上得到而来语义明确的目的,但是看起来还是不太优雅,而 std::optional
可以帮助我们实现类似的需求,并且代码看起来能更简洁一点。
使用 std::optional 改写
std::optional
本身是一个模板类:会有一个 std::nullopt
1 | template <class T> |
它内部有两种状态,要么有一个T类型的值,要么用 std::nullopt
表示没有值,查看一个 std::optional
对象是否有值,可以用 has_value()
进行判断,当一个 std::optional
有值时,可以通过用指针的方式(*
号和->
号)来使用它,或者用 value()
函数取它的值,下面我们用它来改写一下之前的实现:
1 | std::optional<bool> getBoolVal4(int a, int b) |
使用了 std::optional
之后就把 bool
类型之前的两态变成了三态,很多类似的逻辑也被封装成了函数,使用它之后代码更清晰了,从此可以告别一些烦人的魔法数了,一些函数参数也可以使用 std::optional
来包装,用法类似,在此就不展开说了。
总结
std::optional
是一个模板类,可以表示一个可能存在的值std::optional
的内部有两种状态,要么表示一个T类型的值,要么用std::nullopt
表示没有值- 可以用
has_value()
判断一个std::optional
是否有值,然后用value()
函数取它表示的值
子未经历过,安知此文是鸡汤,子非我,安知我不知此文是鸡汤。意见向左的人往往在内心互道傻X,而现实生活中哪有什么绝对的对错,只是出发点和眼界不同罢了,即使是真理也有适用的环境,“两点之间线段最短”,这一定是对的吗?
2022-7-17 23:26:03