Bir tür std :: vektörün uzmanlığı olup olmadığını nasıl öğrenebilirim?

Question

Bütün sabah bu sorun üzerinde hiç bir sonuç olmadan yaşadım. Temel olarak, eğer parametre geçtiyse bir tür std :: vector olsun ya da olmasın, farklı uzmanlıklara dalmamı sağlayan basit bir meta programlama işine ihtiyacım var.

Şablonlar için bir çeşit is_base_of.

Böyle bir şey var mı?

Answer 1

: Bir özellik sınıfı gerekiyorsa

Answer 2

Hayır, ancak yalnızca std::vector<T> kabul eden bir şablon işleviyle aşırı yüklenebilirsiniz. Derleyici bu gibi durumlarda en özel şablonu seçecektir. Ayrıca daha genel bir şekilde yapabiliriz C++ 11 yılında

#include <type_traits> 
#include <iostream> 

template<typename> 
struct is_std_vector : std::false_type {}; 

template<typename T, typename A> 
struct is_std_vector<std::vector<T,A>> : std::true_type {}; 

int main() 
{ 
    typedef std::vector<int> vec; 
    typedef int not_vec; 
    std::cout << is_std_vector<vec>::value << is_std_vector<not_vec>::value; 
} 

Answer 3

o, sadece genel bir şablon ve bir ihtisas herhangi std::vector üzerinde oldukça basittir ihtiyaç var:

#include <type_traits> 
#include <iostream> 

template<typename Test, template<typename...> class Ref> 
struct is_specialization : std::false_type {}; 

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


int main() 
{ 
    typedef std::vector<int> vec; 
    typedef int not_vec; 
    std::cout << is_specialization<vec, std::vector>::value << is_specialization<not_vec, std::vector>::value; 

    typedef std::list<int> lst; 
    typedef int not_lst; 
    std::cout << is_specialization<lst, std::list>::value << is_specialization<not_lst, std::list>::value; 
}