c++ - 如何知道一个类型是否是 std::vector 的特化？

Question

我整个早上都在这个问题上，没有任何结果。基本上，我需要一个简单的元编程东西，如果传递的参数是一种std::vector或不是，我可以分支到不同的专业。

某种is_base_of模板。

这样的事情存在吗 ？

Answer 1

在 C++11 中，您还可以以更通用的方式进行操作：

#include <type_traits>
#include <iostream>
#include <vector>
#include <list>

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

如果你需要一个 trait 类，这很简单，你只需要一个通用模板和对 any 的专业化std::vector：

#include <type_traits>
#include <iostream>
#include <vector>

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

不，但是您可以使用仅接受的模板函数重载std::vector<T>. 在这种情况下，编译器会选择最专业的模板。

Answer 4

在 C++ 11 中，有一种简单的方法可以检查 T 是否为向量：

std::is_same<T, std::vector<typename T::value_type>>::value;