C++17中，如何用std::optional表示一个可能存在的值？

本文共计1773个文字，预计阅读时间需要8分钟。

目录前言返回一个bool值使用std::optional修改总结前言使用std::optional可以优雅地处理可能缺失的值，避免使用null或undefined等可能导致错误的值。下面将介绍如何使用std::optional修改代码，并总结遇到的一些特殊情况。

返回一个bool值cpp#include #include

bool checkValue(int value) { std::optional optValue=value; return optValue.has_value() && *optValue==42;}

int main() { int value=42; bool result=checkValue(value); std::cout << Result: << (result ? true : false) <

使用std::optional修改cpp#include #include

int calculate(int a, int b) { std::optional optA=a; std::optional optB=b; if (optA.has_value() && optB.has_value()) { return *optA + *optB; } else { return 0; }}

int main() { int a=10; int b=20; int result=calculate(a, b); std::cout << Result: <

总结使用std::optional可以有效地处理可能缺失的值，避免在代码中引入错误。然而，在处理递归参数或函数返回值时，需要注意std::optional的特殊行为。下面是一些特殊情况：

1. 递归参数特殊值标记：在递归函数中，如果使用std::optional作为参数，需要特别注意特殊值标记，以避免无限递归。

2.函数返回值存在魔法数字：如果函数返回值使用std::optional，需要确保返回值的状态（有值或无值）不会引起误解，特别是在存在魔法数字的情况下。

前言

在编写代码时，我们经常需要处理可能缺失的值。std::optional是一个强大的工具，可以帮助我们优雅地处理这种情况。下面将介绍如何使用std::optional修改代码，并总结遇到的一些特殊情况。

返回一个bool值cpp#include #include

bool checkValue(int value) { std::optional optValue=value; return optValue.has_value() && *optValue==42;}

int main() { int value=42; bool result=checkValue(value); std::cout << Result: << (result ? true : false) <

使用std::optional修改cpp#include #include

int calculate(int a, int b) { std::optional optA=a; std::optional optB=b; if (optA.has_value() && optB.has_value()) { return *optA + *optB; } else { return 0; }}

int main() { int a=10; int b=20; int result=calculate(a, b); std::cout << Result: <

总结使用std::optional可以有效地处理可能缺失的值，避免在代码中引入错误。然而，在处理递归参数或函数返回值时，需要注意std::optional的特殊行为。下面是一些特殊情况：

1. 递归参数特殊值标记：在递归函数中，如果使用std::optional作为参数，需要特别注意特殊值标记，以避免无限递归。

2.函数返回值存在魔法数字：如果函数返回值使用std::optional，需要确保返回值的状态（有值或无值）不会引起误解，特别是在存在魔法数字的情况下。

目录

• 前言
• 返回一个bool值
• 使用 std::optional 改写
• 总结

前言

平时写代码会遇到一种传递参数特殊值标记特殊流程，或者函数返回值存在魔法数的情况，很需要一种标记参数或返回值状态的结构，那么在 C++17 标准下提供了 std::optional 这个模板类，可以表示一个值不存在的状态，一起来看看用法吧。

返回一个bool值

以下例子纯属虚构，只为说明问题，无实际意义

bool getBoolVal(int a, int b) {     int* n = new int;     if (!n)         return false;     *n = 1;     if (a + *n > b)         return true;     else         return false; } int main() {     if (getBoolVal(10, 9))         std::cout << 1 << std::endl;     else         std::cout << 1 << std::endl;     return 0; }

这个例子中的函数 getBoolVal 本意是想返回一个 bool 类型的判断结果，但是函数中有一些异常情况时，比如申请内存异常时，也会返回一个bool值，这是与原判断结果语义不同的，所以需要单独返回这种情况，如果也放到同一个返回值中会导致含义模糊，这时可以考虑使用引用变量参数来返回实际比较结果。

bool getBoolVal(int a, int b, bool& ret) {     int* n = new int;     if (!n)         return false;     *n = 1;     if (a + *n > b)         ret = true;     else         ret = false;     return true; } int main() {     bool ret = false;     if (getBoolVal(10, 9, ret))         std::cout << "error" << std::endl;     else     {         if (ret)             std::cout << 1 << std::endl;         else             std::cout << 0 << std::endl;     }     return 0; }

这个引用参数 ret 使用起来有点不方便，那把两个值都返回怎么样，虽然C++不允许有多个返回值，但可以把它们包装成 std::pair 或者 std::tuple 来返回，再来改写一下：

std::pair<bool, bool> getBoolVal3(int a, int b) {     int* n = new int;     if (!n)         return {false, false};     *n = 1;     if (a + *n > b)         return {true, true};     else         return {true, false}; } int main() {     auto [err, ret] = getBoolVal(10, 9);     if (err)         std::cout << "error" << std::endl;     else     {         if (ret)             std::cout << 1 << std::endl;         else             std::cout << 0 << std::endl;     }     return 0; }

这种方法把实际的返回值，搭配一个表示状态的 bool 变量，组成 std::pair 进行返回，基本上得到而来语义明确的目的，但是看起来还是不太优雅，而 std::optional 可以帮助我们实现类似的需求，并且代码看起来能更简洁一点。

使用 std::optional 改写

std::optional 本身是一个模板类：会有一个 std::nullopt

template <class T> class optional;

它内部有两种状态，要么有一个T类型的值，要么用 std::nullopt 表示没有值，查看一个 std::optional 对象是否有值，可以用 has_value() 进行判断，当一个 std::optional 有值时，可以通过用指针的方式(*号和->号)来使用它，或者用 value()函数取它的值，下面我们用它来改写一下之前的实现：

std::optional<bool> getBoolVal4(int a, int b) {     int* n = new int;     if (!n)         return std::nullopt;     *n = 1;     if (a + *n > b)         return true;     else         return false; } int main() {     std::optional<bool> ret = getBoolVal(10, 9);     if (ret.has_value())         std::cout << "error" << std::endl;     else     {         if (ret.value())             std::cout << 1 << std::endl;         else             std::cout << 0 << std::endl;     }     return 0; }

使用了 std::optional 之后就把 bool 类型之前的两态变成了三态，很多类似的逻辑也被封装成了函数，使用它之后代码更清晰了，从此可以告别一些烦人的魔法数了，一些函数参数也可以使用 std::optional 来包装，用法类似，在此就不展开说了。

总结

• std::optional 是一个模板类，可以表示一个可能存在的值
• std::optional 的内部有两种状态，要么表示一个T类型的值，要么用 std::nullopt 表示没有值
• 可以用 has_value() 判断一个 std::optional 是否有值，然后用 value() 函数取它表示的值

到此这篇关于C++17使用std::optional表示可能存在的值的文章就介绍到这了,更多相关C++17 std::optional内容请搜索自由互联以前的文章或继续浏览下面的相关文章希望大家以后多多支持自由互联！