c++ - static_assert 可以检查类型是否为 vector 吗？

Question

static_assert 可以检查一个类型是否是一个 vector 吗？ IE，一个 int会提出断言，而 vector<int>不会。
我正在考虑以下内容:

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 中的表达式。