为何类中嵌套模板成员函数的友元声明有效，模板类中却报错？

当将H3改为模板类后，原友元声明因C++模板依赖类型的语法规则导致编译错误。需要在嵌套模板成员H2前添加template关键字，明确其模板属性，修正后的代码如下：

template<typename T1>
class H1 
{
    template<typename T2>
    class H2 {
        void Hh(int) {}
    };
};

template<typename T3> 
class H3 
{
    template<typename T1>
    template<typename T2>
    friend void H1<T1>::template H2<T2>::Hh(int); 
};

原因说明 #

在模板类H3的上下文中，H1<T1>是依赖类型（其具体定义依赖于模板参数T1），编译器无法自动识别H2是一个模板成员。此时必须通过template关键字显式标注，让编译器将<解析为模板参数列表的起始符号，而非小于运算符，从而消除语法错误。

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