通过实际的例子和代码演示，可以更好地理解 `optional` 的使用方式和应用场景

当然，让我们通过一些实际的例子来演示 std::optional 的使用方式和应用场景。

场景 1：函数返回值

假设我们有一个函数，它尝试从字符串中解析一个整数，但如果字符串不是一个有效的整数，我们希望返回一个错误状态。

#include <optional>
#include <string>
#include <iostream>std::optional<int> ParseInt(const std::string& str) {try {int value = std::stoi(str);return value; // 成功时返回一个包含值的optional} catch (const std::invalid_argument& e) {return std::nullopt; // 失败时返回一个空的optional}
}int main() {auto value1 = ParseInt("123");if (value1) {std::cout << "Parsed value: " << *value1 << std::endl;} else {std::cout << "Failed to parse integer." << std::endl;}auto value2 = ParseInt("abc");if (!value2) {std::cout << "Failed to parse integer." << std::endl;}
}

场景 2：延迟初始化

有时候，对象的初始化可能依赖于某些条件，我们可以使用 std::optional 来延迟初始化。

#include <optional>
#include <iostream>class ExpensiveObject {
public:ExpensiveObject() {// 假设构造函数有一些昂贵的操作std::cout << "ExpensiveObject created." << std::endl;}
};std::optional<ExpensiveObject> CreateExpensiveObject(bool create) {if (create) {return ExpensiveObject(); // 条件满足时创建对象} else {return std::nullopt; // 条件不满足时返回空的optional}
}int main() {auto maybeObject = CreateExpensiveObject(true);if (maybeObject) {// 使用对象}
}

场景 3：异常安全编程

使用 std::optional 可以避免在异常发生时资源未被正确清理的问题。

#include <optional>
#include <memory>
#include <iostream>std::optional<std::unique_ptr<int>> CreateSafely(bool safe) {try {if (!safe) throw std::runtime_error("Failed to create");auto ptr = std::make_unique<int>(42);return ptr; // 成功时返回包含智能指针的optional} catch (...) {return std::nullopt; // 异常时返回空的optional}
}int main() {auto maybePtr = CreateSafely(false);if (maybePtr) {std::cout << "Value: " << **maybePtr << std::endl;} else {std::cout << "Creation failed, no resource leak." << std::endl;}
}

场景 4：可选配置参数

在配置类中，某些参数可能是可选的，使用 std::optional 可以清晰地表达这一点。

#include <optional>
#include <string>
#include <iostream>class Config {
public:std::optional<std::string> optionalParam;// 其他配置参数...
};int main() {Config config;config.optionalParam = "Some value"; // 可选参数被设置if (config.optionalParam) {std::cout << "Optional parameter is set to: " << *config.optionalParam << std::endl;} else {std::cout << "Optional parameter is not set." << std::endl;}
}

这些例子展示了 std::optional 在不同场景下的应用，包括错误处理、延迟初始化、异常安全编程和可选配置参数。通过这些示例，你可以更好地理解 std::optional 的强大功能和灵活性。