关于c++中类型定义typedef和类模板能否共用问题

#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在运行中必须要有确定类型才能转换，结合编译原理理解这一点。