1

Задам вопрос на простом примере:

using Functor = std::greater_equal<string>;
istringstream stream("used namespace std,  and included header files");
std::istream_iterator<string> IF(stream), IL;
set<string, Functor> ss(IF, IL);
for (string s : ss) {
    auto p = s.rbegin();
    if (!isalnum(*p))
        s.erase(p.base() - 1);
    cout << s << endl;
}

Понятно, что слова выведутся в порядке, определенным указанным типом компаратора в шаблоне set...(в данном случаи в обратом порядке лексикографического). Но компаратор также можно передать и в конструктор обьекта.

Вопросы:

  1. Почему обьявление set<string> ss(IF, IL, Functor()); неправильно?
  2. Так, как это сделать?

  3. В каких случаях понадобится передать компаратор в конструктор, а не его тип в шаблон?..

1
  • Чтобы контейнер использовал нужный компоратор, нужно передать его вместе с параметрами типа: set<string, Funcotor> ss();. Также можно передавать его как аргумент, что полезно, если компоратор представлен функцией или лямбда-выражением. Тогда это будет выглядеть вроде: set<string, decltype(comp)>ss(comp);. Если, конечно, я не ошибся. 27 июл 2018 в 11:27

3 ответа 3

3

Компаратор должен передаваться и через список параметров шаблона, и через параметр конструктора объекта. Через список параметров шаблона передается тип компаратора, а через параметр конструктора объекта - значение компаратора.

Объявление

set<string> ss(IF, IL, Functor());

является неправильным потому, что в списке аргументов шаблона использован аргумент по умолчанию - тип компаратора std::less<string>, а в качестве значения компаратора передается значение типа std::greater_equal<string>. Несоответствие типов и вызывает ошибку.

Вы, однако, можете воспользоваться дедукцией шаблонных аргументов в С++17 и написать просто

set ss(IF, IL, Functor());

Передача типа компаратора (и типа элемента) через параметры шаблона в этом случае все равно делается, но ее делает за вас компилятор через стандартные deduction guides для std::set. "Частичной" дедукции, правда, нет, т.е. дедукция работает только когда шаблонные аргументы отсутствуют полностью, вместе с <> скобками.

От указания типа компаратора через параметры шаблона можно было бы избавиться, если бы в качестве компаратора всегда использоваться объект типа std::function. Но в дизайне стандартных контейнеров так не делается. Разрабатывались они еще до того, как в стандартной библиотеке появилась std::function. Также, за удобство std::function надо платить накладными расходами.

1
  • Очень полезная информация. Подробно и понятно... 28 июл 2018 в 6:27
2
  1. Так ведь если вы не указываете параметр типа - берется параметр по умолчанию (less<>). Это шаблон класса, а не функции, тут вывод не сработает.

  2. set<string, Functor> ss(IF, IL, Functor()); Хотя Functor() можно и не писать, потому что это значение по умолчанию. Но вот если у вас какой-то хитрый функтор, например, с параметром - set<string, Functor> ss(IF, IL, Functor("xyz")); - то его придется писать в обязательном порядке...

3
  • Извените, но using Functor = std::greater_equal<string>; это не значение по умолчанию 27 июл 2018 в 11:29
  • @ARHovsepyan std::greater_equal<string>() - значение по умолчанию, передаваемое в конструктор set (обратите внимание, что я написал не Functor можно не писать, а Functor() можно не писать).
    – Harry
    27 июл 2018 в 11:30
  • Ах да, ну все понел, спасибо! 27 июл 2018 в 11:31
1
  1. вы не указали параметр критерия сортировки, где по умолчанию используется less
  2. в данном случае достаточно set<string, Functor> ss();
  3. данный случай используется для компараторов представленных например ввиде лямбда-выражений, тогда

    auto alfa = [](){/*какое-то тело*/};

    set<string, decltype(alfa)>ss(alfa);

8
  • И какой же параметр я не указал? 27 июл 2018 в 11:34
  • @ARHovsepyan критерий less - забыл указать в ответе 27 июл 2018 в 11:35
  • и почему достаточно set<string, Functor> ss(), если я создаю обьект с данными из потока? 27 июл 2018 в 11:36
  • Мне не нужен less, я сравниваю по другому критерию. Я вас не очень понимаю 27 июл 2018 в 11:37
  • @ARHovsepyan да, вам то less не нужен, но вот только откуда это знать компилятору? Раз не указано ничего, то он берет его. Тут, все-таки наверно нужно в ответе не не указали less а не указали критерий сортировки 27 июл 2018 в 11:39

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.