Предикаты\Функторы

@TGrey[WoLf] · Регистрация: 14.09.2008

Студворк — интернет-сервис помощи студентам

Здравствуйте, взялся за прочтение алгоритмов STL и наткнулся на такой вопрос, что же такое Предикаты\Функторы. Определения и примеры я просмотрел, но толком не понял.

А именно возникает следующие вопросы:
1)Почему если создается класс, то там перегружается именно ()
2)Как понять сколько параметров будут переданы?
Вот к примеру код

C++

class ManLess
{
public:
bool operator ()(Man& man1, Man& man2)
{
if (man1.GetAge () < man2.GetAge ())
{
return false;
}
else
{
return true;
}
};
};
 
bool ManOlderThan23(Man& man)
{
if (man.GetAge () > 23)
{
return true;
}
else
{
return false;
}
};
 
class ManOlderThan
{
int m_age;
public:
ManOlderThan (int age)
{
m_age = age;
};
bool operator ()(Man& man)
{
if (man.GetAge () > m_age)
{
return true;
}
else
{
return false;
}
};
};
 
....
 
find_if (programmers.begin (), programmers.end (),ManOlderThan23);
find_if (programmers.begin (), programmers.end (),ManOlderThan (23));
sort (programmers.begin (), programmers.end (), ManLess ());

Как тут понять почему в первых случаях проверяется 1 Man, а в 3 случае 2 Man.

3)От чего зависит будет ли предикат функцией или классом?

-------------------
Если учесть что алгоритм принимает унарный или бинарный предикат, тогда становится понятнее.
Есть ли где описание, какие предикаты принимает тот или иной алгоритм?

@IT_Exp · 24.07.2009, 16:17

что же такое Предикаты\Функторы
Функтор - это объект, который хранит в себе действие (и, возможно, состояние)

1)Почему если создается класс, то там перегружается именно ()
Потому что используется функциональное программирование

2)Как понять сколько параметров будут переданы?
Из документации
Например запись Function, UnaryPredicat говорит о том, что будет передан один параметр, BinaryPredicat, BinaryOperation - передаётся два параметра

3)От чего зависит будет ли предикат функцией или классом?
от прокладки между монитором и креслом (((:

@TGrey[WoLf] · 24.07.2009, 16:29 **[ТС]**

То есть в классе всегда перегружается ()?

На счет 3 что-то я не понял юмора?! Или это значит, что программист сам выбирает?

@ISergey · 24.07.2009, 16:33

Сообщение от TGrey[WoLf

;224031]1)Почему если создается класс, то там перегружается именно ()

Вот посмотри пример.. думаю поймешь

C++

#include <iostream>
 
 
template<typename Ty>
class plus{
public:
    Ty operator()(const Ty& left, const Ty& right) const {
        return (left + right);
    }
};
 
template<typename Ty>
class minus{
public:
    Ty operator()(const Ty& left, const Ty& right) const {
        return (left - right);
    }
};
 
template<typename Ty>
class multiplies{
public:
    Ty operator()(const Ty& left, const Ty& right) const {
        return (left * right);
    }
};
 
 
 
template<typename Ty>
Ty f_minus(const Ty& left, const Ty& right)  {
    return (left - right);
}
 
template<typename Ty>
Ty f_plus(const Ty& left, const Ty& right)  {
    return (left + right);
}
 
template<typename Ty>
Ty f_multiplies(const Ty& left, const Ty& right)  {
    return (left * right);
}
 
 
 
template<typename InIt, typename Ty, typename Fn>
Ty accomulate(InIt first, InIt last, Ty val, Fn Func){
    for(; first != last; ++first)
        val = Func(val, *first); //operator () or function(..)
    return val;
}
 
 
int main(){
 
    int arr[] = {1,2,3,4,5};
 
    std::cout << accomulate(arr, arr + 5, 0 , plus<int>())          << '\n';
    std::cout << accomulate(arr, arr + 5, 0 , f_plus<int>)          << '\n';
 
    std::cout << accomulate(arr, arr + 5, 0 , minus<int>())         << '\n';
    std::cout << accomulate(arr, arr + 5, 0 , f_minus<int>)         << '\n';
 
    std::cout << accomulate(arr, arr + 5, 1 , multiplies<int>())    << '\n';
    std::cout << accomulate(arr, arr + 5, 1 , f_multiplies<int>)    << '\n';
 
    return 0;
}

Сообщение от TGrey[WoLf

;224031]3)От чего зависит будет ли предикат функцией или классом?

ну допустим ты решил посчитать такую сумму
1*arr[0] + 2*arr[1] + 3*arr[2] тогда нужно классом.

C++

#include <iostream>
#include <numeric>
#include <functional>
 
class fun{
public:
    fun(): i(1){}
 
    int operator () (int x, int y){
        int u = x + i*y;
        ++i;
        return u;
    }
private:
    int i;
};
int main(){
 
    int arr[] = {1,2,3,4,5};
 
    std::cout << std::accumulate(arr, arr + 5, 0, fun()) << '\n';
    std::cout << std::accumulate(arr, arr + 5, 0, fun()) << '\n';
 
    return 0;
}

если сделать функцией то выйдет проблема

C++

#include <iostream>
#include <numeric>
#include <functional>
 
 
int f_fun  (int x, int y){
    static int i = 1;
    int u = x + i*y;
    ++i;
    return u;
}
int main(){
 
    int arr[] = {1,2,3,4,5};
 
    std::cout << std::accumulate(arr, arr + 5, 0, f_fun) << '\n';
    std::cout << std::accumulate(arr, arr + 5, 0, f_fun) << '\n';
 
    return 0;
}

@TGrey[WoLf] · 24.07.2009, 16:58 **[ТС]**

Что-то я не увидел большой разницы между перегрузкой () и написанием функции?!

А во тором случае в функции объявил переменную статик тоже не понял зачем, в классе же она будет с 1 стартовать, зачем тогда ее запоминать в функции?

@IT_Exp · 24.07.2009, 17:19

TGrey[WoLf],
На счет 3 что-то я не понял юмора?!
Вопрос предполагал неодушевлённое существительное. (:

Или это значит, что программист сам выбирает?
Именно. Библиотека STL не навязывает какого-либо жесткого выбора

@slowCheetah · 24.07.2009, 20:20

еще разница между предикатом и функциональным объектом заключается в том, что ты функционалный объект можешь наследовать от binary_function и unary_function, что потом позволяет тебе применять нему еще дополнительно какие-нибудь адаптеры типа там not2, not1, less, greater и т.п., что в свою очередь позволяет каждый раз заново, в зависимости от обстоятельств, не переписывать этот самый функтор, а использовать тот самый любимый единственный. а вот предикаты таким похвастаться не смогут.

Добавлено через 8 минут 40 секунд
книжка по stl есть очень простая и доходчивая, читается легко и быстро прям как книга по C# :-) в общем, "Л.Амерааль Stl для программистов на С++". а еще смотрел Джосьютиса, так у него там страниц на 700, куча всего, устанешь читать) ну и Страуструп, конечно же, куда ж без него.

@IT_Exp MCSD: APP BUILDER 8794 / 1073 / 104 Регистрация: 17.06.2006 Сообщений: 12,602
	24.07.2009, 16:17	2
	что же такое Предикаты\Функторы Функтор - это объект, который хранит в себе действие (и, возможно, состояние) 1)Почему если создается класс, то там перегружается именно () Потому что используется функциональное программирование 2)Как понять сколько параметров будут переданы? Из документации Например запись Function, UnaryPredicat говорит о том, что будет передан один параметр, BinaryPredicat, BinaryOperation - передаётся два параметра 3)От чего зависит будет ли предикат функцией или классом? от прокладки между монитором и креслом (((: 1

@TGrey[WoLf] 42 / 42 / 4 Регистрация: 14.09.2008 Сообщений: 683
	24.07.2009, 16:29 [ТС]	3
	То есть в классе всегда перегружается ()? На счет 3 что-то я не понял юмора?! Или это значит, что программист сам выбирает? 0

@TGrey[WoLf] 42 / 42 / 4 Регистрация: 14.09.2008 Сообщений: 683
	24.07.2009, 16:58 [ТС]	5
	Что-то я не увидел большой разницы между перегрузкой () и написанием функции?! А во тором случае в функции объявил переменную статик тоже не понял зачем, в классе же она будет с 1 стартовать, зачем тогда ее запоминать в функции? 0

@IT_Exp MCSD: APP BUILDER 8794 / 1073 / 104 Регистрация: 17.06.2006 Сообщений: 12,602
	24.07.2009, 17:19	6
	TGrey[WoLf], На счет 3 что-то я не понял юмора?! Вопрос предполагал неодушевлённое существительное. (: Или это значит, что программист сам выбирает? Именно. Библиотека STL не навязывает какого-либо жесткого выбора 0

@slowCheetah 11 / 11 / 2 Регистрация: 18.07.2009 Сообщений: 123
	24.07.2009, 20:20	7
	еще разница между предикатом и функциональным объектом заключается в том, что ты функционалный объект можешь наследовать от binary_function и unary_function, что потом позволяет тебе применять нему еще дополнительно какие-нибудь адаптеры типа там not2, not1, less, greater и т.п., что в свою очередь позволяет каждый раз заново, в зависимости от обстоятельств, не переписывать этот самый функтор, а использовать тот самый любимый единственный. а вот предикаты таким похвастаться не смогут. Добавлено через 8 минут 40 секунд книжка по stl есть очень простая и доходчивая, читается легко и быстро прям как книга по C# :-) в общем, "Л.Амерааль Stl для программистов на С++". а еще смотрел Джосьютиса, так у него там страниц на 700, куча всего, устанешь читать) ну и Страуструп, конечно же, куда ж без него. 0

Опции темы