Необходимо создать что-то вроде аналога алгоритма find из STL. Вызов примерно такой:



Но главное вот что. Как реализовать функцию, чтобы вызов был возможен, только если третий параметр в точности соответствует типу элементов в контейнере? То есть, если vec - вектор значений int, а key - переменная типа double, то нужно, чтобы происходила ошибка компиляции.

Первая попытка:

Тут value_type и iter_type вообще никак не связаны. Поэтому неявные преобразования выполняются, и ошибка может возникнуть только при *begin != key, если неявное преобразование между типами невозможно.

Попытка вторая, переписал заголовок таким образом:

в надежде на то, что тип параметра key теперь будет зависеть от типа итератора. Но от преобразований это все-равно не спасает. Как вариант, конечно, можно передать обычную ссылку вместо константной... но это по сути нехорошо.

Возможно ли еще какое-то решение этой проблемы?

Это сообщение отредактировал(а) neocpp - 10.2.2013, 11:15

Можно, например так:

если нет  С++11, то в бусте это есть.

Или так

volatile,  спасибо, так получилось.

borisbnб,  а ваш код не понял, к сожалению, и отрабатывает он также как и мой. Какую роль должен играть третий параметр?

это - SFINAE