在传统的 C++ 代码中，链式调用经常会因为空指针而导致程序崩溃。为了提高代码的健壮性，我们可以借助 C++17 引入的 std::optional，将可空值封装为一个安全的容器，从而实现安全的链式调用。本文将从概念讲解、实现方式、使用示例以及性能考量四个方面展开。
一、std::optional 简介
`std::optional
` 是一个模板类，用来表示“可能存在也可能不存在”的值。它内部维护了一个 `T` 类型的对象以及一个表示“值是否存在”的布尔标志。其常见接口包括： – `bool has_value() const noexcept;` – `T& value();` – `const T& value() const;` – `T value_or(const T& default_value) const;` 使用 `std::optional` 可以显式标记一个变量可能为空，避免了使用裸指针或裸引用时的隐式空值风险。 — ### 二、链式调用的安全包装 假设我们有一组嵌套对象 `A -> B -> C -> D`，每个对象可能为空。传统做法是： “`cpp if (a && a->b && a->b->c && a->b->c->d) { do_something(a->b->c->d); } “` 这段代码冗长且易错。我们可以用 `std::optional` 来重写： “`cpp auto getD(const std::shared_ptr & a) { if (!a) return std::optional>{}; if (!a->b) return {}; if (!a->b->c) return {}; if (!a->b->c->d) return {}; return a->b->c->d; } “` 不过，这种方式仍然需要手动检查。更好的办法是把每个成员访问包装成返回 `std::optional` 的函数，然后利用 `operator->` 的重载实现链式调用。 #### 1. 访问器模板 “`cpp template class OptionalRef { std::optional ptr_; public: explicit OptionalRef(std::optional p) : ptr_(std::move(p)) {} OptionalRef operator->() const { if (ptr_) return OptionalRef (ptr_); return OptionalRef (nullptr); } template std::optional operator->*(U T::*member) const { if (!ptr_) return std::nullopt; return (*ptr_).*member; } template auto transform(F&& f) const { if (!ptr_) return std::nullopt; return std::optional{f(*ptr_)}; } bool has_value() const noexcept { return static_cast (ptr_); } }; “` #### 2. 使用示例 “`cpp struct D { int value; }; struct C { std::shared_ptr d; }; struct B { std::shared_ptr c; }; struct A { std::shared_ptr b; }; std::optional> a_opt = /* 可能为空 */; auto d_opt = a_opt.transform([](auto a){ return a->b; }) .transform([](auto b){ return b->c; }) .transform([](auto c){ return c->d; }); if (d_opt) { std::cout value using json = nlohmann::json; struct User { std::string name; int age; }; std::optional parse_user(const json& j) { auto name_opt = j.value(“name”, std::optional{}); auto age_opt = j.value(“age”, std::optional {}); if (!name_opt || !age_opt) return std::nullopt; return User{*name_opt, *age_opt}; } “` 使用 `std::optional` 让解析过程更加清晰，也避免了多次 `contains` 检查。 — ### 五、结语 借助 C++17 的 `std::optional`，我们可以把“可能为空”的对象以安全的方式链式调用，从而显著提升代码的可读性与健壮性。虽然实现上需要一定的模板技巧，但一次封装后，后续使用就异常简洁。未来的 C++20/23 中 `std::expected` 等新特性也将进一步丰富错误处理与链式调用的表达能力，值得继续关注。