C++ 模板内部类的成员函数的定义问题

blowing00

在不是模板的情况下f（）的定义是正确的
class A
{
private:
        class B
        {
        public:
                B f();
        };
};


A::B A::B::f()
{
        cout<<"调用f()"<<endl;
        return B();
}

如果加上模板声明，编译就不通过
template < typename T >
class A
{
private:
        class B
        {
        public:
                B f();
        };
};

template < typename T >
A< T >::B A< T >::B::f()
{
        cout<<"调用f()"<<endl;
        return B();
}

不通过的原因是红色部分无法识别为类型，不知道大家平时有没有遇到这样的问题？是什么原因？怎么解决？

huycwork

模板作用域从template <>开始，到第一个空行结束，模板作用域内部只假设typename标记的名字和预定义类型是类型名。举例来说
template < typename T >    //模板作用域从这里开始
A< T >::B        //这要求是个类型，但编译器根据规则不认为它是个类型，改成typename A<T>::B即可
A< T >::B::f()          //这个A<T>不是独立类型名，它是函数原型的一部分，编译器必须把它理解为class
{
        cout<<"调用f()"<<endl;
        return B();
}//这里结束
详见《C++Primer》模板那一章。

blowing00

回复 2# huycwork


编译器只知道B是A的一个成员，但不知道B是类型成员还是数据成员，primer里面讲的那种情况的确是不知道的，但是上面这种情况为什么也不知道呢？编译器本身的问题？可以做到识别这种情况的我觉得，毕竟不管 T 是什么 B 都是一种类型。

huycwork

回复 3# blowing00


    编译器为啥必须知道呢？你说应该能认出来，那是你应该能认出来。模板编译是编译时实例化的类！
如果你把你的定义改成：
template <typename T>
int A<T>::B::f()
{
        A<T>::B b;
        B b2 = b;
        b2.f();
        cout<<"调用f()"<<endl;
        return 1;
}
这样子编译器就能认出来。主要原因在于返回值超出了类型作用域。
函数定义内部，编译实例化时有现成的上下文，上下文是类作用域空间。返回值超出了作用域，编译器需要在全局上下文中搜索，而这样就需要重新分析上下文，递归了咋办？

blowing00

回复 4# huycwork


    谢谢