Recursive variadic generic lambda up to c++17

@squareroot · Регистрация: 19.10.2019

Author24 — интернет-сервис помощи студентам

Решил немного поэкспериментировать с лямбдами, решая задачу конвертации переменных кортежа в дамп памяти, но шаблонные лямбды из C++20 пока не использую.
Цель сделать тоже что и в случае рекурсивно вызываемой шаблонной вариативной функции, но исключительно на лямбдах. Потому что внутри функции шаблоны запрещены(но не generic lambda), а писать внешюю шаблонну функцию громоздко.
В и тогде получилась хрень, которая не работает, но компилируется.
Лбопытно стало, а во что оно инстанцировалось, и можно ли сделать так чтоб работало.

C++

template<std::size_t _sz, typename ...Args>
void convert_tuple_to_raw(const std::tuple<Args...>& _src,
                          std::uint8_t (&_dst)[_sz])
{
    std::size_t offset = 0;
    auto converter = [&](auto&... _args)
    {
        auto converter_rec = [&](const auto& __lamb, 
                                 const auto& __arg0, 
                                 auto&... __args)
        {
            static constexpr auto item_size = sizeof (__arg0);
            memcpy((void *)(_dst + offset), (void *)&__arg0, item_size);
            offset += sizeof (__arg0);
            if constexpr (sizeof... (__args) > 0)
            {
                __lamb(__lamb, __args...);
            }
        };
        converter_rec(converter_rec, _args...);
    };
    std::apply(converter, _src);
}

Добавлено через 6 минут
В итоге получилась хрень, которая не работает, но компилируется.
Любопытно стало, а во что оно инстанцировалось, и можно ли сделать так чтоб работало.

@jugu · 11.01.2021, 23:33

Сделал вот так:

C++

1 2	std::uint8_t dest[sizeof(decltype(1)) + sizeof(decltype(2u)) + sizeof(decltype('a'))]; convert_tuple_to_raw(std::make_tuple(1, 2u, 'a'), dest);

Вроде работает. Копирование произошло. И 1, и 2, и 'a' в dest я увидел.

@squareroot · 11.01.2021, 23:53 **[ТС]**

jugu, Да, Вы правы, это отладчик показывает хрень, когда хочешь посмтреть
static constexpr auto item_size = sizeof (__arg0);

@gray_fox · 12.01.2021, 00:05

Сообщение от squareroot

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

Если использование рекурсии - не самоцель, то проще обойтись без неё, КМК; как-нибудь так:

C++

auto const convert_tuple_element_to_raw = [&] (auto const& element) {
   std::memcpy(_dst + offset, &element, sizeof(element));
   offset += sizeof(element);
   return 0;
};
        
auto const converter = [&] (auto const& ...elements) {
   auto const dummy = { convert_tuple_element_to_raw(elements)..., 0 };
   (void)dummy;
};

@squareroot · 12.01.2021, 00:17 **[ТС]**

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

C++

1	volatile (void)dummy;

А то оптимизатор нечайно убьёт всё.
В вашем случае количество лямбд будет равно количеству типов в кортеже, что лучше чем у меня.

@gray_fox · 12.01.2021, 00:21

Сообщение от squareroot

А то оптимизатор нечайно убьёт всё.

Не должен, побочный эффект же есть (memcpy)

@squareroot · 12.01.2021, 00:36 **[ТС]**

Я хрень написал.
~~В вашем случае количество лямбд будет равно количеству типов в кортеже, что лучше чем у меня.~~

Рекурсия как мне кажется наоборот нежелетельная изза того что компилятор должен по сути генерировать кучу функтуров-специализаций для каждого списка аргументов.

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

@squareroot 13 / 13 / 1 Регистрация: 19.10.2019 Сообщений: 607
	11.01.2021, 23:53 [ТС]	3
	jugu, Да, Вы правы, это отладчик показывает хрень, когда хочешь посмтреть static constexpr auto item_size = sizeof (__arg0); 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	12.01.2021, 00:21	6
	Сообщение от squareroot А то оптимизатор нечайно убьёт всё. Не должен, побочный эффект же есть (`memcpy`) 0

@squareroot 13 / 13 / 1 Регистрация: 19.10.2019 Сообщений: 607
	12.01.2021, 00:36 [ТС]	7
	Я хрень написал. ~~В вашем случае количество лямбд будет равно количеству типов в кортеже, что лучше чем у меня.~~ Рекурсия как мне кажется наоборот нежелетельная изза того что компилятор должен по сути генерировать кучу функтуров-специализаций для каждого списка аргументов. Там операторы вызова множаться в лямбде, а не сами лямбды. 0