#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在執行中必須要有確定型別才能轉換，結合編譯原理理解這一點。