using别名模板是c++11引入的模板别名机制，支持模板参数和默认值，而typedef不支持；它仅是类型别名，不创建新类型，也不支持特化。
什么是 using 别名模板，和 typedef 有啥区别？
别名模板不是新类型，只是给复杂模板声明起个短名字，让代码可读、可复用。它用 using 声明，支持模板参数，而老式 typedef 不支持——这是关键分水岭。
-
typedef写不出带模板参数的别名，比如想定义vector<t></t>的通用别名，它直接报错 -
using别名模板可以：写成template<typename t> using Vec = std::vector<t>;</t></typename>，之后Vec<int></int>就合法 - 别名模板不生成新类型，
Vec<int></int>和std::vector<int></int>完全等价，类型推导、SFINAE、特化都照常工作
怎么写一个带多个参数或默认值的别名模板？
语法和函数模板一样，参数列表、默认值、约束（C++20）都能加，但不能有函数体或特化逻辑。
- 多参数示例：
template<typename t typename alloc="std::allocator<T">> using MyList = std::list<t alloc>;</t></typename> - 用的时候可以省略默认参数：
MyList<double></double>等价于MyList<double std::allocator>></double> - C++20 可加约束：
template<typename t> requires std::is_integral_v<t> using IntVec = std::vector<t>;</t></t></typename>，不满足时编译失败，错误信息比 SFINAE 更直白
为什么不能用别名模板替代类模板特化？
别名模板只是“换名字”，不是“定义行为”。它没法改实现、加成员、重载操作符，也不能做偏特化。
- 错误做法：
template using Ptr<int> = int*;</int>—— 编译失败，using不支持显式特化 - 正确做法：如果需要为某类型定制行为，必须用类模板 + 显式特化，或者用
if constexpr在函数模板里分支 - 常见误踩点：试图用别名模板“绕过”模板参数限制，比如想让
MyContainer<int></int>自动变成std::Array<int></int>—— 这做不到，得用类型推导+constexpr逻辑或专用类
在模板元编程里，别名模板容易被忽略的性能和兼容性细节
它本身零开销，但用法不当会隐式增加实例化次数或拖慢编译。
立即学习“C++免费学习笔记（深入）”；
- 避免嵌套别名：比如
using A = Vec<b>; using B = Vec<c>;</c></b>，可能触发链式实例化，尤其C是复杂类型时，编译器要展开多次 - 头文件中定义别名模板时，注意依赖：如果
Vec依赖<vector></vector>，那所有包含它的头文件都得确保该头文件已包含，否则 windows MSVC 下容易静默失败 - 跨标准版本要注意：C++11 起支持，但早期 GCC 4.7 对嵌套模板参数推导支持不稳，遇到
Vec<decltype></decltype>类型推导失败，升级到 GCC 4.9+ 更可靠
最常被漏掉的是：别名模板里的模板参数必须全部出现在右侧类型中，哪怕只是占位——比如 template<typename t> using Bad = int;</typename> 合法但无意义，而且会让后续使用者误以为 T 被用了。