Bagaimana untuk Menentukan sama ada Kelas ialah Pengkhususan Templat Kelas dalam C?

Mengenal pasti Pengkhususan Templat

Dalam C , kadangkala perlu untuk menentukan sama ada kelas tertentu ialah pengkhususan bagi templat kelas tertentu. Sebagai contoh, pertimbangkan templat kelas berikut:

template <class T>
struct A {};

Katakan kami mempunyai jenis CompareT. Bagaimanakah kami boleh mengesahkan sama ada ia adalah A<> untuk beberapa jenis ? Pertimbangkan contoh berikut:

template<class CompareT>
void compare(){
   // is this A ?
   cout << is_same< A<*> , CompareT >::value;     // A<*> ????
}

int main(){
  compare< A<int> >();
}

Dalam contoh ini, kami menjangkakan A untuk memadankan A<*>, menghasilkan pernyataan cetakan 1.

Penyelesaian:

Satu pendekatan untuk menangani masalah ini ialah menggunakan pengaturcaraan meta templat. Berikut ialah coretan yang membolehkan anda menentukan templat yang diingini untuk dipadankan dengan:

template <class T, template <class...> class Template>
struct is_specialization : std::false_type {};

template <template <class...> class Template, class... Args>
struct is_specialization<Template<Args...>, Template> : std::true_type {};

static_assert(is_specialization<std::vector<int>, std::vector>{}, "");
static_assert(!is_specialization<std::vector<int>, std::list>{}, "");

Penyelesaian ini menyediakan cara yang mudah untuk menyemak sama ada jenis tertentu sememangnya pengkhususan bagi templat kelas tertentu.

Atas ialah kandungan terperinci Bagaimana untuk Menentukan sama ada Kelas ialah Pengkhususan Templat Kelas dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!