Обнаружение структур STL по признакам типа: руководство по is_container и is_vector

Введение

Признаки типов предоставляют мощный механизм запроса типов во время компиляции. Это дает программистам возможность писать высокооптимизированный и гибкий код. Одним из распространенных вариантов использования является обнаружение структур STL, таких как векторы, наборы и карты.

Определение is_vector

Чтобы определить, представляет ли тип вектор, мы можем использовать специализированная версия метафункции Enable_if из Boost. Это позволяет нам условно специализировать наш признак типа is_vector на основе сходства типа с std::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 или конкретно вектором. Эти методы необходимы для расширенного метапрограммирования и оптимизации производительности кода.