返回引用的函数是否有类似return NULL的错误返回方案？

在C++中，引用必须指向有效对象，无法直接返回类似NULL的标识。除了改为返回指针外，还有以下几种常用的错误处理方案：

1. 抛出异常 #

这是C++标准推荐的做法，通过异常明确传递错误状态，不会破坏引用的语义。调用方需要通过try-catch块处理异常，避免忽略错误。

#include <stdexcept>

int& func()
{
    static int i = 5;
    if (!good) {
        throw std::runtime_error("操作失败");
    }
    return i;
}

// 调用示例
try {
    int& val = func();
    // 使用val
} catch (const std::runtime_error& e) {
    // 处理错误逻辑
}

2. 使用可选引用（C++17及以上） #

借助std::optional和std::reference_wrapper，可以包装引用并表示“无值”的错误状态。调用方直接判断optional是否包含有效值即可。

#include <optional>
#include <functional>

std::optional<std::reference_wrapper<int>> func()
{
    static int i = 5;
    if (!good) {
        return std::nullopt;
    }
    return std::ref(i);
}

// 调用示例
auto result = func();
if (result) {
    int& val = result.value();
    // 使用val
} else {
    // 处理错误逻辑
}

3. 输出参数+返回错误码 #

将原本要返回的结果通过输出参数传递，函数本身返回布尔值或错误码表示成功状态。这种方式兼容旧版C++，逻辑直观。

bool func(int& out_val)
{
    static int i = 5;
    if (!good) {
        return false;
    }
    out_val = i; // 若需返回原对象引用，可直接让out_val绑定到目标对象（需确保对象生命周期合法）
    return true;
}

// 调用示例
int val;
if (func(val)) {
    // 使用val
} else {
    // 处理错误逻辑
}

4. 返回哨兵对象引用 #

定义一个全局/静态的特殊“哨兵”对象，错误时返回该对象的引用。调用方通过判断返回值的地址是否等于哨兵对象的地址来识别错误。

// 全局或静态作用域定义哨兵
static int sentinel = -1;

int& func()
{
    static int i = 5;
    if (!good) {
        return sentinel;
    }
    return i;
}

// 调用示例
int& val = func();
if (&val == &sentinel) {
    // 处理错误逻辑
} else {
    // 使用val
}

注意：哨兵方案需要确保正常返回的对象永远不会和哨兵对象混淆，且哨兵对象不能被意外修改，否则会导致错误判断。

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