C++中对应JavaScript可选链操作符?.的等效实现方法

问题背景 #

• JavaScript 中通过obj?.x实现可选链操作：当obj为null或无对应字段时，不会抛出异常，仅返回null。
• C++17 起提供标准库std::optional<T>，假设定义struct Foo { Bar x; }且存在std::optional<Foo>类型对象obj，直接使用三元表达式obj ? obj->x : std::nullopt会因结果类型不匹配（左侧为Bar，右侧为std::nullopt_t）无法编译。

以下是不同C++标准下的简洁实现方案，优先兼容旧版本：

C++98/03（最旧兼容版本） #

方案1：指针模拟 #

直接用原生指针模拟"可选"语义，空指针对应JS中的null：

struct Foo { Bar x; };
Foo* obj = ...; // 可能为NULL
Bar* x_ptr = obj ? &obj->x : NULL;

使用时只需判断x_ptr是否为NULL即可。

方案2：自定义极简可选类型 #

实现一个C++98兼容的可选类型，统一返回值类型：

template <typename T>
struct Optional {
    bool has_value;
    T value;

    Optional() : has_value(false) {}
    Optional(const T& v) : has_value(true), value(v) {}

    const T* operator->() const { return has_value ? &value : NULL; }
    T* operator->() { return has_value ? &value : NULL; }
    operator bool() const { return has_value; }
};

// 使用示例
Optional<Foo> obj;
Optional<Bar> x_opt;
if (obj) {
    x_opt = Optional<Bar>(obj->x);
}

C++11/14 #

方案1：指针模拟（简化版） #

利用C++11的nullptr替代NULL，写法更清晰：

Foo* obj = ...; // 可能为nullptr
Bar* x_ptr = obj ? &obj->x : nullptr;

方案2：基于智能指针的模拟 #

用智能指针管理对象，避免手动内存管理：

#include <memory>

std::unique_ptr<Foo> obj = ...;
std::unique_ptr<Bar> x_ptr;
if (obj) {
    x_ptr = std::make_unique<Bar>(obj->x);
}

C++17 及以上（标准库原生支持） #

方案1：返回std::optional<Bar>（最简洁） #

将结果包装为std::optional<Bar>，保证类型统一，一行即可实现：

#include <optional>

std::optional<Foo> obj = ...;
auto x_opt = obj ? std::optional<Bar>(obj->x) : std::nullopt;
// 或用std::make_optional简化
auto x_opt = obj ? std::make_optional(obj->x) : std::nullopt;

方案2：自定义可选链工具函数（贴近JS链式风格） #

封装一个通用工具函数，支持链式访问任意成员：

#include <optional>
#include <type_traits>

template <typename OptionalType, typename Accessor>
auto optional_chain(OptionalType&& opt, Accessor&& access) {
    using ResultType = std::optional<std::decay_t<decltype(access(*opt))>>;
    if (opt) {
        return ResultType(access(*opt));
    }
    return ResultType(std::nullopt);
}

// 使用示例
std::optional<Foo> obj = ...;
auto x_opt = optional_chain(obj, [](const Foo& f) { return f.x; });

内容的提问来源于stack exchange，提问作者einpoklum