Bolehkah saya Tentukan sama ada Kelas Adalah Pengkhususan Templat Kelas?

template <class T>
struct A {};

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

int main(){
  compare< A<int> >();
}</p>
<p>Dalam kes penggunaan ini, A<int> harus sejajar dengan A<>, menghasilkan output 1.</p>
<p><strong>Penyelesaian:</strong></p>
<p>Kod di bawah membolehkan anda mengesahkan sama ada kelas ialah versi khusus bagi templat:</p>
<pre class="brush:php;toolbar:false">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>{}, "");