如何为C++模板类的构造函数定义默认参数值

你的代码无法编译的核心原因是非类型模板参数的类型限制：C++20之前，非类型模板参数仅支持整数、枚举、指针、左值引用、std::nullptr_t，不支持std::string这类自定义类类型，因此你传入std::string("Hello, World!")作为模板参数的写法不符合语法规范。

方案1：默认值策略类（兼容C++11及以上，全类型通用） #

这是适用性最广的实现方式，将默认值的生成逻辑封装为独立的策略类作为模板参数，支持任意类型的自定义默认值：

#include <iostream>
#include <string>

// 模板参数改为：值类型 + 默认值策略类
template <typename T, typename DefaultPolicy>
class Thing
{
    T value;
public:
    // 从策略类的静态方法获取默认值
    Thing(T p_value = DefaultPolicy::get()):value(p_value) {}
    
    void print()
    {
        std::cout << value << "\n";
    }
};

// 为不同默认值定义对应策略类即可
struct IntDefault42 {
    static int get() { return 42; }
};

struct StringDefaultHello {
    static std::string get() { return "Hello, World!"; }
};

int main()
{
    Thing<int, IntDefault42> thing;
    thing.print(); // 输出42

    Thing<std::string, StringDefaultHello> thing2;
    thing2.print(); // 输出Hello, World!
}

这个方案完全满足你的需求：定义类时就指定默认值，构造时不需要额外传参，同时支持任意自定义类型的默认值配置。

方案2：C20 字符串字面量模板参数（仅C20及以上可用） #

如果你的项目使用C20及以上标准，可以利用C20新增的字符串字面量作为非类型模板参数的特性，简化字符串类型的写法：

#include <iostream>
#include <string>
#include <type_traits>

template <typename T, auto Default = nullptr>
class Thing
{
    T value;
public:
    Thing(T p_value = [](){
        // 编译期分支判断类型，转换对应默认值
        if constexpr (std::is_same_v<T, std::string>) {
            return std::string(static_cast<const char*>(Default));
        } else {
            return static_cast<T>(Default);
        }
    }()) : value(p_value) {}
    
    void print()
    {
        std::cout << value << "\n";
    }
};

int main()
{
    Thing<int, 42> thing;
    thing.print(); // 输出42

    // 直接传入字符串字面量作为模板参数
    Thing<std::string, "Hello, World!"> thing2;
    thing2.print(); // 输出Hello, World!
}

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