Почему в стандарте C++ 17 не было вывода аргументов шаблона частичного класса?
Одно из мест, где я надеялся, что смогу использовать вывод аргументов нового шаблона, было создание std::set / std::maps / любых других контейнеров с настраиваемыми компараторами - моя цель - создать однострочное выражение, которое создаст эффективный набор с помощью лямбда-компаратора.
Что я могу сделать с C++ 11:
std::set<int, std::function<bool(int, int)>> s([](int a, int b) {return a > b;});
Но поскольку он использует std::function, он заметно медленнее.
Другой вариант:
auto mycomp = [](int a, int b) {return a > b; };
std::set<int, decltype(mycomp)> s(mycomp);
Он выполняет свою работу, но 1) для этого требуется 2 строки и создание переменной mycomp 2) Мне нужно явно передать тип mycomp.
Как я читал на справочных страницах, ни один из стандартных контейнеров не имеет руководства по выводам для такого рода ситуаций. К сожалению, я боюсь, что это невозможно сделать даже с текущим языковым стандартом (C++ 17), поскольку можно найти:
Class template argument deduction is only performed if no template argument list is present. If a template argument list is specified, deduction does not take place.
Что за этим стоит? Почему они не допустили частичного вывода аргументов? Думаю, с этим есть некоторые проблемы, которые я не замечаю, но на мой взгляд, это было бы более чем полезно.
@Kaznov: "Моя цель - создать однострочную инструкцию, которая создаст эффективный набор с помощью лямбда-компаратора." ... почему это твоя цель? Что плохого в том, чтобы просто создать структуру с перегрузкой operator()? Почему вы иметь (или даже хотеть) используете лямбды?
Ответы 4
Что вам нужно сделать, так это написать тип функтора компаратора, поэтому вам не нужно проксировать его при использовании вашего набора. Это будет намного больше строк кода (зверство!), Но лучше практически во всех смыслах:
struct MyComparator
{
bool operator()(int a, int b) const { ...; }
};
using MySet = std::set<int, MyComparator>;
И с этого момента вы просто создаете свой индивидуально отсортированный набор там, где он вам нужен.
Я знаю, что это лучший способ решить эту проблему, но я искал самый компактный.
@Kaznov: Почему он должен быть компактным? Наличие большого лямбда в середине специализации шаблона не делает ваш код более читабельным. Этот менее "компактный" текст гораздо легче читать, чем лямбда.
Я искал самый быстрый способ сделать это, чтобы использовать его в алгоритмических соревнованиях. Там вам все равно, как выглядит код, чем короче, тем лучше.
В качестве альтернативы вы все еще можете сделать старый make_xxx
template <typename T, typename COMP>
std::set<T, COMP> make_set(COMP comp)
{
return std::set<T, COMP>{comp};
}
auto s = make_set<int>([](int a, int b) {return a > b; });
Одной строкой (C++ 17)
std::set s(std::initializer_list<int>{}, [](int a, int b) {return a > b; });
Спасибо! Я не знал о существовании этого конструктора. Что ж, решает проблему с контейнерами.
@Kaznov - работает, но не очень элегантно: этот std::initializer_list<int>{}, просто чтобы указать тип int, очень уродлив.
Из-за двусмысленности, когда присутствуют параметры шаблона со значением по умолчанию. Также в случае вариативных шаблонов.
Сначала в предложении было частичное вычитание, но оно было удалено. См. c17-класс-шаблон-частичный-дедукция