Почему адаптеры из range функторы?

Question

[Dyikot]

А не функции? Имею в виду например для filter класс _Filter_fn. Вместо этого класса можно же функцию сделать и все.

Answer 1

[Mercury13]

Для реализаций из STL — просто чтобы программист не закладывался на то, что он функция (иначе можно сделать код, привязанный к конкретной реализации), а писал шаблон.

Если же это точка, где вы сами должны что-то дописать — что вам мешает сделать именно функцию? Функтор — это не только функция, а что угодно, что можно вызывать как функцию.

Comments

[Dyikot]

Все функторы у них stateless и callable поэтому я не вижу почему не функции? Ладно так. Они они почему-то вместо построения класса используют уже соданный объект, что например не позволяет реализовать шаблонный вызов без аргументов (например Cast).

[Mercury13]

Callable и функтор — это одно и то же.
Использовать уже созданный объект, а не создавать новый — это особенность внешнего объекта, на случай того, что состояние вдруг потребуется.
На что нужен шаблонный вызов без аргументов, если честно, если в том шаблоне используется лишь запрос: есть объект или нет объекта?

[Dyikot]

Mercury13, Но состояний там и нету, их фукнторы с окончаением _fn лишь вызывают View или еще другой функтор который уже и хранит состояние.

[Mercury13]

Dyikot, Я ответил: чтобы программист не закладывался на то, что это функция, нарушая совместимость с другими реализациями.
Обычно тип функтора — либо какое-то пекло, либо прямо не доступен, так что проще шаблоном.

[Dyikot]

Mercury13, Не могу представить как это нарушает совместимость

[Mercury13]

Если кто-то получит явный тип объекта, он сможет написать не шаблон, как предписывалось, а функцию с этим явным типом.

Answer 2

[maaGames]

В функтор можно передать что угодно, а не только функцию. Но можно и просто функцию передавать, если вам достаточно функционала функции.

Comments

[Dyikot]

Все функторы у них stateless и callable поэтому я не вижу почему не функции? Ладно так. Они они почему-то вместо построения класса используют уже соданный объект, что например не позволяет реализовать шаблонный вызов без аргументов (например Cast).

[maaGames]

Dyikot, Да, в правы, функтор передаётся по значению. Но это не мешает передавать дополнительные данные вместе с функтором, чтобы они использовались алгритмами. Например, для сравнения вещественных чисел можно передавать точность сравнения. И не через глобальную переменную, а для каждого отдельного контейнера свою (привет от многопоточной обработки контейнеров с разными величинами погрешнсоти сравнения).
stateless тоже легко обходится, если состояние функтора хранить в shared_ptr, тогда можно дополнительную информацию наружу возвращать. Но придётся переписать move-конструктор, чтобы он не попортил указатели.

[Dyikot]

maaGames, Данные которые передаются хранятся во view или другом объекте. Я лишь пишу про их stateless функторы, через которые и передаются данные.

[maaGames]

Dyikot, Хранятся в другом объекте и передаются как? Через какой-то внешний объект, глобальную переменную, синглтон? В алгоритмы передаётся контейнер и функтор. Как вы в функтор передадите "другой view-объект", если у вас фукнция, а не функтор? Лямбды не считаются, это опять же функтор со своим состоянием, а не обычня функция.
А я пишу не про данные контейнера, а про данные функтора. Который как бы stateless, но если очень надо, то он может быть очень даже stateyes.
Давай, чтобы точно говорить об одном и том же. Вызывается ranges::sort и надо посчитать, сколько перестановок делается (допустим, что это зачем-то надо). И этих ranges::sort одновременно вызывается в куче потоков больше одной штуки. Как вы это сделаете, передавая фукнцию сравнения, а не объект с состоянием? А очень просто! Нужно завести глобальный map, связывающий указатель на контейнер со счётчиком и в функции сравнения брать нужный счётчик... А указателя на контейнер нет в функции сравнения... Упс...

[Dyikot]

maaGames, Я пишу про создание RangeAdaptorClosureObject или RangeAdaptorObject через функцию а не функтор. А вы мне кажется не про то.

[maaGames]

Dyikot, Да, я вас неправильно понял. Ещё не изучал 20-23 стандарт, поэтому не понял вопрос.
Глянул про их, конкретно на ваш вопрос ответ ещё проще: адаптеры можно объединять через | и делать составной. То есть не делать функию обёртку, вызывающую несколько функций, а в вызове написать A|B|C.
Но и всё вышесказанное мной про функторы не отменяется, если какое-то особо извращённое поведение объекта range_adaptor_closure понадобится, можно в функторе что-то хранить и возвращать наружу.

https://en.cppreference.com/w/cpp/named_req/RangeA...

[Dyikot]

maaGames, Это да. Но вот почему адаптеры создаются не через функции, не ясно.

[maaGames]

Dyikot,
А вообще, функция разве может быть типом? Кажется, не может: int Func1() и int Func2() - один и тот же тип. А вышеназванный _Filter_fn используется как тип в шаблоне.

template <class _Pr>
            requires constructible_from<decay_t<_Pr>, _Pr>
        _NODISCARD constexpr auto operator()(_Pr&& _Pred) const
            noexcept(is_nothrow_constructible_v<decay_t<_Pr>, _Pr>) {
            return _Range_closure<_Filter_fn, decay_t<_Pr>>{_STD forward<_Pr>(_Pred)};
        }