编辑“︁C++17stdoptional”︁（章节）

= C++17 `std::optional` 全面指南 =

`std::optional` 是 C++17 引入的一个模板类，用于表示一个可能包含值或可能不包含值的对象。它提供了一种类型安全的方式来处理可能缺失的值，避免了使用特殊值（如 `nullptr`、`-1` 等）或额外的布尔标志来表示“无值”状态。

== 基本介绍 ==
`std::optional<T>` 可以存储一个类型为 `T` 的值，或者不存储任何值（此时处于“空”状态）。它类似于指针（如 `T*`），但更安全且语义更清晰，因为它明确表达了“可能有值”的意图。

=== 核心特点 ===
* 类型安全：不需要使用特殊值或错误代码表示“无值”。
* 显式语义：代码清晰表达“可选值”的概念。
* 无额外开销：大多数实现使用 `sizeof(T) + 1` 字节（通常是一个布尔标志）。

== 基本用法 ==
以下示例展示 `std::optional` 的基本操作：

<syntaxhighlight lang="cpp">
#include <iostream>
#include <optional>
#include <string>

std::optional<std::string> create_optional(bool create) {
    if (create) {
        return "Hello, Optional!";
    } else {
        return std::nullopt; // 表示无值
    }
}

int main() {
    auto opt1 = create_optional(true);
    if (opt1) { // 检查是否有值
        std::cout << *opt1 << '\n'; // 解引用访问值
    }

    auto opt2 = create_optional(false);
    std::cout << "opt2 has value: " << opt2.has_value() << '\n';
    std::cout << "opt2 value or default: " << opt2.value_or("Default") << '\n';
}
</syntaxhighlight>

输出：
<pre>
Hello, Optional!
opt2 has value: 0
opt2 value or default: Default
</pre>

== 主要操作 ==
=== 创建 `std::optional` ===
<syntaxhighlight lang="cpp">
std::optional<int> opt1;           // 空 optional
std::optional<int> opt2(42);       // 包含值 42
std::optional<int> opt3 = 42;      // 同上
std::optional<int> opt4 = std::nullopt; // 显式空值
</syntaxhighlight>

=== 访问值 ===
<syntaxhighlight lang="cpp">
std::optional<std::string> opt("value");

// 方法1：检查后解引用
if (opt) {
    std::cout << *opt << '\n';
}

// 方法2：使用 value()
try {
    std::cout << opt.value() << '\n';
} catch (const std::bad_optional_access& e) {
    std::cerr << e.what() << '\n';
}

// 方法3：使用 value_or() 提供默认值
std::cout << opt.value_or("default") << '\n';
</syntaxhighlight>

== 实际应用案例 ==
=== 案例1：解析可能失败 ===
<syntaxhighlight lang="cpp">
#include <optional>
#include <string>
#include <charconv>

std::optional<int> parse_int(const std::string& s) {
    int result;
    auto [ptr, ec] = std::from_chars(s.data(), s.data() + s.size(), result);
    if (ec == std::errc()) {
        return result;
    }
    return std::nullopt;
}
</syntaxhighlight>

=== 案例2：查找可能不存在的元素 ===
<syntaxhighlight lang="cpp">
#include <vector>
#include <optional>
#include <algorithm>

template<typename T>
std::optional<T> find(const std::vector<T>& vec, const T& value) {
    auto it = std::find(vec.begin(), vec.end(), value);
    if (it != vec.end()) {
        return *it;
    }
    return std::nullopt;
}
</syntaxhighlight>

== 高级用法 ==
=== 条件构造 ===
`std::optional` 支持延迟构造，可以通过 `emplace()` 方法在需要时构造值：
<syntaxhighlight lang="cpp">
std::optional<std::string> opt;
opt.emplace("Constructed in-place"); // 直接构造，避免拷贝
</syntaxhighlight>

=== 与指针的比较 ===
<mermaid>
flowchart TD
    A[需要表示可能为空的值] --> B[使用原始指针]
    A --> C[使用 std::optional]
    B --> D[可能混淆所有权语义]
    C --> E[明确表达值语义]
    B --> F[需要手动管理内存]
    C --> G[自动管理生命周期]
</mermaid>

== 性能考虑 ==
* `std::optional` 通常没有动态内存分配
* 访问值有极小的运行时检查开销
* 适合存储中等大小的对象（大对象考虑使用 `std::optional<std::unique_ptr<T>>`）

== 数学表示 ==
`std::optional<T>` 可以形式化表示为：
<math>
optional(T) = \{ \emptyset \} \cup T
</math>
其中 <math>\emptyset</math> 表示无值状态。

== 总结 ==
`std::optional` 是 C++17 中一个简单但强大的工具，它：
* 提供类型安全的可选值表示
* 消除对特殊值或额外标志的需求
* 使接口设计更加清晰
* 在性能与安全性之间取得良好平衡

对于需要表示“可能有值”的场景，`std::optional` 通常是比原始指针或特殊值更好的选择。

[[Category:编程语言]]
[[Category:C++]]
[[Category:C++141720 特性]]