C++模板类default_value定义string类型默认值报错问题咨询

问题根因 #

你当前的报错核心是两个问题：

• 你为default_value<std::string>特化定义的静态成员value类型是std::string_view，和模板参数T=std::string类型不匹配，不符合该模板返回对应类型默认值的语义，部分场景下隐式转换也会触发编译错误
• 如果你使用的C标准低于C20，std::string确实不支持constexpr修饰，直接用constexpr std::string会报错

可行解决方案 #

方案1：兼容C++17及以上版本（最简单） #

用C++17引入的inline静态成员变量，不需要额外在cpp文件中定义，和原有其他特化的使用方式完全兼容：

// 同时修正double、float特化的不规范写法，NULL是指针常量，不要给浮点类型赋值
template<>
struct default_value<double> {
    static constexpr double value = 0.0;
};

template<>
struct default_value<float> {
    static constexpr float value = 0.f;
};

template<>
struct default_value<std::string> {
    // inline静态const变量可以直接类内初始化，类型和T匹配
    static inline const std::string value = "";
};

方案2：兼容C++11/14版本 #

类内声明const静态成员，在单独的cpp文件中完成定义：

// 头文件中的特化声明
template<>
struct default_value<std::string> {
    static const std::string value;
};

// 对应cpp文件中的定义
const std::string default_value<std::string>::value = "";

方案3：C++20及以上版本 #

C++20开始std::string已经支持constexpr修饰，可以直接保持和其他基础类型一致的写法：

template<>
struct default_value<std::string> {
    static constexpr std::string value = "";
};

方案4：统一改为静态成员函数返回默认值 #

如果需要兼顾编译期常量使用、多版本兼容，可以把所有特化都改为静态函数形式：

template<typename T>
struct default_value;

template<>
struct default_value<int> {
    static constexpr int get() { return 0; }
};

template<>
struct default_value<double> {
    static constexpr double get() { return 0.0; }
};

template<>
struct default_value<float> {
    static constexpr float get() { return 0.f; }
};

template<>
struct default_value<std::string> {
    static std::string get() { return ""; }
};
// 使用方式改为 default_value<std::string>::get()

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