[英]template specialization for all iterators of std::map
我有特質課,說:
template <class T>
struct KeyValueTraits
{
typedef typename T::key_t key_t;
typedef typename T::value_t value_t;
}
現在我想為std::map
所有迭代器聲明這個特性的特化
template < typename... Args >
struct KeyValueTraits<typename std::map<Args...>::iterator >
{
typedef std::map<Args...> target_t;
typedef typename target_t::key_type key_t;
typedef typename target_t::mapped_type value_t;
};
編譯器引發錯誤:
錯誤C2764:'Args':模板參數未在部分特化中使用或推導
那么如何為所有可能的std::map<...>::iterator
聲明traits-type?
您使用可變參數模板參數,所以我想您可以接受C ++ 11解決方案。
基於模板專業化,解決方案,我提出以下(不是很好)。
請key_t
,在std::map<>
鍵的類型不是key_t
而是key_type
並且值的類型不是value_t
而是mapped_type
。
#include <map>
template <typename X>
struct with_kt
{
template <typename Y = X>
static constexpr bool getValue (int, typename Y::key_type * = nullptr)
{ return true; }
static constexpr bool getValue (long)
{ return false; }
static constexpr bool value { getValue(0) };
};
template <typename T, bool = with_kt<T>::value>
struct KeyValueTraits;
template <typename T>
struct KeyValueTraits<T, true>
{
using key_t = typename T::key_type;
using value_t = typename T::mapped_type;
};
template <typename T>
struct KeyValueTraits<T, false>
{
using pair_t = decltype(* std::declval<T>());
using key_t = typename std::remove_const<
decltype(std::declval<pair_t>().first)>::type;
using value_t = decltype(std::declval<pair_t>().second);
};
using mil = std::map<int,long>;
int main()
{
static_assert(std::is_same<KeyValueTraits<mil>::key_t,
KeyValueTraits<mil::iterator>::key_t
>::value, "!");
static_assert(std::is_same<KeyValueTraits<mil>::value_t,
KeyValueTraits<mil::iterator>::value_t
>::value, "!!");
static_assert(std::is_same<KeyValueTraits<mil>::key_t,
KeyValueTraits<mil::const_iterator>::key_t
>::value, "!!!");
static_assert(std::is_same<KeyValueTraits<mil>::key_t,
KeyValueTraits<mil::reverse_iterator>::key_t
>::value, "!!!!");
static_assert(std::is_same<KeyValueTraits<mil>::key_t,
KeyValueTraits<mil::const_reverse_iterator>::key_t
>::value, "!!!!!");
}
這是一種可能的解決方案(它改變了KeyValueTraits模板簽名,因為它似乎不可能)。
template <class T, class = void>
struct KeyValueTraits
{
typedef typename T::key_t key_t;
typedef typename T::value_t value_t;
};
template <class MapIter>
struct KeyValueTraits<MapIter,
typename std::enable_if<
sizeof(std::declval<MapIter>()->first) &&
sizeof(std::declval<MapIter>()->second)
>::type>
{
typedef decltype(std::declval<MapIter>()->first) key_t;
typedef decltype(std::declval<MapIter>()->second) value_t;
};
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.