## C++17 中的 std::optional 与传统指针的对比

作者

在 C++17 之前，C++ 程序员常常使用裸指针或 std::unique_ptr、std::shared_ptr 来表示“可为空”的值。随着标准库的完善，std::optional 被引入，提供了一种更安全、更语义化的方式来处理可缺失的数据。本文将从语义、性能、使用场景和常见错误四个角度，对比 std::optional 与传统指针，并给出最佳实践建议。

1. 语义对比

方案 语义 对象是否必定存在 内存占用 空值表示方式
裸指针 指向某个对象或为 nullptr 可能不存在 与指针大小相同（8 字节） nullptr
unique_ptr 所有权转移，负责销毁 可能为空 与指针大小相同 nullptr
shared_ptr 共享所有权，引用计数 可能为空 与指针大小相同 + 计数器 nullptr
**`optional
** | 可包含T的完整实例 | 必须存在值 |sizeof(T) + bool`（压缩为 1 字节） 内部布尔标志
  • 明确性：std::optional 明确表示“可能存在”或“不存在”的状态，而裸指针的“是否为空”往往在接口文档或注释中隐含。
  • 所有权：optional 不涉及所有权，适用于值类型；而 unique_ptr/shared_ptr 用于资源管理。
  • 安全性：裸指针和智能指针容易出现悬空指针、空指针解引用；optional 通过 has_value() 或 operator bool() 判断避免此类错误。

2. 性能对比

方案 访问速度 内存占用 对齐 随机访问（如数组）
裸指针 最快（直接指向内存） 8 字节 对齐至 8 字节 直接索引
unique_ptr 接近裸指针 8 字节 对齐 8 字节 需先解引用
shared_ptr 低于裸指针（引用计数） 16 字节 对齐 8 字节 同上
**`optional
** | 取决于T的大小 |sizeof(T)+1| 通常对齐至alignof(T)| 需要operator*` 解包
  • 小对象：对于 int、double 等基础类型，`optional ` 的大小为 5 或 9 字节（取决于编译器），与裸指针相近，性能差距不大。
  • 大对象：如果 T 本身很大，`optional ` 需要存放完整副本，复制成本更高；此时裸指针或智能指针更合适。
  • 缓存友好：`optional ` 在内存布局上更友好，避免间接跳转，适用于高性能序列化/网络传输。

3. 使用场景

场景 推荐方案 说明
函数返回值可缺失 `optional
` 直观表达“存在/不存在”
缓存或懒加载 `unique_ptr
或optional|unique_ptr适合大资源，optional` 适合轻量缓存
多所有者共享 `shared_ptr
` 当需要引用计数
数据库查询 optional<std::string> 表示字段可能为空
递归树/图结构 `std::shared_ptr
` 共享指针避免手动计数
多态对象 `std::unique_ptr
` 自动销毁子类

小贴士：如果你只是想表达“可能没有值”，并不需要所有权管理，尽量使用 optional。如果你需要在多个地方共享同一个资源，才考虑使用 shared_ptr。

4. 常见错误与陷阱

  1. 直接解引用 optional 而未检查 

    std::optional <int> opt = ...;
int x = *opt; // 若 opt 为空，将抛出异常

    ✅ 正确做法：if(opt) { int x = *opt; }

  2. 使用 operator bool() 进行三目运算符 

    auto val = opt ? *opt : 0; // ok

    ✅ 这是合法的，用 operator bool() 判断是否有值。

  3. **把 `optional

    ` 用作容器元素** “`cpp std::vector> vec; // 可能导致冗余空对象 “` ✅ 如果容器本身是稀疏的，使用 `std::vector>` 会占用大量内存。可以考虑 `std::unordered_map` 或 `std::vector` 配合单独标记。

  4. 在多线程共享 optional 时未同步
    optional 本身不是线程安全的，多个线程读写同一对象需要加锁或使用原子包装。

  5. **将 `optional

    ` 直接放入 `std::map` 作为键** `std::optional` 必须满足 `std::totally_ordered`，否则会导致编译错误。

5. 代码示例

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

// 1. 典型的可空返回值
std::optional <int> find_index(const std::string& key, const std::unordered_map<std::string, int>& table) {
    auto it = table.find(key);
    if (it == table.end()) return std::nullopt;
    return it->second;
}

// 2. 延迟加载资源
class Image {
public:
    explicit Image(const std::string& path) { /* 加载 */ }
};

class Cache {
    std::unordered_map<std::string, std::optional<Image>> cache_;
public:
    const Image& get(const std::string& path) {
        auto& opt = cache_[path];
        if (!opt) opt.emplace(path);
        return *opt;
    }
};

int main() {
    std::unordered_map<std::string, int> table{{"a", 1}, {"b", 2}};
    if (auto idx = find_index("c", table); idx) {
        std::cout << "Index: " << *idx << '\n';
    } else {
        std::cout << "Not found\n";
    }

    Cache imgCache;
    const Image& img = imgCache.get("logo.png");
    // 使用 img...
}

6. 结语

std::optional 是 C++17 提供的强大工具，能够让代码更具表达力、类型安全且易于维护。它与裸指针、unique_ptr、shared_ptr 的区别在于语义与所有权模型，选择合适的工具取决于需求场景。掌握它们的差异与最佳实践，将使你的 C++ 代码更加稳健、高效。

发表评论