【C++】《C++ 17 入门经典》读书笔记 19 ---- std::optional

一、概述

在 C++17 中，标准库提供了 std::optional<>，它可以替代可选值的隐式编码。如：通过使用这种辅助类型，可以使用 optional显式声明任何可选的 int 值。如下所示：

optional find_last_in_string(string_view string, char to_find, optional start_index);
optional read_configuration_override(string_view fileName, string_view overrideName);

现在就显式地将这些参数或返回值声明为可选值，使得函数原型的意义更加清晰。因此，相比使用传统的方法，代码变量更加容易使用和阅读。

二、示例程序

特别注意：由于本示例代码中使用到 C++17 中的新特性：optional 、 string_view。目前 Visual Studio 2017 (15.9.14) 尚不支持，我是在 Visual Studio 2019 (16.2.0) 中编译执行的。

这个示例程序中展示 std::optional<> 基本用途：

#include 
#include 
#include 

using namespace std;

optional find_last(string_view string, char to_find, optional start_index = nullopt)
{
	if (string.empty())
		return nullopt;

	size_t index = start_index.value_or(string.size() - 1);

	while (true)
	{
		if (string[index] == to_find) return index;
		if (index == 0) return nullopt;
		--index;
	}
}

int main()
{
	const auto string = "Growing old is mandatory; growing up is optional.";
	
	const optional found_a{ find_last(string, 'a') };
	if (found_a)
		cout << "Found the last a at index " << *found_a << endl;

	const auto found_b{ find_last(string, 'b') };
	if (found_b)
		cout << "Found the last b at index " << found_b.value() << endl;

	const auto found_early_i(find_last(string, 'i', 10));
	if (found_early_i != nullopt)
		cout << "Found an early i at index " << *found_early_i << endl;
}

说明：

1. 注意：如何检查 find_last 返回的 optional<> 值是否被实际赋值。
2. 注意：如何从 optional<> 中提取并使用这个值。
3. value_or()：如果 optional<> start_index 包含值，该函数返回的值与 value() 相同；如果不包含值， value_or() 将返回作为实参传入的值。因此，value_or() 是一个非常好的函数，相当于首先调用 has_value()，然后调用 value() 的 if-else 语句或条件运算符表达式。

三、运行输出

 

---