套嵌模板，成员模板，模板的使用

模板的套嵌可以理解成在另外一个模板里面定义一个模板。以模板（类，或者函数）作为另个模板（类，或者函数）的成员 就是成员模板。

首先成员模板是不可以作为virtual的，这个是由于他的虚函数表使用不灵活。

我们看一个套嵌的例子，先看函数的使用，typeid(A).name()返回的是A的类型信息，用name函数返回，A可以是一个对象，也可以是一个对象类型。

而且，类定义的时候，成员函数里面是可以定义该成员函数所属类的类对象的，因为在能构调用非静态成员函数之前必须先创建一个类对象，也就是说类的构造函数已经可见！其实类的成员函数之间都是可见的，即便是你在类的构造函数里面调用这个类的其他的成员函数，也是可以的，程序中的 //C 处。

再次，套嵌的成员模板，我们以类为研究对象，模板中套嵌模板类使用 的模板可以使用自己的模板，也可以使用包含类的模板，即便是声明的是包含类对象，在程序里面的（//A）处，而包含类的模板就只能使用自己的模板，使用了被包含类的模板就会出错，如程序中的 //B处。

 

 

#include <iostream>
#include <typeinfo>

using namespace std;

template <class T>
class outer {
public:
    template <class R>
    class inner {
    public:
        void f();
    };
    void f();
};

//A:
template <class T>
template <class R>
void outer<T>::inner<R>::f() {
    inner<T> a;
    outer<T> b;
    inner<R> c;
    outer<R> d;

    cout << "Outer is " << typeid(a).name() << endl;

    cout << "Outer is " << typeid(T).name() << endl;
    cout << "Inner is " << typeid(R).name() << endl;
    cout << "full name is" << typeid(*this).name() << endl;
}

//B:
template <class T>
void outer<T>::f() {
    outer<T> a;
    //outer<R> a;
    cout << "Outer is " << typeid(a).name() << endl;
}

class a {
public:
    a() {
        cout << "a()" <<endl;
        f();
    }

    ~a() {
        cout << "~a()" <<endl;
    }
//C:
    void f() {
        a a_a;
        cout << "ddd ";
    }
private:
    
};

int _tmain(int argc, _TCHAR* argv[])
{
    outer<int>::inner<char> in;
    in.f();

    outer<char> aOuter;
    aOuter.f();

    a he;
    he.f();
    return 0;
}