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

Рет қаралды 6,676

5 жыл бұрын

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

Пікірлер: 15

@alex_s_ciframi Жыл бұрын

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

@FantomX932 4 жыл бұрын

super nice!

@timurtsotniashvili2311 3 жыл бұрын

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

@idiotsiuda Жыл бұрын

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

@pointless1978 5 жыл бұрын

really nice.

@debugx1 5 жыл бұрын

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

@user-zv9zr4xh8r 2 жыл бұрын

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

@mangusta134 3 жыл бұрын

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

@MrDimonsky 2 жыл бұрын

4:05 using type2 = typename foo

@faritavtakhov5115 2 жыл бұрын

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