Олег Фатхиев - Эволюция метапрограммирования: как правильно работать со списками типов

Подробнее о конференции C++ Russia: jrg.su/W8skjE
- -
. . . Глубокий рассказ о метапрограммировании в ретроспективе. Обсудим общие подходы в метапрограммировании, а затем перейдём к спискам типов. По шагам напишем небольшую библиотеку для работы со списками типов, похожую на Boost.Hana. Для каждой проблемы рассмотрим несколько возможных решений: от использования устаревших, но не менее интересных подходов из C++98/03 до применения продвинутых техник из C++17 и даже немного из C++20.

[@alex_s_ciframi]

44:21
(void)Is
- нынче моДно записывать так :)
std::ignore=Is;

[@FantomX932]

super nice!

[@timurtsotniashvili2311]

Очень хороший доклад! И Вы, Олег, младший разработчик? :))

[@pointless1978]

really nice.

[@debugx1]

Где можно презу скачать?

[@MrDimonsky]

4:05 using type2 = typename foo

[@idiotsiuda]

10:18 Что значит "Так не надо делать."? Такая формулировка не применима в отношении списка типов, потому что на слайде изображен нормальный список типов и никак особо по-другому написать его нельзя. На следующем слайде код пака типов. Пак типов это не список типов. Возможно, имелось ввиду, что следует использовать пак типов вместо списка везде, где это возможно, но вместо этого пак типов обзывается списком, хотя это принципиально некорректно.

[@mangusta134]

методично и системно, очень понравилось

[@sergeyinozemcev1070]

Очень здорово! А можно еще продолжение с функциями min/max, sort, swap ?!

[@idiotsiuda]

Что такое min/max для типов по-вашему?

[@sergeyinozemcev1070]

@@idiotsiuda Уже толком не помню о чем речь, но по идее min - минимальное значение из списка, max - максимальное.

[@user-zv9zr4xh8r]

Visual Studio 2019 не может выбрать оператор сравнения если типы структур сверточные и при этом совпадают

[@faritavtakhov5115]

второй static_assert из find_if не сработает внутри шаблонной функции. typename part_caller::type упадет с ошибкой :) Это можно обойти? Не очень полезная библиотечка получается с такими ограничениями

[@sergeyinozemcev1070]

А как можно связаться с Олегом? Почему то это выражение у меня не работает. Собираю в Visual Studio их компилятором.

[@astmix1337]

generate best не будет работать, если нужно создать reference: generate()