C++キーワードtypenameの深い理解
問題：次のtemplate declarations（テンプレート宣言）でclassとtypenameはどう違いますか？：value_typeはあなたを驚かします。それは単にスタンダード・トラストクラスの使用であり、C++という言い方をすると「the type of thing pointed to by object of type IterT」となります。このステートメントは、IterT objectが指し示すものと同じタイプのlocal variable（局所変数）（temp）を宣言し、さらにiterが指すobjectでtempを初期化しました。IterTがvector：iteratorであれば、tempはintタイプです。IterTがlist：iteratorなら、tempはstringタイプです。std::iterator_trits：value_typeはneted dependent type name（入れ子依存タイプ名）です。typeネストはiterator_にあります。trits内部、そしてIterTはtemplate parameter（テンプレートパラメータ）であり、typenameに前置きさせなければなりません。stdを読むと思ったら：iterator_trits：value_typeが嫌なので、それと同じものを想像して表現します。ほとんどのプログラマのように、何度も入力することに恐怖を感じたら、typedefを作成する必要があります。value_のようにtypeのようなtrits member namesは、一般的にはtypedef nameがtrits member nameと同じであることから、このようなlocal typedefは通常、このように定義されています。：value_typeはどれぐらいかかりますか？終了語としては、コンパイラとコンパイラとの間でtypenameをめぐる規則の実行状況の違いに言及しなければならない。いくつかのコンパイラが必要なtypenameを受け入れる時、コードがありません。いくつかのコンパイラがtypenameを許さないときに存在するコードを受け入れます。まだ少数の（通常は古い）が、typenameが必要な場所に現れることを拒否します。これは、typenameとneted dependent type namesの相互作用が、わずかな移植可能性の問題を引き起こすことを意味する。Things to Remember・template parameters（テンプレートパラメータ）を宣言する場合、クラスとtypenameは互換可能です。・typenameでneted dependent type namesを識別し、base class lists(ベースリスト)または一つのmember initialization list(メンバー初期化リスト)で一つのbase class ideantifer(ベース識別子)として除外する。
template<class T> class Widget; // uses "class"
template<typename T> class Widget; // uses "typename"
template<typename C> // print 2nd element in
void print2nd(const C& container) // container;
{
// this is not valid C++!
if (container.size() >= 2) {
C::const_iterator iter(container.begin()); // get iterator to 1st element
++iter; // move iter to 2nd element
int value = *iter; // copy that element to an int
std::cout << value; // print the int
}
}
template<typename C>
void print2nd(const C& container)
{
C::const_iterator * x;
...
}
template<typename C>
void print2nd(const C& container)
{
if (container.size() >= 2) {
C::const_iterator iter(container.begin()); // this name is assumed to
... // not be a type
template<typename C> // this is valid C++
void print2nd(const C& container)
{
if (container.size() >= 2) {
typename C::const_iterator iter(container.begin());
...
}
}
template<typename C> // typename allowed (as is "class")
void f(const C& container, // typename not allowed
typename C::iterator iter); // typename required
template<typename T>
class Derived: public Base<T>::Nested {
// base class list: typename not
public: // allowed
explicit Derived(int x)
: Base<T>::Nested(x) // base class identifier in mem
{
// init. list: typename not allowed
typename Base<T>::Nested temp; // use of nested dependent type
... // name not in a base class list or
} // as a base class identifier in a
... // mem. init. list: typename required
};
template<typename IterT>
void workWithIterator(IterT iter)
{
typename std::iterator_traits<IterT>::value_type temp(*iter);
...
}
template<typename IterT>
void workWithIterator(IterT iter)
{
typedef typename std::iterator_traits<IterT>::value_type value_type;
value_type temp(*iter);
...
}