Perbedaan kata kunci 'typename' dan 'class' dalam templat?

Untuk templat saya telah melihat kedua deklarasi:

template < typename T >
template < class T >

Apa bedanya?

Dan apa sebenarnya arti kata kunci tersebut dalam contoh berikut (diambil dari artikel Wikipedia bahasa Jerman tentang templat)?

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

typenamedan classdapat dipertukarkan dalam kasus dasar menentukan templat:

template<class T>
class Foo
{
};

dan

template<typename T>
class Foo
{
};

adalah setara.

Karena itu, ada kasus khusus di mana ada perbedaan antara typenamedan class.

Yang pertama adalah dalam kasus tipe dependen. typenamedigunakan untuk mendeklarasikan saat Anda mereferensikan tipe bersarang yang bergantung pada parameter templat lain, seperti typedefdalam contoh ini:

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

Pertanyaan kedua yang sebenarnya Anda tunjukkan dalam pertanyaan Anda, meskipun Anda mungkin tidak menyadarinya:

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

Saat menentukan templat templat , classkata kunci HARUS digunakan seperti di atas - tidak dapat dipertukarkan dengan typenamekasus ini (catatan: karena C ++ 17 kedua kata kunci diizinkan dalam kasus ini) .

Anda juga harus menggunakan classketika secara eksplisit membuat template:

template class Foo<int>;

Saya yakin ada beberapa kasus lain yang saya lewatkan, tetapi intinya adalah: dua kata kunci ini tidak setara, dan ini adalah beberapa kasus umum di mana Anda harus menggunakan satu atau yang lain.

Untuk parameter penamaan template, typenamedan classsetara. §14.1.2:

Tidak ada perbedaan semantik antara kelas dan nama ketik di parameter-templat.

typenamenamun dimungkinkan dalam konteks lain saat menggunakan template - untuk memberi petunjuk pada kompiler bahwa Anda merujuk pada tipe dependen. §14.6.2:

Nama yang digunakan dalam pernyataan atau definisi templat dan yang bergantung pada parameter templat diasumsikan tidak menyebutkan nama jenis kecuali pencarian nama yang berlaku menemukan nama jenis atau nama tersebut dikualifikasikan oleh nama kunci kata kunci.

Contoh:

typename some_template<T>::some_type

Tanpa typenamekompiler tidak dapat memberi tahu secara umum apakah Anda merujuk pada suatu tipe atau tidak.

Meskipun tidak ada perbedaan teknis, saya telah melihat keduanya digunakan untuk menunjukkan hal-hal yang sedikit berbeda.

Untuk templat yang menerima jenis apa pun sebagai T, termasuk bawaan (seperti larik)

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

Untuk templat yang hanya akan berfungsi jika T adalah kelas nyata.

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

Namun perlu diingat bahwa ini adalah murni gaya yang digunakan sebagian orang. Tidak diamanatkan oleh standar atau dipaksakan oleh kompiler

1. Tidak ada perbedaan
2. Parameter tipe templat Containersendiri merupakan templat dengan dua jenis parameter.

Cuplikan ini dari c ++ buku utama. Meskipun saya yakin ini salah.

Setiap parameter tipe harus didahului oleh kelas kata kunci atau nama ketik:

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

Kata kunci ini memiliki arti yang sama dan dapat digunakan secara bergantian di dalam daftar parameter template. Daftar parameter templat dapat menggunakan kedua kata kunci:

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

Tampaknya lebih intuitif untuk menggunakan nama kunci kata kunci daripada kelas untuk menetapkan parameter jenis template. Lagi pula, kita bisa menggunakan tipe bawaan (bukan kelas) sebagai argumen tipe templat. Selain itu, nama ketik lebih jelas menunjukkan bahwa nama yang mengikuti adalah nama jenis. Namun, nama ketik ditambahkan ke C ++ setelah templat sudah digunakan secara luas; beberapa programmer terus menggunakan kelas secara eksklusif