Я испытываю затруднения из-за шаблонов и зависимых типов:
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'
Что я делаю неправильно?
Что ж, предупреждение гласит:
зависимое имя не является типом. префикс с 'typename' для обозначения типа
Зависимое имя (то есть итератор
в std :: set
) не является типом. Чтобы указать тип, вам нужно добавить к нему префикс 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 ^
(и определение должно соответствовать объявлению)
Вам нужно дополнительное ключевое слово typename в этой строке:
set
typename set