C++中能否实现std::return_if_null<T>空指针提前返回机制？

C++标准库目前并没有提供std::return_if_null这类现成工具，但我们可以通过模板、宏或者两者结合的方式，实现比手写if (!ptr) return;更优雅的方案，同时规避纯宏的缺点。

一、轻量方案：constexpr检查+极简宏 #

纯手写空值判断太繁琐，纯宏又容易出现类型安全问题或调试麻烦，结合constexpr模板做类型安全检查，再用宏封装调用逻辑，是平衡优雅性和实用性的选择：

// 类型安全的空值检查constexpr函数
constexpr bool is_null(const auto* ptr) noexcept {
    return ptr == nullptr;
}

// 封装void函数返回逻辑的宏，do-while(false)避免语法歧义
#define RETURN_IF_NULL(ptr) do { if (is_null(ptr)) return; } while(false)
// 支持带返回值的版本
#define RETURN_IF_NULL_WITH_VAL(ptr, val) do { if (is_null(ptr)) return val; } while(false)

调用示例：

// void返回类型的函数
void process_data(const Data* data) {
    RETURN_IF_NULL(data);
    // 后续逻辑
}

// 带返回值的函数
int calculate_sum(const int* arr, size_t size) {
    RETURN_IF_NULL_WITH_VAL(arr, -1);
    // 后续计算逻辑
}

这个方案既保留了宏的简洁性，又用constexpr函数保证了类型安全，编译器能在编译期完成空值检查的优化。

二、纯模板实现（完全无宏） #

如果完全不想依赖宏，可以用模板配合lambda实现，代价是调用时要多写一点代码，但完全避免了宏的潜在问题：

// 通用模板函数，接收空值处理逻辑
template<typename Func>
constexpr void guard_null(const auto* ptr, Func&& exit_func) noexcept {
    if (!ptr) {
        std::forward<Func>(exit_func)();
    }
}

调用示例：

void process_data(const Data* data) {
    guard_null(data, [&](){ return; });
    // 后续逻辑
}

// 带返回值的函数，在lambda中指定返回内容
int calculate_sum(const int* arr, size_t size) {
    guard_null(arr, [&]() -> int { return -1; });
    // 后续计算逻辑
}

这种方式的优势是完全类型安全，调试时能清晰看到调用栈，但写法比宏繁琐一些。

三、现有标准库的替代方案 #

如果你不想自己实现，也可以用C17及以上的std::optional或C23的std::expected来封装指针，通过初始化语句简化空值判断：

#include <optional>

std::optional<int> get_value(const int* ptr) {
    if (!ptr) return std::nullopt;
    return *ptr;
}

// 调用时
void process() {
    const int* val_ptr = get_some_ptr();
    auto val = get_value(val_ptr);
    if (!val) return;
    // 使用*val处理逻辑
}

这种方式更符合现代C++的风格，适合需要处理空值场景的复杂逻辑，但对于简单的函数开头空值检查，还是前面的方案更直接。

关于语言特性的设想 #

这个需求确实非常普遍，类似Rust的?操作符或者Go的if err != nil语法糖，但目前C标准中没有对应的语言特性。不过从C的演进趋势来看，这类问题更可能通过库扩展而非核心语法修改来解决——比如未来标准库可能加入专门的空值守卫工具函数，或者扩展std::expected的用法来支持这类提前返回逻辑。

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