using可定义模板别名而typedef不能，支持参数包展开（如Ts...），不参与SFINAE，C++11引入但低版本编译器支持不稳定，且不可偏特化。
用 using 替代 typedef 定义模板别名
模板别名不能用 typedef 实现，这是最常踩的坑。比如想给 std::vector<:pair std::string>></:pair> 起个简名，typedef 会直接报错：error: a typedef cannot be a template。必须用 using + 模板参数语法。
-
using支持带模板参数的别名定义，语法更直观，形如template<typename t> using VecPair = std::vector<:pair std::string>></:pair></typename> -
typedef只能绑定具体类型，无法泛化；强行套模板参数会导致编译失败 - 别名本身不生成新类型，只是“另一个名字”，
static_assert对原类型和别名类型判断为同一类型
模板别名中如何处理可变参数（...）
当底层类型依赖多个、数量不定的模板参数时（比如包装 std::tuple 或自定义变参容器），必须用参数包展开，否则编译器无法推导。
- 错误写法：
template<typename... ts> using MyTuple = std::tuple<ts>;</ts></typename...>—— 缺少参数包展开，Ts是未展开的包，类型不完整 - 正确写法：
template<typename... ts> using MyTuple = std::tuple<ts...>;</ts...></typename...>——Ts...才是合法展开 - 漏掉
...通常报错：error: parameter pack 'Ts' must be expanded - 这个规则也适用于嵌套场景，比如
template<typename... ts> using PtrTuple = std::tuple<:unique_ptr>...>;</:unique_ptr></typename...>
别名模板与类型别名在 SFINAE 和重载解析中的行为差异
模板别名不是“真实模板”，它在实例化前不参与 SFINAE，这点和类模板不同。容易误以为它能像 std::enable_if 那样做条件启用。
-
using别名模板一旦定义，只要参数能代入就立刻尝试实例化；如果代入后导致非法类型（如对int取::value_type），就是硬错误，不是 SFINAE 失败 - 想实现 SFINAE 友好，得把约束逻辑放到别名内部，比如用
std::enable_if_t包裹结果类型：template<typename t> using safe_value_type = typename std::enable_if_t<:is_class_v>, typename T::value_type>;</:is_class_v></typename> - 否则，像
safe_value_type<int></int>会直接编译失败，而不是静默丢弃重载
跨标准版本的兼容性注意点（C++11/14/17）
using 模板别名是 C++11 引入的，但早期编译器（如 GCC 4.7、Clang 3.1）对嵌套模板参数或复杂展开支持不稳。
立即学习“C++免费学习笔记（深入）”；
- C++11 要求编译器支持基本形式，但某些嵌套写法（如
template<template> class C> using wrap = C<int>;</int></template>）在 C++14 才完全稳定 - MSVC 2015 对参数包展开有 bug，建议升级到 MSVC 2017+ 或加
/permissive-缓解 - 别名模板不能偏特化（C++ 标准明确禁止），想做类似操作得改用类模板 +
using type = ...成员
模板别名看着简单，但参数展开位置、SFINAE 边界、编译器版本这三处最容易出问题——尤其是把别名当“轻量级类模板”用的时候，它其实没有类模板那样的延迟实例化能力。
