CTAD本质是编译器根据构造函数参数类型，按规则映射推导类模板参数；仅用户定义构造函数和deduction guide参与推导，拷贝/移动/默认构造函数不参与，且不支持部分显式指定。
CTAD 本质是构造函数参数到模板参数的映射
CTAD 不是“猜类型”，而是编译器根据你调用的构造函数签名，把实参类型按规则映射到类模板的形参上。它只看构造函数——不看默认构造、不看拷贝/移动构造，也不看成员函数。
比如 std::pair p(42, "hello") 能推导成功，是因为 std::pair 的构造函数接受两个参数，且标准库为它提供了对应的 deduction guide（推导指引），把 int 和 const char* 映射为 std::pair<int const char></int>。
- 推导失败时，错误信息通常是
class template argument deduction failed，不是类型不匹配，而是“找不到能推导的构造函数” - 若类模板只有
MyClass(int size)这种单参数构造函数，MyClass m(5)无法推导——因为 5 可能是容量、元素值、或别的含义，编译器拒绝歧义 - 初始化列表语法（
{1,2,3}）会触发std::initializer_list构造函数，这是 CTAD 最常用的推导入口之一
哪些构造函数参与 CTAD？哪些不参与？
只有**用户定义的构造函数**（含模板构造函数）和**标准库提供的 deduction guide** 才参与推导。以下三类明确被排除：
-
MyClass(const MyClass&)（拷贝构造）不参与——MyClass m1; MyClass m2 = m1;必须显式写MyClass<T> -
MyClass(MyClass&&)（移动构造）同样不参与 - 默认构造函数（
MyClass()）本身无法提供类型线索，MyClass m;在绝大多数自定义类中会编译失败
注意：标准库容器如 std::vector、std::array 之所以支持 std::vector{1,2,3}，是因为它们显式声明了接受 std::initializer_list<T> 的构造函数，并配套了 deduction guide。
立即学习“C++免费学习笔记（深入）”；
自定义类要支持 CTAD，必须提供可推导的构造函数
如果你写了一个模板类，想让它像 std::pair 那样支持 CTAD，关键不是加关键字，而是确保构造函数参数能唯一反映模板参数。
例如这个常见错误写法：
template <typename T>
struct Box {
Box(T value) : val(value) {}
private:
T val;
};
// ❌ 错误：Box b(42); 编译失败！
// 因为 Box 的构造函数只接受一个 T，但编译器不知道 42 是 T 还是其他含义
正确做法是让参数类型直接暴露 T：
- 用
std::initializer_list<T>：允许Box b{1,2,3};→ 推导为Box<int> - 用通用引用模板构造函数：
template<typename U> Box(U&& u);，配合 deduction guide 显式约束 - 最稳妥的是手动加 deduction guide：
template<typename U> Box(U) -> Box<U>;
最后一行就是告诉编译器：“只要构造函数参数是 U 类型，就推导为 Box<U>”。没有它，上面的 Box b(42) 就永远推导不了。
CTAD 不支持部分显式指定，要么全靠推导，要么全手动写
这是最容易踩坑的一点：std::tuple<int, auto, double> t(1, "hi", 3.14); 是非法的。C++17 不允许混合使用——你不能写 std::pair<int, auto> 或 MyContainer<auto, std::string>。
- 合法：
std::pair p(1, "hi");（全推导） - 合法：
std::pair<int, std::string> p(1, "hi");（全显式） - 非法：
std::pair<int, auto> p(1, "hi");（编译器报错：expected a type）
如果你的类有多个模板参数，但只想固定其中几个，只能靠 deduction guide 把其他参数绑定死，或者退回到工厂函数（如 make_myclass(...)）。
真正麻烦的地方不在语法，而在于——一旦你依赖 CTAD，就必须确保所有构造路径都有对应推导能力；否则某个看似正常的调用，在换编译器或升级标准库后突然编译不过，而且错误信息非常不直观。
