C++模板函数：基于类型分支赋值并保留const T value的方案

要保留const T value的修饰符，核心是const对象必须在声明时完成初始化，不能先声明再赋值。下面提供几种可行的实现方式：

方法1：使用立即执行的Lambda表达式（C++17+） #

利用Lambda内的constexpr if分支返回对应类型的值，直接初始化const变量：

#include <type_traits>

template<class T>
T calc(const T input_1)
{
    const MyNumber input_2 = getFromElsewhere();
    const T value = [&input_2]() -> T {
        if constexpr(std::is_same_v<double, T>) {
            return input_2.toDouble();
        } else {
            // 若MyNumber可隐式转换为T则直接返回，否则添加static_cast<T>
            return input_2;
        }
    }();
    return value + input_1;
}

Lambda会根据模板参数T的类型，在编译期选择对应的分支执行，返回结果直接用于初始化const T value，完全符合const变量的初始化要求。

方法2：封装转换逻辑为辅助模板函数 #

把类型相关的转换逻辑抽成独立的模板函数，通过它来初始化const变量：

#include <type_traits>

template<class T>
T convert_MyNumber(const MyNumber& num) {
    if constexpr(std::is_same_v<double, T>) {
        return num.toDouble();
    } else {
        return static_cast<T>(num);
    }
}

template<class T>
T calc(const T input_1)
{
    const MyNumber input_2 = getFromElsewhere();
    const T value = convert_MyNumber<T>(input_2);
    return value + input_1;
}

这种方式代码结构更清晰，转换逻辑可复用，同样在编译期完成分支选择，返回值直接初始化const变量。

为什么原代码无法保留const？ #

const类型的变量必须在声明时完成初始化，不能先声明const T value;再后续赋值——这会触发编译错误，因为const对象一旦创建就不可修改。上面的方法都是通过编译期分支选择，直接在声明时用对应的值初始化const变量，解决了这个问题。

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