使用 C++ 标准库的 std::optional 进行空值安全处理的实战案例

作者

在 C++17 之后，标准库新增了 std::optional，用于表示一个可能为空的值，避免使用裸指针或 NULL 引发的错误。下面通过一个简单的“数据库查询”示例来演示如何使用 std::optional 实现安全的空值处理。

1. 需求背景

假设我们有一个 User 结构体，需要从数据库（这里用 std::unordered_map 模拟）获取用户信息。若用户不存在，传统做法是返回一个空指针，调用方需要额外检查：

User* getUserById(int id) {
    auto it = db.find(id);
    if (it != db.end()) return &it->second;
    return nullptr;   // 空指针风险
}

调用者必须写：

User* u = getUserById(42);
if (u) { /* use u */ }

这在代码中形成了大量的空指针检查，且容易被忽略。

2. 采用 std::optional

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

struct User {
    int id;
    std::string name;
    int age;
};

class UserRepository {
public:
    std::optional <User> findById(int id) {
        auto it = db.find(id);
        if (it != db.end()) return it->second;   // 直接返回 User
        return std::nullopt;                    // 表示未找到
    }

    void add(const User& user) { db[user.id] = user; }

private:
    std::unordered_map<int, User> db;
};

关键点

  1. 返回值类型：`std::optional `，不是裸指针或引用。
  2. 成功返回：返回实际的 User 对象（通过拷贝或移动）。
  3. 失败返回：std::nullopt，表示值缺失。

3. 调用方式

int main() {
    UserRepository repo;
    repo.add({1, "Alice", 30});
    repo.add({2, "Bob", 25});

    auto maybeUser = repo.findById(1);
    if (maybeUser) {
        std::cout << "Found: " << maybeUser->name << "\n";
    } else {
        std::cout << "User not found.\n";
    }

    // 使用更现代的写法
    if (auto u = repo.findById(3); u) {
        std::cout << "This will not print.\n";
    } else {
        std::cout << "User 3 does not exist.\n";
    }
}

输出：

Found: Alice
User 3 does not exist.

4. 优势总结

传统方式 std::optional 方式
需要裸指针或引用 直接返回值
调用方易忘记检查 语义明确，空值可读性高
可能导致悬空指针 自动管理生命周期
需要自行实现错误码或异常 通过类型系统强制处理

5. 进一步扩展

  • 链式查询：多个查询可以使用 std::optional 链接，避免嵌套 if。
  • 自定义错误信息：可用 std::variant<User, std::string> 或自定义 Result 类型，结合 std::optional。
  • 与现代 C++ 功能结合：配合 std::expected（C++23）或第三方 outcome 库实现更丰富的错误处理。

6. 小结

std::optional 为 C++ 提供了一种优雅、类型安全的空值处理方式。它避免了裸指针、悬空引用和隐藏错误的风险，提升了代码可读性与健壮性。通过上述示例，你可以快速上手，并在项目中逐步替换掉传统的空指针检查逻辑。

发表评论