请问如何理解关于C++ 模板做参数（有实例）

ken

//12-11 A模板做为B模板的参数
//以下代码在VS2008中可以编译通过, VC6中不行.
//文件“Stack.h”的内容如下
template <class T,int num>                //类型参数表
class Stack                                                //Stack类定义
{
        private:
                T sz[num];                                //存储空间，用数组表示
        public:
                int ReturnNum();                //判断栈是否为空
};

template<class T1,int num1>                //参数列表不要求字字相同，但形式要相同
int Stack<T1, num1>::ReturnNum()
{
        return num1;                                //返回数组大小
}


#include <iostream>
//#include "Stack.h"
using namespace std;

template<template<class Type,int NUM> class TypeClass, class T1, int N> //如何理解？？谢谢！
void disp()                                                        //函数模板，其类型参数表中包含一个类模板
{
        TypeClass<T1,N> ob;                                //类模板的隐式实例化,创建对象ob
        cout<<ob.ReturnNum()<<endl;                //调用ob的public成员函数
}

int main()
{
        disp<Stack,int,8>();                        //函数模板的隐式实例化，并调用
        system("pause");
        return 0;
}

ken

关于C++ template 类模板这部分好难理解

仰望天上的光

template<template<class Type,int NUM> class TypeClass, class T1, int N>
这个函数模板的模板参数里最难理解的是第一个模板参数
template<class Type,int NUM> class TypeClass
这个参数是个类模板，而且它有两个模板参数，其中第一个模板参数是类型参数，第2个参数是非类型参数
void disp()                                                        //函数模板，其类型参数表中包含一个类模板
{
        TypeClass<T1,N> ob;                                //类模板的隐式实例化,创建对象ob
        cout<<ob.ReturnNum()<<endl;                //调用ob的public成员函数
}

这里的TypeClass就是该类模板在函数模板中的应用（通过类模板TypeClass产生模板类TypeClass<T1,N>进而产生该类的对象ob）