【C++】C++17结构化绑定、std::optional、std::variant、std::any

二十二、C++17中的结构化绑定、std::optional、std::variant、std::any

本部分是一个小系列，介绍C++17中新引入的、用来解决各种不同返回情况的、标准库组件。

1、C++的结构化绑定
结构化绑定structured bindings是C++17中引入的一项特性，它允许开发者方便地从元组、结构体或数组中解包数据到单独的变量。是在元组(tuple)和对组(pairs)的基础上，新扩展的一种处理多返回值的新方法。

下面例子是我用一个函数返回一个tuple元组，我是如何取出元组中的各个元素的，也就是如何解包的：

其实在C++中处理多个返回值，我这篇博文 【C++】C++中如何处理多返回值、C++中的模板、宏_如何在c 十十 中处理返回值?-CSDN博客 已经介绍过了好几种方法，感兴趣的同学可以自行查看。这里的前两种方式不限于C++标准的版本，但是第三种结构化绑定只适用于C++17标准。所以要使第三种解包方式顺利通过编译，就得在visual studio的property页面里面设置为C++17标准，如上右图所示。

如果说本部分处理的都是确定的、多个返回值，那么对于不确定个数的返回值如何处理呢？就是下面的小标2如何处理optional数据。

2、如何处理optional数据
对于返回值不确定时，我们就得用std::optional了。std::optional也是C++17标准中新引进的模板类类型，用于处理那些可能存在也可能不存在的数据。要使用std::optional，首先需要包含头文件。

比如我们现在要写一个函数，这个函数的功能是读取一个文件，那这个文件是否存在？数据是否是我们期望的格式？函数是否正常读取了这个文件？此时这个函数的返回就是一个不确定的数据，可能有返回数据，也可能没有返回数据，也可能需要返回多个数据。
如果正常读取了，那就不用返回什么；如果文件就不存在，那就得返回一个能说明文件是存在还是不存在的东西；如果文件格式不正确，那得返回一个格式不正确的说明。所以函数的返回不是很确定的这种场景，就得用std::optional了。

我们先写一个不用optional的函数：

这种写法就很被动。当读取不成功时，我们也不知道什么原因，是路径错了还是格式错了，还是路径格式都没错，只是文件里面确实就是没数据，所以啥也没读出来。
此时用optional就可以轻松解决：

待续。。。。