static_assert 可以检查类型是否是向量吗？

Question

static_assert 可以检查类型是否是向量吗？ IE 中，int 会引发断言，而 vector 则不会。
我正在考虑以下内容：

static_assert(decltype(T) == std::vector, "Some error")

Answer 1

是的。考虑以下元函数：

#include <stdio.h>
#include <vector>

template <class N>
struct is_vector { static const int value = 0; };

template <class N, class A>
struct is_vector<std::vector<N, A> > { static const int value = 1; };

int main()
{
   printf("is_vector<int>: %d\n", is_vector<int>::value);
   printf("is_vector<vector<int> >: %d\n", is_vector<std::vector<int> >::value);
}

只需将其用作 static_assert 中的表达式即可。

Answer 2

c++0x：

static_assert(std::is_same<T, std::vector<int>>::value, "Some Error");

Answer 3

一个通用的解决方案。给定一个类型和一个模板，检查该类型是否是后者的实例：

template<typename T, template<typename...> class Tmpl>
struct is_instance_of_a_given_class_template : std:: false_type {};
template<template<typename...> class Tmpl, typename ...Args>
struct is_instance_of_a_given_class_template< Tmpl<Args...>, Tmpl > : std:: true_type {};

有了这个，则以下内容将为真：

is_instance_of_a_given_class_template<    vector<int>  ,  vector  > :: value
                    type to check  ~~~~~~~^               ^
        template to check against  ~~~~~~~~~~~~~~~~~~~~~~~/

因此您将使用：

static_assert( is_instance_of_a_given_class_template<T,std::vector>::value
              , "Some error")

注意：如果T 是 const，这不能直接工作。因此，测试类似 is_instance_of_a_given_class_templateis_instance_of_a_given_class_template< std::decay_t,std::vector> 代替。

Answer 4

是。

template<typename T>
struct isVector
{
  typedef char (&yes)[2];
  template<typename U>
  static yes check(std::vector<U>*);
  static char check(...);

  static const bool value = (sizeof(check((T*)0)) == sizeof(yes));
};

用法：

isVector<vector<int> >::value;
isVector<int>::value;

演示。

注意：我的（复杂的）答案有一个限制，如果T是从vector<>公开继承的，则它的计算结果为true。。如果 T 具有来自 vector 的 private/protected 继承，可能会导致编译器错误。只是保留下来作为记录，不应该使用这种方式！ :)