Http m odnoklas: Tulips by M. Mikhalchuk http://www.odnoklassniki.ru/profile/354421537413/album/386082229893

c++ — лямбда-выражения как параметры шаблона класса

спросил 11 лет, 7 месяцев назад

Изменено 2 года, 5 месяцев назад

Просмотрено 48 тысяч раз

Можно ли использовать лямбда-выражения в качестве параметров шаблона класса ? (Обратите внимание, что это совсем другой вопрос, чем этот, который спрашивает, можно ли создать шаблон самого лямбда-выражения. )

Я спрашиваю, можете ли вы сделать что-то вроде:

 template 
структура Фу {};
// ...
Foovoid { })> foo;
 

Это было бы полезно в тех случаях, когда, например, шаблон класса имеет различные параметры, такие как equal_to или что-то подобное, которые обычно реализуются как однострочные функторы. Например, предположим, что я хочу создать экземпляр хеш-таблицы, в которой используется моя собственная функция сравнения на равенство. Я хотел бы иметь возможность сказать что-то вроде:

 typedef std::unordered_map<
  станд::строка,
  станд::строка,
  std::hash,
  decltype([](const std::string& s1, const std::string& s2)->bool
    { /* Пользовательская реализация equal_to */ })
  > тип_карты;
 

Но я проверил это на GCC 4.4 и 4.6, и это не работает, по-видимому, потому, что анонимный тип, созданный лямбда-выражением, не имеет конструктора по умолчанию. (Я вспоминаю аналогичную проблему с boost::bind . ) Есть ли какая-то причина, по которой проект стандарта не разрешает это, или я ошибаюсь, и это разрешено, но GCC отстает в своей реализации?

• c++
• шаблоны
• лямбда
• c++11

1

Начиная с C++20, этот ответ устарел. C++20 вводит лямбда-выражения без сохранения состояния в невычисленных контекстах1:

Это ограничение изначально было разработано для предотвращения появления лямбда-выражений в подписях, что открыло бы червячную банку для искажения, поскольку лямбда-выражения должны иметь уникальные типы. Однако ограничение намного сильнее, чем должно быть, и без него действительно можно добиться такого же эффекта

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

Я спрашиваю, можете ли вы сделать что-то вроде:

 Foovoid { })> foo;
 

Нет, вы не можете, потому что лямбда-выражения не должны появляться в неопределенном контексте (например, decltype и sizeof ). C++0x FDIS, 5.1.2 [expr.prim.lambda] p2

Вычисление лямбда-выражения приводит к временному значению prvalue (12.2). Это временное называется объект закрытия. Лямбда-выражение не должно появляться в невычисленном операнде (пункт 5). [Примечание: А объект-замыкание ведет себя как объект-функция (20.8). — примечание в конце] (выделено мной)

Вам нужно будет сначала создать конкретную лямбду, а затем использовать для нее decltype:

 auto my_comp = [](const std::string& left, const std::string& right) -> bool {
  // что бы ни
}
определение типа std::unordered_map<
  станд::строка,
  станд::строка,
  std::hash,
  decltype (my_comp)
  > тип_карты;
 

Это потому, что каждый объект замыкания, производный от лямбда, может иметь совершенно другой тип, например, анонимный работает в конце концов.

16

@Xeo назвал вам причину, поэтому я дам вам обходной путь.

Часто вы не хотите называть замыкание, в этом случае вы можете использовать std::function , который является типом:

 typedef std::unordered_map<
  станд::строка,
  станд::строка,
  std::hash,
  std::function
  > тип_карты;
 

Обратите внимание, что он фиксирует именно сигнатуру функции и не более того.

Тогда вы можете просто написать лямбду при построении карты.

Обратите внимание, что с unordered_map , если вы измените сравнение на равенство, вам лучше изменить хэш, чтобы он соответствовал поведению. Объекты, которые сравниваются равными, должны иметь одинаковый хэш.

9

C++20 ответ: да!

Вы вполне можете сделать что-то вроде

 Foovoid { })> foo;
 

Поскольку С++ 20 допускает лямбда-выражения без сохранения состояния в невычисленных контекстах.