C++标准库教程：std::optional详解

chatgpt/2023/9/26 18:17:59

C++标准库教程：std::optional详解

1. 介绍

std::optional 是 C++17 中引入的标准库模板类。它提供了一种表示可选值的方式，也就是值可能存在，也可能不存在。它属于 <optional> 头文件。

std::optional 的主要目的是避免使用特殊的标志值（例如，空指针或魔法数）来表示缺少值。相反，它封装了一个可选值，让您以更类型安全和表达性更强的方式处理它。

2. 基本用法

std::optional 的基本用法非常简单。我们可以通过以下示例来了解它的使用：

#include <iostream>
#include <optional>std::optional<int> divide(int numerator, int denominator) {if (denominator == 0) {return std::nullopt; // 表示值的缺失}return numerator / denominator;
}int main() {int num = 10;int denom = 2;auto result = divide(num, denom);if (result) {std::cout << "结果：" << *result << std::endl; // 通过 * 运算符解引用获取值} else {std::cout << "除以零！" << std::endl;}return 0;
}

在上面的示例中，我们定义了一个 divide 函数，它返回一个 std::optional<int> 类型，表示除法操作的结果。如果分母为零，它返回 std::nullopt 来表示值的缺失。

在 main 函数中，我们调用 divide 函数，并使用 if 语句检查结果是否存在。如果结果存在，我们使用 * 运算符（在确保结果存在的情况下）来获取可选值的实际值。

3. 类型安全性

std::optional 提供了类型安全的方式来处理可能缺失的值。通过使用 std::optional，您可以避免使用裸指针或特殊的标志值，这样会增加代码的健壮性和可读性。

对比使用指针来表示可选值的情况：

int* find_value(int key, int* array, size_t size) {for (size_t i = 0; i < size; ++i) {if (array[i] == key) {return &array[i]; // 返回指向找到的值的指针}}return nullptr; // 返回空指针表示值不存在
}

使用 std::optional 可以使代码更加清晰和安全：

std::optional<int> find_value(int key, int* array, size_t size) {for (size_t i = 0; i < size; ++i) {if (array[i] == key) {return array[i]; // 返回可选值，表示找到了值}}return std::nullopt; // 返回可选值，表示值不存在
}

4. 可选值的创建

我们可以使用多种方式创建 std::optional 对象，以表示存在或缺失的值。

4.1 通过构造函数创建

使用 std::optional 的构造函数，可以创建一个包含值的 std::optional 对象。如果不想包含任何值，可以使用 std::nullopt。

std::optional<int> opt_value1(42);   // 创建包含整数值的 std::optional 对象
std::optional<int> opt_value2;       // 创建空的 std::optional 对象
std::optional<int> opt_value3 = {};  // 同样是创建空的 std::optional 对象
std::optional<int> opt_value4 = std::nullopt;  // 同样是创建空的 std::optional 对象

4.2 使用工厂函数创建

C++17 为 std::optional 提供了一个工厂函数 std::make_optional，它允许我们更简洁地创建 std::optional 对象。

auto opt_value1 = std::make_optional<int>(42);  // 创建包含整数值的 std::optional 对象
auto opt_value2 = std::make_optional<int>();     // 创建空的 std::optional 对象

使用 std::make_optional 可以避免显式指定类型，并且更加简洁。

5. 可选值的访问

要访问 std::optional 对象中的值，我们可以使用多种方式。由于 std::optional 可能包含值也可能为空，因此我们需要在访问值之前检查是否存在。

5.1 使用 has_value 方法

可以使用 has_value 方法来检查 std::optional 对象是否包含值。

std::optional<int> opt_value(42);
if (opt_value.has_value()) {std::cout << "值存在：" << opt_value.value() << std::endl;
} else {std::cout << "值不存在！" << std::endl;
}

5.2 使用 operator bool

std::optional 重载了 operator bool，允许我们像使用布尔值一样检查 std::optional 是否包含值。

std::optional<int> opt_value(42);
if (opt_value) {std::cout << "值存在：" << opt_value.value() << std::endl;
} else {std::cout << "值不存在！" << std::endl;
}

5.3 使用 value_or 方法

value_or 方法允许我们获取 std::optional 对象中的值，如果对象为空，则返回一个默认值。

std::optional<int> opt_value;
int default_value = 0;
int result = opt_value.value_or(default_value);
std::cout << "值：" << result << std::endl;  // 输出：值：0

在上面的示例中，由于 opt_value 为空，我们使用 value_or 方法获取一个默认值 0。

5.4 使用 value 方法

如果确定 `

std::optional对象中包含值，可以使用value方法获取该值。但是需要注意，如果对象为空，调用value` 方法会导致未定义行为。

std::optional<int> opt_value(42);
int result = opt_value.value();
std::cout << "值：" << result << std::endl;  // 输出：值：42

在上面的示例中，由于 opt_value 包含值 42，我们可以安全地使用 value 方法获取该值。

6. 可选值的修改

std::optional 允许我们在对象中包含或清除值。

6.1 使用 reset 方法

可以使用 reset 方法来清除 std::optional 对象中的值。

std::optional<int> opt_value(42);
opt_value.reset(); // 清除值
if (opt_value) {std::cout << "值存在：" << opt_value.value() << std::endl;
} else {std::cout << "值不存在！" << std::endl; // 输出：值不存在！
}

在上面的示例中，我们使用 reset 方法将 opt_value 的值清除，导致它变为空。

6.2 使用赋值操作符

我们可以使用赋值操作符来设置 std::optional 对象的值。

std::optional<int> opt_value;
opt_value = 42; // 设置值
if (opt_value) {std::cout << "值存在：" << opt_value.value() << std::endl; // 输出：值存在：42
} else {std::cout << "值不存在！" << std::endl;
}

在上面的示例中，我们使用赋值操作符将值 42 设置到 opt_value 中。

7. 可选值的高级特性

std::optional 提供了一些高级特性，使得我们能够更方便地操作可选值。

7.1 使用 map 方法

map 方法允许我们对 std::optional 对象中的值进行转换，而不会影响到可选值的存在性。

std::optional<int> opt_value(42);
auto new_opt_value = opt_value.map([](int value) {return value * 2;
});if (new_opt_value) {std::cout << "新值存在：" << new_opt_value.value() << std::endl; // 输出：新值存在：84
} else {std::cout << "新值不存在！" << std::endl;
}

在上面的示例中，我们使用 map 方法对 opt_value 中的值进行转换，将其乘以 2。注意，map 方法不会修改原始的 opt_value，而是返回一个新的 std::optional 对象。

7.2 使用 and_then 方法

and_then 方法允许我们对 std::optional 对象中的值进行连续操作，类似于函数式编程中的 flatMap 操作。

std::optional<int> opt_value(21);
auto new_opt_value = opt_value.and_then([](int value) -> std::optional<int> {if (value % 2 == 0) {return value / 2;} else {return std::nullopt;}
});if (new_opt_value) {std::cout << "新值存在：" << new_opt_value.value() << std::endl;
} else {std::cout << "新值不存在！" << std::endl; // 输出：新值不存在！
}

在上面的示例中，我们使用 and_then 方法对 opt_value 中的值进行判断，如果是偶数，则返回值除以 2，否则返回一个空的 std::optional 对象。

7.3 使用 or_else 方法

or_else 方法允许我们在 std::optional 对象为空时提供一个备用值。

std::optional<int> opt_value;
int backup_value = 42;
auto result = opt_value.value_or(backup_value);
std::cout << "结果：" << result << std::endl;  // 输出：结果：42

在上面的示例中，由于 opt_value 是一个空的 std::optional 对象，我们使用 or_else 方法提供了备用值 42。

8. 可选值的移动语义

std::optional 支持移动语义，因此我们可以将一个可选值转移到另一个可选值，而不会发生不必要的拷贝。

std::optional<std::string> source_value("Hello, C++");
std::optional<std::string> destination_value = std::move(source_value);if (source_value) {std::cout << "源值存在：" << *source_value << std::endl;
} else {std::cout << "源值已被移动！" << std::endl; // 输出：源值已被移动！
}if (destination_value) {std::cout << "目标值存在：" << *destination_value << std::endl; // 输出：目标值存在：Hello, C++
} else {std::cout << "目标值不存在！" << std::endl;
}

在上面的示例中，我们使用 std::move 将 source_value 移动到 destination_value，并且可以看到 source_value 被移动后变为空。

9. 总结

本教程详细介绍了 C++ 标准库中的 std::optional 类。它是 C++17 引入的一个非常有用的特性，提供了一种表示可选值的方式，避免了使用裸指针或特殊标志值的不便和风险。通过 std::optional，我们可以更加安全和优雅地处理可能缺失的值，提高了代码的健壮性和可读性。

在使用 std::optional 时，我们应该注意检查值是否存在，以避免未定义行为。另外，std::optional 也提供了一些高级特性，如 map、and_then 和 or_else 方法，使得我们能够更方便地操作可选值。

希望本

教程能够帮助您更好地理解和使用 std::optional，并为您的 C++ 编程带来更多便利和效率。感谢阅读！

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.exyb.cn/news/show-5314904.html

如若内容造成侵权/违法违规/事实不符，请联系郑州代理记账网进行投诉反馈，一经查实，立即删除！

相关文章

K8S系列文章之 Docker常用命令

K8S系列文章之 Docker常用命令

一、镜像基础命令&#xff1a; $ docker info # 查看docker信息 $ docker system df # 查看镜像/容器/数据卷所占的空间。 $ ip addr #查看容器内部网络地址。 $ docker images # 查看镜像 $ docker search 镜像名称 # 搜索镜像 --limit :只列出N个镜像&#xff0c;默认为25个…
阅读更多...
从零开始理解Linux中断架构（23)中断运行临界区和占先调度

从零开始理解Linux中断架构（23)中断运行临界区和占先调度

Linux在内核中定义了6种运行临界区。 in_interrupt in_interrupt在驱动中使用频率最高的函数了，in_interrupt（）就是指示Core是否正在中断处理中，包含了硬中断，软中断运行临界区。如果在中断处理中，则不能调用__do_softirq执行软中断处理。硬中断中不可调度不可中断，所有…
阅读更多...
搜索与图论(二)

搜索与图论(二)

最短路 单源最短路 所有边权都是正数 朴素Dijkstra算法 基本思路:从1号点到其他点的最短距离 步骤: 定义一个s集合包含当前已确定最短距离的点 1、初始化距离dis[1] 0,dis[其它] 正无穷 2、for i 0-n循环n次 2.1找到不在s中的距离最近的点 ->t 2.2把t加到s当中去…
阅读更多...
SQL进阶-存储过程

SQL进阶-存储过程

create procedure p5(inout n int ) begindeclare sum int default 0;while n ! 0 doset sum : sum n;set n n - 1;end while;set n sum; end;set n : 100 ;call p5(n); select n;create procedure p6(in n int) begindeclare result varchar(10) default 0;repeatset re
阅读更多...
解决echarts第二次不渲染问题

解决echarts第二次不渲染问题

问题&#xff1a; echarts第一次能渲染&#xff0c;但点击其他页面在点击回来就不渲染了。查看dom属性发现了一个特殊的属性&#xff1a;_echarts_instance_&#xff0c;对应的值是一个id&#xff0c;可能是由于再次渲染时这个id未发生改变导致ehcarts认为不需要重新渲染。 分…
阅读更多...
Ansible-roles

Ansible-roles

Ansible-roles 一、roles作用 把playbook剧本里的各个play看作为角色&#xff0c;将各个角色的tasks任务、vars变量、templates模板、files文件等内容放置到角色的目录中统一管理&#xff0c;需要的时候可在playbook中直接使用roles调用&#xff0c;所以roles可以实现playboo…
阅读更多...
服务机器人有哪些品类

服务机器人有哪些品类

服务机器人是指具备自主运动、感知环境、实现人机交互等能力的机器人&#xff0c;它可以被应用于不同的场景&#xff0c;如餐饮、医疗、物流等行业。根据其功能和应用场景的不同&#xff0c;服务机器人可以分为以下几类&#xff1a;1. 餐饮服务机器人 随着社会发展和人们需…
阅读更多...
springboot和springcloud的联系与区别

springboot和springcloud的联系与区别

什么是springboot&#xff1f; Spring Boot是一个用于简化Spring应用程序开发的框架&#xff0c;它提供了一种约定优于配置的方式&#xff0c;通过自动配置和快速开发能力&#xff0c;可以快速搭建独立运行、生产级别的Spring应用程序。 在传统的Spring应用程序开发中&#xf…
阅读更多...
推荐文章

Copyright @ 2022~2023