Проблемы с зависимыми типами в шаблонах

У меня возникают проблемы с шаблонами и зависимыми типами:

namespace Utils
{
    void PrintLine(const string& line, int tabLevel = 0);
    string getTabs(int tabLevel);

    template<class result_t, class Predicate>
    set<result_t> findAll_if(typename set<result_t>::iterator begin, set<result_t>::iterator end, Predicate pred) // warning C4346
    {
        set<result_t> result;
        return findAll_if_rec(begin, end, pred, result);
    }
}

namespace detail
{
    template<class result_t, class Predicate>
    set<result_t> findAll_if_rec(set<result_t>::iterator begin, set<result_t>::iterator end, Predicate pred, set<result_t> result)
    {
        typename set<result_t>::iterator nextResultElem = find_if(begin, end, pred);
        if (nextResultElem == end)
        {
            return result;
        }
        result.add(*nextResultElem);

        return findAll_if_rec(++nextResultElem, end, pred, result);
    }
}

Жалобы компилятора из указанного выше места:

warning C4346: 'std::set<result_t>::iterator' : dependent name is not a type. prefix with 'typename' to indicate a type
error C2061: syntax error : identifier 'iterator'

Что я делаю неправильно?

Ответы

Ответ 1

Ну, предупреждение говорит:

зависимое имя не является типом. prefix с 'typename' для указания типа

Зависимое имя (то есть iterator in std::set<result_t>::iterator) не является типом. Вы должны префикс его с помощью typename, чтобы указать тип:

typename std::set<result_t>::iterator

Итак, ваша декларация должна быть:

template<class result_t, class Predicate>
set<result_t> findAll_if(typename set<result_t>::iterator begin, typename set<result_t>::iterator end, Predicate pred)
                                                note added typename ^

(и определение должно соответствовать объявлению)

Ответ 2

В этой строке требуется дополнительное ключевое слово typename:

set<result_t> findAll_if(typename set<result_t>::iterator begin, Ьурепат set<result_t>::iterator end, Predicate pred) // warning C4346