C++17新增的类模板参数推导（Class Template Argument Deduction，简称CTAD）特性，允许编译器在构造模板类对象时，根据传入的构造函数参数自动推导模板参数类型，不需要开发者显式指定模板参数，有效简化了模板对象的构造语法。
基本使用场景
在标准库的模板类中，CTAD已经默认支持，最常见的就是容器类的构造。比如以往构造std::vector<int>对象时，需要显式声明模板参数，使用CTAD后可以省略这部分内容。
#include <vector>
#include <iostream>
int main() {
// C++17之前需要显式指定模板参数
std::vector<int> vec1 = {1, 2, 3};
// C++17使用CTAD，编译器自动推导模板参数为int
std::vector vec2 = {1, 2, 3};
std::cout << "vec2 size: " << vec2.size() << std::endl;
return 0;
}
除了容器类，智能指针、pair、tuple等标准模板类型也都支持CTAD，比如构造std::pair时不需要写std::pair<int, std::string>，直接传入对应参数即可推导。
#include <utility>
#include <string>
#include <iostream>
int main() {
// 自动推导为std::pair<int, std::string>
auto p = std::pair(10, std::string("test"));
std::cout << p.first << " " << p.second << std::endl;
return 0;
}
自定义类的CTAD适配
如果是自己定义的模板类，编译器默认也会根据构造函数的参数来推导模板参数，不需要额外操作。比如定义一个简单的包装类：
#include <iostream>
template <typename T>
class Wrapper {
public:
Wrapper(T val) : data(val) {}
T get() const { return data; }
private:
T data;
};
int main() {
// 编译器自动推导T为int
Wrapper w1(100);
// 推导T为const char*
Wrapper w2("hello");
std::cout << w1.get() << " " << w2.get() << std::endl;
return 0;
}
如果模板类的构造函数参数类型和模板参数不是直接对应关系，或者需要自定义推导规则，可以使用推导指引（Deduction Guide）来手动指定推导逻辑。比如下面的模板类，构造函数接受两个不同类型的参数，但模板参数只有一个：
#include <iostream>
#include <type_traits>
template <typename T>
class Adder {
public:
// 构造函数接受两个参数，可能是不同类型
template <typename U, typename V>
Adder(U a, V b) : x(a + b) {}
T get() const { return x; }
private:
T x;
};
// 自定义推导指引：推导T为两个参数相加后的类型
template <typename U, typename V>
Adder(U, V) -> Adder<decltype(std::declval<U>() + std::declval<V>())>;
int main() {
// 传入int和double，推导T为double
Adder adder(10, 3.14);
std::cout << adder.get() << std::endl;
return 0;
}
使用注意事项
使用CTAD时需要注意几个问题：首先，推导过程依赖构造函数的参数，如果构造函数有默认参数，或者存在多个重载构造函数，编译器可能会推导失败或者推导出不符合预期的类型。其次，CTAD只适用于类模板，函数模板的参数推导是C++更早版本就支持的语法，二者逻辑类似但不属于同一特性。另外，部分旧的编译器可能对CTAD的支持不完善，使用时需要确认编译环境是否开启了C++17及以上标准。
CTAD虽然简化了代码，但也不要过度使用，如果模板参数推导逻辑过于复杂，显式指定模板参数反而能让代码可读性更高，减少后续维护的成本。