如何在C++中实现需动态计算默认值的可选函数参数？

Python中的参考实现 #

我在Python中可以通过以下方式实现带动态默认值的可选参数：

def add_postfix(name: str, postfix: str = None):
    if postfix is None:
        postfix = some_computation_based_on_name(name)
    return name + postfix

当该可选参数未被传入时，会被赋予一个基于name计算得到的值——由于postfix的默认值并非常量，因此无法直接设置固定默认值。

C++的尝试与问题 #

我曾尝试用C++的std::optional实现类似逻辑：

std::string add_postfix(const std::string& name, std::optional<const std::string&> postfix) {
    if (!postfix.has_value()) { postfix.emplace("2"); }
    return name + *postfix;
}

但C++并不支持std::optional<T&>，这一点我已了解并接受。

需求 #

我需要一种满足以下要求的实现机制：

• 保留const T&的优势：无拷贝且不修改原对象；
• 无需额外定义如postfix_这类变量来区分可选参数和最终参数；
• 无需使用函数重载；
• 支持在单个函数签名中设置多个此类可选参数。

可行解决方案 #

方案一：使用std::optional结合std::reference_wrapper #

利用std::reference_wrapper包装引用，让std::optional可以合法持有引用类型，同时保留无拷贝特性：

#include <string>
#include <optional>
#include <functional>

// 示例计算函数
std::string some_computation_based_on_name(const std::string& name) {
    return "_" + name;
}

std::string add_postfix(const std::string& name, 
                        std::optional<std::reference_wrapper<const std::string>> postfix = std::nullopt) {
    const std::string& final_postfix = postfix ? postfix->get() : some_computation_based_on_name(name);
    return name + final_postfix;
}

该方案符合所有要求：

• 通过std::reference_wrapper<const std::string>间接持有引用，全程无拷贝且不修改原对象；
• 直接通过三元运算符获取最终引用，无需额外中间变量；
• 单个函数签名即可实现，无需重载；
• 可直接添加多个同类型可选参数，比如新增std::optional<std::reference_wrapper<const std::string>> prefix = std::nullopt。

方案二：使用指针作为可选参数 #

利用指针的nullptr天然表示未传入状态，实现起来更简洁：

#include <string>

// 示例计算函数
std::string some_computation_based_on_name(const std::string& name) {
    return "_" + name;
}

std::string add_postfix(const std::string& name, 
                        const std::string* postfix = nullptr) {
    const std::string& final_postfix = postfix ? *postfix : some_computation_based_on_name(name);
    return name + final_postfix;
}

该方案同样满足所有需求：

• 解引用指针后得到const std::string&，无拷贝且不修改原对象；
• 三元运算符直接获取最终引用，无需额外变量；
• 单个函数签名即可完成，无需重载；
• 支持添加多个指针类型的可选参数，比如const std::string* prefix = nullptr。

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