C++17中如何返回对象的可选引用？避免拷贝的最优方案

一、先解决你遇到的指针版本编译错误 #

你的指针版本编译失败，原因是C++17中std::optional<T*>的构造函数是explicit的，无法通过列表初始化（大括号{}）完成构造。修正方法有三种，任选其一即可：

修正后的指针版代码 #

#include <optional>
#include <map>
struct HeavyObj{
    int data;
};
static std::map<int, HeavyObj> my_map;

std::optional<HeavyObj*> get_obj(int key){   
    if(auto it = my_map.find(key); it != my_map.end()){
        // 方案1：直接返回指针，optional会隐式构造
        return &(it->second);
        // 方案2：显式用小括号构造optional
        // return std::optional<HeavyObj*>(&(it->second));
        // 方案3：用std::make_optional生成对象
        // return std::make_optional(&(it->second));
    } else {
        // 显式返回空值，比{}更清晰
        return std::nullopt;
    }
}

int main(){
    auto test = get_obj(3);
    if (test) {
        // 通过*test访问指针，再操作对象
        (*test)->data = 42;
    }
    return 0;
}

二、可选引用的正确实现（推荐） #

C17标准已经正式支持std::optional<T&>的特化，不存在“不应采用”的问题（早期讨论多针对C17之前的草案或非标准实现）。这种方式语义更贴合你的需求——返回“可能存在的对象引用”，避免拷贝，同时直观表达空值场景。

可选引用版代码 #

#include <optional>
#include <map>

struct HeavyObj{
    int data;
};
static std::map<int, HeavyObj> my_map;

std::optional<HeavyObj&> get_obj(int key){   
    if(auto it = my_map.find(key); it != my_map.end()){
        // 直接返回对象引用，optional会自动构造
        return it->second;
        // 也可以显式构造：return std::optional<HeavyObj&>(it->second);
    } else {
        return std::nullopt;
    }
}

int main(){
    auto test = get_obj(3);
    if (test) {
        // 直接通过*test或test->访问对象，和普通引用用法一致
        test->data = 42;
        // 等价于：(*test).data = 42;
    }
    return 0;
}

三、方案对比与最优选择 #

结论：在满足C++17标准的环境下，std::optional<HeavyObj&>是最优实现，它完美匹配“返回可选引用、避免拷贝”的需求，代码更易读且安全。

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