Как специализировать Iterator по типу значения в C ++? - PullRequest
Новая
       34

Как специализировать Iterator по типу значения в C ++?

14 голосов
/ 08 июня 2011

Можно ли специализировать параметр шаблона Iterator по его value_type?

У меня есть функция со следующим прототипом. 

template<typename InputIterator>
void f(InputIterator first, InputIterator last);

И я хочу обработать специально, если InputIterator::value_type это SomeSpecificType.

Ответы [ 5 ]

9 голосов
/ 08 июня 2011

Вы можете использовать некоторые промежуточные структуры, чтобы получить необходимую вам частичную специализацию шаблона.Нечто подобное должно сработать 

template<typename T, typename V>
struct f_impl
{
  static void f( T first, T last ) {...}; //Default version
};

template<typename T>
struct f_impl<T, SomeSpecificType>
{
   static void f(T first,T last) {...}; //Specialisation
};

template<typename InputIterator> void f(InputIterator first, InputIterator last)
{
  f_impl<
      InputIterator,
      typename std::iterator_traits<InputIterator>::value_type
  >::f(first,last);
};
8 голосов
/ 08 июня 2011

Используя SFINAE, предполагая, что enable_if[_c] и is_same либо от Boost, либо от <type_traits> (и соответственно имеют либо boost::, либо std:: соответственно): 

template<typename InputIterator>
typename enable_if<
    !is_same<
        typename std::iterator_traits<InputIterator>::value_type,
        SomeSpecificType
    >::value
>::type
f(InputIterator first, InputIterator last)
{
    // Default implementation.
}

template<typename InputIterator>
typename enable_if<
    is_same<
        typename std::iterator_traits<InputIterator>::value_type,
        SomeSpecificType
    >::value
>::type
f(InputIterator first, InputIterator last)
{
    // Special case
}

В случае Boost используйте boost::enable_if_c для чего-то похожего на приведенное выше. Вы можете использовать boost::enable_if и избавиться от ::value, но затем также должны использовать, например, boost::disable_if.

0 голосов
/ 08 июня 2011

Называйте меня наивным, но почему не хватит следующего? 

struct MyType; // the only type I want

#include <iterator>
typedef std::iterator<std::input_iterator_tag, MyType> MyIt;

void f(const MyIt & begin, const MyIt & end)
{
   /* ... */
}

Хорошо, забудьте об этом выше, это была чепуха.Вот способ сделать это, который является правильным ответом Люка сверху, для C ++ 0x: 

#include <vector>
#include <iterator>
#include <type_traits>

// "int" is our desired iterator value type, "void" is f's return type.
template <typename It>
typename std::enable_if<std::is_same<int, typename std::iterator_traits<It>::value_type>::value, void>::type
f(const It & begin, const It & end) { /* your function here */ }

int main()
{
  std::vector<double> x;
  std::vector<int> y;

  //f(x.cbegin(), x.cend()); // error
  f(y.cbegin(), y.cend());   // works
}
0 голосов
/ 08 июня 2011

Это будет работать. Этот тип специализации работает только со структурами, поэтому я не могу сделать это с помощью функции. 

template <typename InputIterator, typename ValueType = typename InputIterator::value_type>
struct foobar
{
    static void invoke(InputIterator first, InputIterator second)
    {
        // ...
    }
};

template <typename InputIterator>
struct foobar<InputIterator, SomeSpecificType>
{
    static void invoke(InputIterator first, InputIterator second)
    {
        // ...
    }
};

Для этого не нужно указывать тип. Это должно быть выведено автоматически.

0 голосов
/ 08 июня 2011

Как насчет: 

template<typename T>
typename std::enable_if<std::is_same<typename T::value_type, SomeType>::value, void>::type
f(T first, T second);
...