Как узнать, является ли тип специализацией std::vector?

Я был на этой проблеме все утро без каких-либо результатов. В принципе, мне нужна простая метапрограммируемая вещь, которая позволяет мне переходить к различным специализациям, если переданный параметр является видом std::vector или нет.

Какой-то тип is_base_of для шаблонов.

Существует ли такая вещь?

Ответ 1

В С++ 11 вы также можете сделать это более общим образом:

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

Ответ 2

Если вам нужен класс признаков, он довольно прост, вам нужен только общий шаблон и специализация по любому 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;
}

Ответ 3

Нет, но вы можете перегрузить функцию шаблона, которая принимает только std::vector<T>. В таких случаях компилятор выберет наиболее специализированный шаблон.