std::optional与类型安全¶

void removeOddsFromEnd(std::vector<int>& vec) {
    // while(vec.back()%2 == 1)
    /*In this case, if vec is empty, back() will return Undefined Behavior! */
    while(!vec.empty() && vec.back()%2 == 1) {
        vec.pop_back();
    }
}

- `nullptr`：是一个指针字面量，**可以转换为任何指针类型**，表示空指针。

- `std::nullopt`：是一个特殊值，用于表示 `std::optional` 不包含值的状态。它是 **`std::nullopt_t` 类型**的常量。

#include <optional>
#include <iostream>

void main() {
    std::optional<int> num1 = {}; // num1 does not have a value
    num1 = 1; // now it does!
    num1 = std::nullopt; // now it doesn't anymore
}

std::optional<valueType> vector<valueType>::back() {
    if(empty()) {
        return {};
    }
    return *(begin() + size() - 1);
}

#include <optional>
#include <iostream>
#include <string>

int main() {
    // 构造
    std::optional<int> a;                  // 空 optional
    std::optional<int> b = std::nullopt;   // 空 optional
    std::optional<int> c = 42;             // 包含值 42 的 optional

    // 状态检查
    if (c.has_value()) {
        std::cout << "c has value" << std::endl;
    }

    if (c) {  // 使用 bool 转换
        std::cout << "c is true" << std::endl;
    }

    // 访问值
    try {
        std::cout << "a.value() = " << a.value() << std::endl;  // 抛出异常
    } catch (const std::bad_optional_access& e) {
        std::cout << "Exception: " << e.what() << std::endl;
    }

    std::cout << "a.value_or(0) = " << a.value_or(0) << std::endl;  // 输出 0
    std::cout << "c.value() = " << c.value() << std::endl;          // 输出 42
    std::cout << "*c = " << *c << std::endl;                        // 输出 42

    // 修改值
    c.reset();                   // c 变为空
    c.emplace(100);              // c 包含值 100

    // 赋值
    c = 200;                     // c 包含值 200
    c = std::nullopt;            // c 变为空

    return 0;
}