C++17中的std::optional

在C++17中，std::optional是一个模板类，用于表示一个可选的对象，也就是说，这个对象可能包含一个值，也可能不包含。这对于函数返回类型非常有用，特别是当函数可能无法生成有效的返回值时。

例如，你可能有一个函数来查找一个字符串中的某个模式，如果找到模式，函数返回模式的字符串，否则返回一个不包含值的std::optional。

下面是一个简单的示例：

#include <optional>
#include <string>

std::optional<std::string> findPattern(const std::string& input) {
    std::size_t found = input.find("pattern");
    if (found != std::string::npos)
        return input.substr(found, 7); // 返回找到的 "pattern"
    else
        return {};  // 没有找到 "pattern"，返回一个不包含值的 std::optional
}

在这个例子中，你可以通过检查 std::optional 是否包含一个值来判断是否找到了模式

auto result = findPattern("this is a pattern");
if (result) {
    std::cout << "Found pattern: " << *result << std::endl;
} else {
    std::cout << "Pattern not found" << std::endl;
}

如果 std::optional 包含一个值，if (result) 会返回 true，你可以通过解引用 result 来获取值。如果 std::optional 不包含一个值，if (result) 会返回 false。