#include <iostream>
#include <deque>
using namespace std;
template <class T>
class A
{
typedef deque<T> cont;
protected:
cont c;
public:
void push(T&t)
{
c.push_back(t);
}
void display()
{
for (int i = 0; i < c.size(); i++)
{
cout << c.at(i) << "\t";
}
}
};
int main()
{
A<int> a;
for (int i = 0; i <= 5; i++)
a.push(i);
a.display();
return 0
}
以上代码是正确的。原因就在于typedef定义类型转变的时候必须是确定的类型,这里程序运行时首先进行主程序中A<int>a,即这里确定了模板参数T为int,然后程序转至上面类
中顺序执行该类,(这里可以把类作为一个函数调用来看)当执行到typedef语句时,T类型已经确定为int,不会出错。
#include <iostream>
#include <deque>
using namespace std;
template <class T>
typedef deque<T> cont;
class A
{
protected:
cont c;
public:
void push(T&t)
{
c.push_back(t);
}
void display()
{
for (int i = 0; i < c.size(); i++)
{
cout << c.at(i) << "\t";
}
}
};
int main()
{
A<int> a;
for (int i = 0; i <= 5; i++)
a.push(i);
a.display();
return 0;
}
以上代码就是错误的,typedef在类外,首先运行该typedef语句,T未知类型,故而出错。主函数也无法给typedef中T确定类型。
typedef在运行中必须要有确定类型才能转换,结合编译原理理解这一点。