D
Size: a a a
2021 July 10
ES
В
bit_cast точно нельзя передавать tuple/pair и вообще структуры. Как минимум потому что есть paddingES
Так точно нельзя делать со стандартными. Только свои Plain Old Data с непортируемым
#pragma pack(push, 1) и #pragma pack(pop) или чем-то аналогичным.ES
А дальше начинается веселье, что нельзя писать
int &x = foo.field;, где foo — такая упакованная структура, потому что может нарушиться требование к выравниванию ссылок на int.ES
В частности, нельзя делать
swap(foo.field1, foo.field2);K
ну короче я написал реверс пак, теперь буду передавать стандартному туплу обратный пак, чтобы он делал тупл укладывающий нормально данные по порядку))), в теории можно сделать #if всякие на реализации по компиляторам или сложную (нет) проверку какую то, через тот же bit cast по типу как делают с endian, но это мои личные штуки, не продакшн не беспокойтесь....
ES
В смысле не отделить? Крайний случай — это пустой пак.
Можно взять стандартную идею по построению операций со списками из лямбда-исчисления, будет так: https://godbolt.org/z/o9Gd6Wva6
Можно дальше под конкретные случаи оптимизировать. Например, выпилить
Можно взять стандартную идею по построению операций со списками из лямбда-исчисления, будет так: https://godbolt.org/z/o9Gd6Wva6
Можно дальше под конкретные случаи оптимизировать. Например, выпилить
apply и type_list и сделать напрямую на таплах. Но тогда может компилироваться сильно медленнее, потому что инстанцировать класс сложнее.
ES
Можно сделать более приятный синтаксис, как в Boost::Hana.
K
не думал про возможность в специализации писать два пака подряд, я сделал в итоге через раскрытие последовательности интовых значений(компайл таймовой), которую самому пришлось написать, т.к. нужно было выбирать и тип и начальное значение и шаг, и брал для каждого значения элемент этого номера из пака и вставлял
ES
make_integer_sequence добавляет немного боли, да, но тут не нужен.ES
Можно, но сложнее, чем детектить только первый. Например, надо думать, как детектить с двух концов, не надо ли разрешить какие-то перемешивания со значениями вроде <typename..., int, typename...> или <auto..., int, auto...> для каких-то случаев, а потом ещё неявные преобразования подъедут...
В общем, ограничение «пак только последний» мне нравится
В общем, ограничение «пак только последний» мне нравится