Şablonlarda 'typename' ve 'class' anahtar kelimelerinin farkı nedir?

Şablonlar için her iki bildirimi de gördüm:

template < typename T >
template < class T >

Fark ne?

Ve aşağıdaki örnekte bu anahtar kelimeler tam olarak ne anlama geliyor (şablonlar hakkındaki Alman Wikipedia makalesinden alınmıştır)?

template < template < typename, typename > class Container, typename Type >
class Example
{
     Container< Type, std::allocator < Type > > baz;
};

typenameve classbir şablon belirtmenin temel durumunda değiştirilebilir:

template<class T>
class Foo
{
};

ve

template<typename T>
class Foo
{
};

eşdeğerdir.

Bunu söyledikten sonra, typenameve arasındaki farkın olduğu belirli durumlar vardır.class .

Birincisi bağımlı tipler söz konusudur. typename, typedefbu örnekte olduğu gibi başka bir şablon parametresine bağlı iç içe bir türe başvururken bildirmek için kullanılır :

template<typename param_t>
class Foo
{
    typedef typename param_t::baz sub_t;
};

Sorunuzda gerçekten gösterdiğiniz ikincisi, bunun farkında olmasanız da:

template < template < typename, typename > class Container, typename Type >

Bir belirtirken şablon şablonu , classanahtar kelime yukarıda gibi kullanılmalıdır - öyle değil ile değiştirilebilir typenamebu durumda (not: Her iki anahtar kelimeler bu durumda izin verilen C ++ 17 beri) .

classBir şablonu açıkça başlatırken de kullanmalısınız :

template class Foo<int>;

Kaçırdığım diğer durumlar olduğundan eminim, ancak sonuçta: bu iki anahtar kelime eşdeğer değildir ve bunlar, birini veya diğerini kullanmanız gereken bazı yaygın durumlardır.

Şablon parametrelerini adlandırmak için typenameve classeşdeğerdir. §14.1.2:

Şablon parametresinde sınıf ve tür adı arasında anlamsal bir fark yoktur.

typenameancak şablonları kullanırken başka bir bağlamda mümkündür - derleyiciye bağımlı bir türe başvurduğunuzu belirtmek için. §14.6.2:

Bir şablon bildiriminde veya tanımında kullanılan ve bir şablon parametresine bağlı olan bir ad, geçerli ad araması bir tür adı bulamazsa veya ad, tür anahtar sözcüğü tarafından nitelendirilmedikçe, bir tür adlandırmayacağı varsayılır.

Misal:

typename some_template<T>::some_type

Olmadan typenamederleyici bir tip atıfta olsun ya da olmasın, genel olarak söyleyemem.

Teknik bir fark olmamakla birlikte, ikisinin biraz farklı şeyler ifade ettiğini gördüm.

Yerleşik öğeler (dizi gibi) dahil olmak üzere T olarak herhangi bir türü kabul etmesi gereken bir şablon için

template<typename T>
class Foo { ... }

Yalnızca T'nin gerçek bir sınıf olduğu yerde çalışacak bir şablon için.

template<class T>
class Foo { ... }

Ancak bunun yalnızca bazı kişilerin kullandığı stil tarzı bir şey olduğunu unutmayın. Standart tarafından zorunlu kılınmamış veya derleyiciler tarafından zorunlu kılınmamıştır

1. Fark yok
2. Şablon türü parametresinin Containerkendisi iki tür parametresine sahip bir şablondur.

Bu pasaj parçası c ++ primer kitabından. Her ne kadar bunun yanlış olduğuna eminim.

Her tür parametresinden önce anahtar kelime sınıfı veya tür adı kullanılmalıdır:

// error: must precede U with either typename or class
template <typename T, U> T calc(const T&, const U&);

Bu anahtar kelimeler aynı anlama gelir ve bir şablon parametre listesinde birbirinin yerine kullanılabilir. Bir şablon parametre listesi her iki anahtar kelimeyi de kullanabilir:

// ok: no distinction between typename and class in a template parameter list
template <typename T, class U> calc (const T&, const U&);

Bir şablon türü parametresi belirlemek için sınıf yerine typename anahtar sözcüğünü kullanmak daha sezgisel görünebilir. Sonuçta, yerleşik (sınıf dışı) türleri şablon türü bağımsız değişkeni olarak kullanabiliriz. Ayrıca, typename daha açık bir şekilde, izleyen adın bir tür adı olduğunu gösterir. Ancak, şablonlar yaygın olarak kullanıldıktan sonra C ++ 'a typename eklendi; bazı programcılar sadece sınıfı kullanmaya devam ediyor