如何在C++模板类中设置构造函数默认值及成员默认初始化？

一、模板类中可以为构造函数设置默认值吗？ #

当然可以！模板类的构造函数和普通类的构造函数完全一样，支持设置默认参数——不管参数是普通类型还是模板参数类型。举个直观的例子：

#include <iostream>
template <typename T>
class MyTemplateClass {
private:
    T m_data;
public:
    // 构造函数设置默认参数，用T的默认构造逻辑初始化
    MyTemplateClass(T val = T{}) : m_data(val) {}
    
    void printData() {
        std::cout << m_data << std::endl;
    }
};

int main() {
    // 不传入参数，使用默认值初始化
    MyTemplateClass<int> obj1;
    obj1.printData(); // 输出0
    
    // 传入自定义值
    MyTemplateClass<std::string> obj2("Hello Template");
    obj2.printData(); // 输出Hello Template
    return 0;
}

这里的T{}就是和你后面问的default(T)功能直接关联的写法，先记下来~

二、C++中如何实现类似C# default(T)的功能 #

C#里的default(T)逻辑是：值类型返回对应默认初始值（比如int返回0），引用类型返回null。在C++里，不同版本的标准有对应的简洁实现方式：

1. C++11及以后版本（推荐写法）
   直接用T{}或者T()生成默认值，两者在绝大多数场景下效果一致，T{}更符合现代C++的初始化风格，还能避免一些语法歧义。比如你提到的C#代码：

class Account<T> { T id = default(T); }

对应的C++代码可以写成：

template <typename T>
class Account {
    T id = T{}; // 自动适配T类型的默认值
};

当T是int时，id会被初始化为0；是std::string时初始化为空字符串；是指针类型（比如int*）时初始化为nullptr，完全匹配C# default(T)的行为。

2. C++11之前的版本
   在C++11的统一初始化语法出现前，我们会在构造函数的初始化列表里用T()来生成默认值：

template <typename T>
class Account {
private:
    T id;
public:
    Account() : id(T()) {} // 在构造函数中完成默认初始化
};

这种写法也能达到相同效果，只是不如现代C++的成员初始化写法简洁。

另外C++20还引入了std::default_initializable概念，用来约束模板参数必须支持默认初始化，但日常开发中T{}已经足够满足需求啦。

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