尖括号不是运算符而是模板参数边界；C++11起编译器能自动区分嵌套模板的>>与右移运算符，前提是在模板上下文中，否则易误判为比较运算或语法错误。
尖括号不是运算符，是模板参数边界
很多人看到 std::vector<:vector>></:vector> 里连续两个 > 就紧张，以为要加空格或报错。其实从 C++11 起，编译器能自动区分嵌套模板结束符和右移运算符 >> —— 前提是它真在模板上下文中。关键不在“怎么写”，而在“编译器认不认这是模板”。比如 foo<bar> > baz</bar> 这种写法，编译器第一眼看到 > 就认为模板参数列表结束了，后面那个 > 被当成了大于比较，整个表达式就变成 (foo<bar>) > baz</bar>，而不是你想要的 foo<bar> baz></bar>。
- 模板声明/定义中，
和 <code>>必须成对出现，且中间内容构成合法的模板实参列表（类型、值、模板名等） - 调用时，
foo<int></int>的<int></int>是模板实参；而foo<int> x;</int>后面的>属于变量声明语法，和模板无关 - 嵌套模板如
std::map<:string std::vector>></:string>，末尾两个>是合法的：第一个闭合std::vector<int></int>，第二个闭合外层std::map<...></...> - 如果编译器报
error C2059: syntax error: '>'或类似，大概率是你漏写了某个，或者把模板调用写成了表达式（比如 <code>func<t> > value</t>没加括号）
哪些地方容易误判为“尖括号配对错误”
真正出问题的往往不是配对本身，而是编译器对上下文的误读。典型场景包括宏展开、条件编译、以及和运算符紧邻时的歧义。
- 宏里带模板：若宏定义为
#define WRAP(T) Container<t></t>，再写WRAP(int) x;，预处理器展开后变成Container<int> x;</int>—— 看似没问题，但若宏用于更复杂表达式（如WRAP(int) * p;），>后紧跟*可能触发解析冲突 - 与三目运算符混用：
TempClass<float a> b ? a : b > test;</float>编译器会在第一个>处切开，认为模板参数是float, a，然后剩下b ? a : b > test当作独立表达式，直接报错。必须加括号：TempClass<float> b ? a : b)> test;</float> - 模板别名 + 静态断言：
using T = std::enable_if_t<cond>; static_assert<:value>;</:value></cond>这里<cond></cond>是enable_if_t的实参，但static_assert<:value></:value>的会被当作模板参数起始，而 <code>T::value不是类型，导致失败。应写成static_assert<:value>;</:value>→ 实际应为static_assert(T::value);（去掉尖括号）
template 和 template 的尖括号含义不同
template 是显式特化（full specialization）的标记，表示“这个模板所有参数都已固定”，不是“空参数”。它和 template<typename t></typename> 中的尖括号语义完全不同。
-
template<typename t></typename>：声明一个带类型形参的模板，<typename t></typename>是模板形参列表 -
template：特化一个已有模板，比如template struct MyTrait<int> { ... };</int>，这里的表示“主模板的所有参数在此完全指定”，不参与类型推导 - 偏特化不能用
template，必须写全约束，如template<typename t> struct MyTrait<t></t></typename>—— 少一个或多一个 <code>>都会导致匹配失败或语法错误 - 函数模板不允许全特化（只能重载），所以你永远不会见到
template void foo<int>()</int>这种写法；它非法
调试尖括号相关错误的实用技巧
不要靠肉眼数括号。C++ 模板错误信息通常很长，但关键线索藏在第一行和“candidate”提示里。
立即学习“C++免费学习笔记（深入）”；
- 看到
expected a type, got 'int'，说明某处该传类型却传了值，比如MyTemplate但模板定义是template<typename t></typename>；应改用template<int n></int>形式或加typename约束 - 错误信息里出现多个
candidate，且都带不同尖括号内容（如MyTemplate<int></int>、MyTemplate<double></double>），说明编译器在尝试匹配，但实参无法满足任一版本的约束 —— 此时检查是否漏了typename或class关键字，或嵌套依赖类型没加typename前缀 - 用
/d1reportAllClassLayout（MSVC）或-fdump-class-hierarchy（GCC）看实际生成的类布局，确认特化是否真的被选中；很多“不生效”的偏特化，其实是匹配优先级不如主模板 - 在复杂模板表达式中，宁可多套一层括号，也不要赌编译器解析顺序。例如
foo比foo<a b c></a>更安全
尖括号配对本身几乎不会出错，真正卡住人的永远是：你以为它在解析模板，其实它在解析表达式；你以为它在匹配偏特化，其实它连主模板都没进。盯住上下文，比数括号重要得多。
