Звучит так, как будто я попытался построить по умолчанию лямбду, что невозможно до c ++ 20 .Если это дело , где это произошло ?
Да .Это именно то, что произошло здесь и из-за вызова std::map::operator[] на линии (-ях)
t.scripts["Linux"].insert(5);
// ^^^^^^^^^
Давайте рассмотрим подробнее.Вышеуказанный вызов приведет к вызову следующей перегрузки, поскольку ключ является временным std::string, созданным из const char*.
T& operator[]( Key&& key );
Поскольку C ++ 17, это эквивалентно :
return this->try_emplace(
std::move(key)).first -> second;
// key_type mapped_type
// ^^^^^^^^ ^^^^^^^^^^^
// | |
// | |
// (std::string) (std::multiset<int, decltype(compare)>)
// | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// | | (default-construction meaning)
// | default-construction --> std::multiset<int, decltype(compare)>{}
// move-construction ^^
, где key_type (т. Е. Временно построенный std::string из const char*) должен быть Move Construtible , что происходитотлично.
mapped_type (то есть std::multiset<int, decltype(compare)>) должно быть конструкция по умолчанию ed в первую очередь, и это требует, чтобы лямбда сравнения была также по умолчаниюпостроен.С cppreference.com :
ClosureType :: ClosureType ()
ClosureType() = delete; (until C++14)
ClosureType() = default; (since C++20)(only if no captures are specified)
Типы закрытия не DefaultConstructible .Типы замыкания имеют удаленный (до C ++ 14) конструктор по умолчанию (с C ++ 14).(until C++20)
Если захват не указан, тип закрытия имеет конструктор по умолчанию .В противном случае у него нет конструктора по умолчанию (это включает случай, когда есть захват по умолчанию, даже если он на самом деле ничего не захватывает).(since C++20)
Это означает, что конструкция по умолчанию типа лямбда-замыкания недоступна в C ++ 17 (именно на это жалуется ошибка компилятора).
С другой стороны, захваты не указаны (то есть лямбда-выражения без состояния) в compare лямбда-выражениях, и, следовательно, они могут быть явно установлены по умолчанию компиляторами, которые поддерживают C ++20 стандарт.
Возможно ли решить эту проблему с помощью лямбда-функции сравнения в пределах c ++ 11 до c ++17 ?
Не используя std::map::operator[] (как объяснено выше), но Да , как у @ JohnZwinck'sупоминается в его ответе.Я хотел бы объяснить, как это работает.
Один из конструкторов 1 из std::multiset предоставляет возможность передать компараторobject.
template< class InputIt >
multiset( InputIt first, InputIt last,
const Compare& comp = Compare(),
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
const Allocator& alloc = Allocator() );
В то же время, конструктор копирования и конструктор перемещения для типа лямбда-замыкания были по умолчанию с C ++ 14 .Это означает, что если у нас есть возможность предоставить лямбду в качестве первого аргумента 2 (путем копирования или перемещения), это будет Basic случай, что показано в вопросе.
std::multiset<int, decltype(compare)> dummy{ compare }; // copying
std::multiset<int, decltype(compare)> dummy{ std::move(compare) }; // moving
К счастью, C ++ 17 представил функцию-член std :: map :: try_emplace
template <class... Args>
pair<iterator, bool> try_emplace(key_type&& k, Args&&... args);
byкоторый можно передать лямбду вышеупомянутым конструкторам 1 из std::multiset в качестве первого аргумента 2 , как показано выше.Если мы превратим это в функцию-член класса Test, элементы могут быть вставлены в CustomMultiList (то есть значения) карты scripts.
Решение будет выглядеть так же, каксвязанный пост, потому что я написал этот ответ после того, как задал этот вопрос!)
#include <iostream>
#include <string>
#include <map>
#include <set>
// provide a lambda compare
const auto compare = [](int lhs, int rhs) noexcept { return lhs > rhs; };
class Test
{
private:
// make a std::multi set with custom compare function
std::multiset<int, decltype(compare)> dummy{ compare };
using CustomMultiList = decltype(dummy); // use the type for values of the map
public:
std::map<std::string, CustomMultiList> scripts{};
// warper method to insert the `std::multilist` entries to the corresponding keys
void emplace(const std::string& key, const int listEntry)
{
scripts.try_emplace(key, compare).first->second.emplace(listEntry);
}
// getter function for custom `std::multilist`
const CustomMultiList& getValueOf(const std::string& key) const noexcept
{
static CustomMultiList defaultEmptyList{ compare };
const auto iter = scripts.find(key);
return iter != scripts.cend() ? iter->second : defaultEmptyList;
}
};
int main()
{
Test t{};
// 1: insert using using wrapper emplace method
t.emplace(std::string{ "Linux" }, 5);
t.emplace(std::string{ "Linux" }, 8);
t.emplace(std::string{ "Linux" }, 0);
for (const auto a : t.getValueOf(std::string{ "Linux" }))
{
std::cout << a << '\n';
}
// 2: insert the `CustomMultiList` directly using `std::map::emplace`
std::multiset<int, decltype(compare)> valueSet{ compare };
valueSet.insert(1);
valueSet.insert(8);
valueSet.insert(5);
t.scripts.emplace(std::string{ "key2" }, valueSet);
// 3: since C++20 : use with std::map::operator[]
// latest version of GCC has already included this change
//t.scripts["Linux"].insert(5);
//t.scripts["Linux"].insert(8);
//t.scripts["Linux"].insert(0);
return 0;
}