C++中確定型別

#include<iostream>using namespace std;template<typename T>struct Iter{typedef T value_type;T* ptr;Iter(T* p=0):ptr(p){}T& operator*() const {return *ptr;}};template<class I>typename I::value_type //這一整行是func的傳回型別

func(I item){return *item;}int main(){Iter<int> t(new int(10));cout<<func(t)<<endl;int *tt;tt=new int(10);cout<<*tt<<endl;cout<<tt<<endl;return 0;}

定義了一個Iter類，其中的typedef T value_type 是內嵌型別聲明。

注意typename I::value_type是函數func的傳回型別，且必須要typename這個關鍵字。

因為T是一個template參數，在他被編譯器具體化之前，編譯器對T一無所悉。換句話說就是編譯器姿勢不知道Iter<T>::value_type代表的是一個型別

或是一個member function或是一個data member。關鍵字typename的用意在於告訴編譯器這是一個型別，如此才能順利通過編譯。