Правильные параметры шаблона функции

Question

Я анализирую часть кода, которая была включена в мою презентацию. Ниже были некоторые правдивые или ложные вопросы. Не могли бы вы взглянуть и проверить правильность моего понимания этого термина и ответов? Буду очень благодарен за любые исправления и советы.

template<class I, class F> void p(I b, I e, F f) {
    I i=e;
    do {
        i--;
        f(*i);
        cout<<"test_i: "<<*i<<" "<<endl;
    } while(i !=b); }

Шаблон функции:

1. Требуется разыменование объектов типа I () ( true)

2. Требуется, чтобы объект типа F вел себя как функция с одним аргументом (true)

3. Требует способности объекта типа I к последующему уменьшению * (1020) * (true)

4. Требуется, чтобы можно было проверить, являются ли объекты типа I различными. (правда)