如何在C++中用引用实现类似Python的默认可选参数功能

C++ 的引用本身要求必须绑定到合法的存活对象，不允许为空，因此无法直接通过判空的方式判断可选引用参数是否被传入，可参考以下几种实现方案：

方案1：函数重载（最推荐） #

直接针对两种调用场景编写重载函数，逻辑清晰，不需要依赖高版本C++，也没有安全隐患：

#include <cstdio>

// 仅传第一个参数的重载，对应b未传入的场景
void test(int a) {
    return;
}

// 传入两个参数的重载，对应b有有效值的场景
void test(int a, const int& b) {
    printf("123\n");
}

int main() {
    test(1); // 无输出
    test(1, 2); // 输出123
    return 0;
}

方案2：C++17及以上使用std::optional #

如果可选参数较多，写大量重载比较繁琐，可以用C++17引入的std::optional承载可选的引用：

#include <cstdio>
#include <optional>
#include <functional>

// 用std::reference_wrapper保留引用语义，避免拷贝
void test(int a, std::optional<std::reference_wrapper<const int>> b = std::nullopt) {
    if (!b.has_value()) {
        return;
    }
    printf("123\n");
}

int main() {
    test(1); // 无输出
    int num = 2;
    test(1, num); // 输出123
    return 0;
}

如果不需要保留引用语义，也可以直接声明参数为std::optional<int> b = std::nullopt，代码更简洁。

方案3：兼容旧版本C++的哨兵对象方案 #

如果需要兼容C++17之前的版本，可以定义一个全局哨兵对象，通过比较参数的地址判断是否是默认传入的哨兵：

#include <cstdio>

// 定义仅内部可见的哨兵对象，避免业务代码误传
static const int B_SENTINEL = -999999;

void test(int a, const int& b = B_SENTINEL) {
    // 比较地址而非值，避免业务传了相同值的变量被误判
    if (&b == &B_SENTINEL) {
        return;
    }
    printf("123\n");
}

int main() {
    test(1); // 无输出
    int num = 2;
    test(1, num); // 输出123
    return 0;
}

注意：该方案的哨兵对象要确保业务场景下不会被主动传入，否则会出现逻辑错误。

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