Come sapere se un tipo è una specializzazione di std :: vector?

Question

Sono stato su questo problema per tutta la mattinata senza alcun risultato. Fondamentalmente, ho bisogno di una semplice metaprogrammazione che mi permetta di diramarti verso diverse specializzazioni se il parametro passato è una specie di std :: vector o meno.

Alcuni tipi di is_base_of per i modelli.

Esiste una cosa del genere?

Answer 1

In C++ 11 si può anche fare in modo più generico:

#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; 
} 

Answer 2

No, ma è possibile sovraccaricare con una funzione modello che accetta solo std::vector<T>. Il compilatore sceglierà il modello più specializzato in questi casi.

Answer 3

Se avete bisogno di una classe tratto è abbastanza semplice, è necessario solo un modello generale e una specializzazione da qualsiasi std::vector:

#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; 
}