братья, поделитесь "современным" ( в духе С++ 11/14) трюком —
мне надо в шаблонной функции ввести "ограничение" — категория итератора должна быть рэндом эксесс.
я сделал тупо:

........
template<class> struct invalid_iterator_category;
template<> struct invalid_iterator_category{};

template<class Iterator>
Iterator some_algorithm(Iterator first, Iterator last)
{
   using category = typename std::iterator_category<Iterator>::iterator_category;
   const invalid_iterator_category<category> dummy{};
   (void)dummy;
    .....
}

но, понятно, в современной библиотеке стандардной/в современном С++ должно быть что-то поудобнее. как это делается?

Здравствуйте, Lorenzo_LAMAS, Вы писали:

L_L>братья, поделитесь "современным" ( в духе С++ 11/14) трюком -
L_L>мне надо в шаблонной функции ввести "ограничение" — категория итератора должна быть рэндом эксесс.

template<class Iterator>
typename std::enable_if<
    std::is_same<
    typename std::iterator_traits<Iterator>::iterator_category, 
    std::random_access_iterator_tag>::value, Iterator>::type
    some_algorithm(Iterator first, Iterator last)
{}


void test()
{
    std::vector<int> a;
    auto c = some_algorithm(a.begin(), a.end());
    int e;
    auto d = some_algorithm(&e, &e);
}

Здравствуйте, andyp, Вы писали:

A>Здравствуйте, Lorenzo_LAMAS, Вы писали:

A>

A>template<class Iterator>
A>typename std::enable_if<
A>    std::is_same<
A>    typename std::iterator_traits<Iterator>::iterator_category, 
A>    std::random_access_iterator_tag>::value, Iterator>::type
A>    some_algorithm(Iterator first, Iterator last)
A>{}

отлично, диагностика компилятором выдается отменно читаемая!

Здравствуйте, Lorenzo_LAMAS, Вы писали:

L_L>отлично, диагностика компилятором выдается отменно читаемая!

http://rsdn.ru/forum/cpp/4533301.1

Автор: jazzer
Дата: 09.12.11

(читай вторую половину, которая "специальный совет")

You will always get what you always got
  If you always do  what you always did

Здравствуйте, Lorenzo_LAMAS, Вы писали:

L_L>мне надо в шаблонной функции ввести "ограничение" — категория итератора должна быть рэндом эксесс.

Чтобы было random_access_iterator_tag, но никакой его субкласс "super_duper_iterator_tag"? (Не будет ли конфликтов с бустовскими итераторами?)

std::is_same или, что более подходит по смыслу, std::is_base_and_derived
Или по-старинке, 98

char ok_random_access_iterator(std::random_access_iterator_tag*);

template<class I> void algo(I begin, I end) {
  sizeof(ok_random_access_iterator( (typename std::iterator_traits<I>::iterator_category*)NULL ));
  ....
}

Аналогично можно и в SFINAE вытащить.

Здравствуйте, Lorenzo_LAMAS, Вы писали:

L_L>отлично, диагностика компилятором выдается отменно читаемая!

Собственно, у подхода с enable_if есть одна грабля, о которой частенько забывают: enable_if не отлавливает ошибки (и рапортует, если что не так), а просто выкидывает функцию из overload set по SFINAE.

Соответственно, может неожиданно сработать что-то еще, что и не предполагалось, но залетело в overload set по какому-нть using или ADL, не говоря уже о сообщении об ошибке, в котором будет лишь написано, что функция не найдена.
В то время как обычно нам хочется иметь внятное и короткое сообщение об ошибке и больше ничего.

Для этого достаточно просто дополнительно объявить функцию-перехватчик для всех неподходящих типов аргументов, которая не будет делать ничего, кроме рапорта об ошибке.

You will always get what you always got
  If you always do  what you always did