Description

Метафункция, которая устанавливает концептуальную классификацию конкретной Последовательности или Итератора (см. Итераторные концепции и Понятия последовательностей ).

Synopsis

namespace traits
{
    template <typename T>
    struct category_of
    {
        typedef unspecified type;
    };
}

Parameters

Expression Semantics

typedef traits::category_of<T>::type category;

Тип возврата

Тип возврата получен из одного из:

namespace boost { namespace fusion
{
    struct incrementable_traversal_tag {};
    struct single_pass_traversal_tag
        : incrementable_traversal_tag {};
    struct forward_traversal_tag
        : single_pass_traversal_tag {};
    struct bidirectional_traversal_tag
        : forward_traversal_tag {};
    struct random_access_traversal_tag
        : bidirectional_traversal_tag {};
}}

И необязательно из:

namespace boost { namespace fusion
{
    struct associative_tag {};
    struct unbounded_tag {};
}}

Семантика: Устанавливает концептуальную классификацию конкретного Последовательности или Итератора.

Header

#include <boost/fusion/support/category_of.hpp>
#include <boost/fusion/include/category_of.hpp>

Example

using boost::is_base_of;
typedef traits::category_of<list<> >::type list_category;
typedef traits::category_of<vector<> >::type vector_category;
BOOST_MPL_ASSERT(( is_base_of<forward_traversal_tag, list_category> ));
BOOST_MPL_ASSERT(( is_base_of<random_access_traversal_tag, vector_category> ));