GCC编译含右移操作的lambda模板实参失败，其他编译器正常

这确实是GCC的一个编译解析bug，问题核心在于：模板参数列表内部的lambda表达式中，GCC错误地将右移运算符>>解析为模板参数列表的闭合标记，违反了C++11及后续标准的规定——标准明确，除模板实例化场景外，>>应被视为两个独立的右移运算符，而非单个的模板参数结束符号。

问题场景拆解 #

• 当lambda直接写在模板参数<>内部时，GCC对x>>y的解析出现歧义：它误将第二个>判定为模板参数列表的闭合标记，因此要求在>>前加分号，触发编译报错。
• 而x<<y能正常编译，是因为<<不存在被误判为模板标记的可能，解析逻辑不受干扰。

验证案例说明 #

1. 显式调用operator>>可正常编译：
   改用x.operator>>(y)这种显式运算符调用语法时，消除了>>的歧义，GCC能正确解析lambda内部代码，因此编译通过。

   struct S2 {
     void operator>>(S2 arg) { }
   };
   S<[]{S2 x,y; x.operator>>(y);}> s2; // 编译正常
   

2. lambda移到模板参数外可正常编译：
   将lambda定义在模板参数列表之外后，模板参数仅引用已定义的变量，GCC无需在模板参数解析阶段处理lambda内部的>>，自然能正确识别右移运算符，编译通过。

   auto lam = []{int x,y; x>>y;};
   S<lam> s; // 编译正常
   

内容的提问来源于stack exchange，提问作者michuu