检测具有类型特征的 STL 结构：is_container 和 is_vector 指南

简介

类型特征提供了一种在编译时查询类型的强大机制。这使程序员能够编写高度优化且灵活的代码。一个常见的用例是检测 STL 结构，例如向量、集合和映射。

定义 is_vector

要确定类型是否表示向量，我们可以使用Boost 的enable_if 元函数的专门版本。这允许我们根据类型与 std::vector 的相似性有条件地专门化 is_vector 类型特征。

但是，由于未使用模板参数，以下实现可能会遇到编译错误：

template
struct is_vector {
  static bool const value = false;
};

template
struct is_vector> >::type> {
  static bool const value = true;
};

检测 STL 容器的替代方法

SFINAE（替换失败不是错误）技术提供了检测类 STL 容器的替代方法。这是一个实现：

template
struct is_container : std::false_type {};

template
struct is_container_helper {};

template
struct is_container().size()),
                decltype(std::declval().begin()),
                decltype(std::declval().end()),
                decltype(std::declval().cbegin()),
                decltype(std::declval().cend())
                >,
            void
            >
        > : public std::true_type {};

此类型特征检查 STL 容器中常见的特定方法和类型是否存在。如果所有检查都通过，则类型特征的计算结果为 true。

仅检测 STL 容器

要专门限制对 STL 容器的检测，您可以删除对 T 的检查::allocator_type，因为它不是所有 STL 的必需成员容器。

结论

通过提供的类型特征，您可以轻松确定给定类型是 STL 结构还是向量。这些技术对于高级元编程和优化代码性能至关重要。