用于std容器的type_traits

type_traits for std Container?

本文关键字：type traits std 用于      更新时间：2023-10-16

我查看了std::type_traits的列表，但没有看到任何与std容器相关的内容。

我正在寻找验证std容器在编译时被传递到模板类型。

template < typename T >
void foo( T bar )
{
    static_assert( is_std_container??? );
}

不存在

如果你知道应该支持的容器类型集，你可以创建自己的trait:

template<class T>
struct is_container
{
    static const bool value = false;
};
template<>
template<class T, class Alloc>
struct is_container<std::vector<T, Alloc>>
{
    static const bool value = true; 
};
// ... same specializations for other containers.

你可以像使用其他特征一样使用它:

cout << is_container<std::vector<int>>::value << endl;
cout << is_container<int>::value << endl;

看这里

注意，通常应该将迭代器传递给函数，而不是容器。因此，您可以保持代码与容器无关，并且更加通用。

正如其他人在评论中回答的那样，没有标准的方法来做到这一点。但是，您可以定义自己的trait系统来确定类型是否为std容器，就像下面的示例一样:

#include <iostream>
#include <vector>
#include <set>
#include <map>
#include <list>
#include <deque>
#include <unordered_set>
#include <unordered_map>
#include <type_traits>
template <typename T> struct container_traits {
  static bool const value = false;  
};
template <typename... Args>
struct container_traits<std::vector<Args...>> {
  static bool const value = true;
};
template <typename... Args>
struct container_traits<std::deque<Args...>> {
  static bool const value = true;
};
template <typename... Args>
struct container_traits<std::list<Args...>> {
  static bool const value = true;
};
template <typename... Args>
struct container_traits<std::set<Args...>> {
  static bool const value = true;
};
template <typename... Args>
struct container_traits<std::map<Args...>> {
  static bool const value = true;
};
template <typename... Args>
struct container_traits<std::unordered_set<Args...>> {
  static bool const value = true;
};
template <typename... Args>
struct container_traits<std::unordered_map<Args...>> {
  static bool const value = true;
};
template<typename T>
struct is_std {
    static constexpr bool const value = container_traits<T>::value;
};
auto main() -> int {
  std::vector<int> v;
  std::cout << std::boolalpha << is_std<decltype(v)>::value << std::endl;
  std::deque<int> dq;
  std::cout << std::boolalpha << is_std<decltype(dq)>::value << std::endl;
  std::set<int> s;
  std::cout << std::boolalpha << is_std<decltype(s)>::value << std::endl;
  std::map<int, int> m;
  std::cout << std::boolalpha << is_std<decltype(m)>::value << std::endl;
  std::unordered_set<int> us;
  std::cout << std::boolalpha << is_std<decltype(us)>::value << std::endl;
  std::unordered_map<int, int> um;
  std::cout << std::boolalpha << is_std<decltype(um)>::value << std::endl;
  std::list<int> l;
  std::cout << std::boolalpha << is_std<decltype(l)>::value << std::endl;
  int i;
  std::cout << std::boolalpha << is_std<decltype(i)>::value << std::endl;
  double d;
  std::cout << std::boolalpha << is_std<decltype(d)>::value << std::endl;
  return 0;
}
演示

相关文章：