boost/fusion/container/set/detail/lookup_key.hpp

/*=============================================================================
    Copyright (c) 2001-2006 Joel de Guzman

    Distributed under the Boost Software License, Version 1.0. (See accompanying 
    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
==============================================================================*/
#if !defined(FUSION_LOOKUP_KEY_09162005_1111)
#define FUSION_LOOKUP_KEY_09162005_1111

#include <boost/mpl/int.hpp>
#include <boost/type_traits/add_const.hpp>
#include <boost/type_traits/add_reference.hpp>
#include <boost/fusion/support/detail/unknown_key.hpp>

namespace boost { namespace fusion 
{
    struct void_;    
}}

namespace boost { namespace fusion { namespace detail 
{
    template <typename T>
    struct set_data_type
    {
        typedef typename add_reference<T>::type type;
    };

    template <>
    struct set_data_type<void_>
    {
        typedef void_& type;
    };

    template <typename T>
    struct set_const_data_type
    {
        typedef typename 
            add_reference<
                typename add_const<T>::type
            >::type 
        type;
    };

    template <>
    struct set_const_data_type<void_>
    {
        typedef void_ const& type;
    };

    template <typename T>
    struct set_value_type
    {
        typedef T type;
    };

    template <>
    struct set_value_type<void_>
    {
        typedef void_ type;
    };

    template <typename T, int index>
    struct set_key_type
    {
        typedef T type;
    };

    template <int index>
    struct set_key_type<void_, index>
    {
        typedef unknown_key<index> type;
    };

    template <int index, typename RT, typename Key, typename Vector>
    struct set_lookup_key
    {
        static RT
        call(Vector& vec)
        {
            return vec.at_impl(mpl::int_<index>());
        }
    };

    template <int index, typename Vector>
    struct set_lookup_key<index, void_&, unknown_key<index>, Vector>
    {
        static void_&
        call(Vector& vec); // intentionally undefined
    };
}}} 

#endif