получить value_type разыменовываемых типов - PullRequest
Новая
       29

получить value_type разыменовываемых типов

3 голосов
/ 02 января 2012

Как мне добиться следующего для любого разыменованного типа?

Мне не хватает моего текущего решения, поскольку мне нужно сделать специализацию шаблона класса для каждого типа, с которым я хочу работать: 

template<typename T>
struct get_value_type
{
    typedef typename T::value_type value_type;
};

template<typename E>
struct get_value_type<std::unique_ptr<E>>
{
    typedef typename E::value_type value_type;
};  

template<typename E>
struct get_value_type<std::shared_ptr<E>>
{
    typedef typename E::value_type value_type;
};  

template<typename E>
struct get_value_type<boost::optional<E>>
{
    typedef typename E::value_type value_type;
};

Я пробовал кое-что по пути, которое не работает. 

template<typename T, typename IsIndirect = false_type>
get_value_type
{
    typedef typename T::value_type value_type;     
}

template<typename T>
struct get_value_type<T, true_type>
{
     typedef decltype(*boost::declval<E>())::value_type value_type; 
};

typedef get_value_type<T, is_indirect<T>::type> value_type;

Ответы [ 2 ]

7 голосов
/ 02 января 2012

Вы ищете std::pointer_traits<PointerType>::element_type, который живет в <memory>. 

#include <memory>
#include <boost/optional.hpp>

template <class Ptr>
struct MyPointer
{
};

template <class Ptr>
struct YourPointer
{
    typedef signed char element_type;
};

int main()
{
    static_assert
    (
        std::is_same
        <
            std::pointer_traits<std::unique_ptr<double>>::element_type,
            double
        >::value,
        ""
    );
    static_assert
    (
        std::is_same
        <
            std::pointer_traits<std::unique_ptr<short[]>>::element_type,
            short
        >::value,
        ""
    );
    static_assert
    (
        std::is_same
        <
            std::pointer_traits<std::shared_ptr<const char>>::element_type,
            const char
        >::value,
        ""
    );
    static_assert
    (
        std::is_same
        <
            std::pointer_traits<boost::optional<int*>>::element_type,
            int*
        >::value,
        ""
    );
    static_assert
    (
        std::is_same
        <
            std::pointer_traits<MyPointer<long long>>::element_type,
            long long
        >::value,
        ""
    );
    static_assert
    (
        std::is_same
        <
            std::pointer_traits<YourPointer<long long>>::element_type,
            signed char
        >::value,
        ""
    );
}

20.6.3.1 Типы элементов черты указателя [pointer.traits.types]

typedef см. Ниже element_type;

Тип: Ptr::element_type, если такой тип существует; в противном случае T, если Ptr - создание экземпляра шаблона класса в форме SomePointer<T, Args>, где Args - ноль или более аргументов типа; в противном случае специализация плохо сформирована.

Да, и есть специализация для типов указателей: 

template <class T>
struct pointer_traits<T*>
{
    typedef T*        pointer;
    typedef T         element_type;
    typedef ptrdiff_t difference_type;

    template <class U> using rebind = U*;

    static pointer pointer_to(see below r) noexcept;
};
2 голосов
/ 02 января 2012

Одним из решений, которое может быть слишком широким, является использование аргумента шаблона шаблона: 

template <template <typename> class C, typename T>
struct get_value_type<C<T>>
{
    typedef T value_type;
};

Более гибкое решение будет использовать variadics: 

template <typename> struct get_first_param;

template <template <typename...> class C, typename T, typename ...Args>
struct get_first_param<C<T, Args...>>
{
    typedef T value_type;
};
...