C++17中std::optional如何巧妙应用于复杂场景以优化代码结构？

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

直接切入主题，本篇主要讨论std::optional以及与variant相关的议题。std::optional是C++17引入的一种新类型，用于表示可能缺失的值。它本质上是一种包装器，用于封装一个可能存在的值。

std::optional也引入了variant类型，variant是一种可以存储多种类型数据的类型。它类似于C++中的union，但提供了类型安全的访问。

std::optional和variant的关系如下：

- std::optional是variant的一个特例，它只能存储一个值。- 在新版本中，std::optional被设计为一种特殊的variant，称为option，它专门用于表示可能缺失的值。

因此，std::optional可以看作是variant的一个子集，专门用于处理值的存在性。在新版本中，我们可以说std::optional是variant的一个具体应用，它简化了处理可选值的需求。

直入主题

本篇之中，仅仅述及 std::optional ，其它和 variant 相关的话题以后再说吧。

std::optional 也划入 variant 类别中，其实它还是谈不上可称为变体类型的，但新版本中的三大件（optional，any and variant）也可以归一类无妨。

C++17 之前

在 C 时代以及早期 C++ 时代，语法层面支持的 nullable 类型可以采用指针方式： T* ，如果指针为 NULL （C++11 之后则使用 nullptr ） 就表示无值状态（empty value）。