П
Оно тебе надо? Тогда доёбуй)
Вот ты создал
Hlist![a,b,c] - он заимплементировал трейты через специализацию допустим или через любую херню что мы обсуждали.Cоздал
manual_impl![a,b,c] на нем заимплементированы те же трейты. Но с меньшим мозго дрочем или без найтли.Единственный плюс первого подхода, что
Hlist![a,b,c] можно расширять до Hlist![a,b,c,d] и он будет автоматом подхватывать новые имплементации.Но зачем это надо если твои расширения включаются один раз? Т.е. расширять ничего не надо.
Есть ещё вариант что у тебя допустим сначала собирается
Hlist![x,y,z] каким то кодом, а потом ты делаешь init() и используешь его не меняя.Это оправдано в С++ когда ты можешь использовать любой cписок в функции вида
f(auto hlist) и он упадет в компиляции потом.Но в расте у тебя будет все равно
f(hlist) where hlist: x + y + z. Поэтому тебе все равно нужно все это перечислять. Соответственно из ручной работы в варианте manual_impl! только собрать все эти x + y + z в одном месте самому.Ну окей есть вариант что ты делаешь какие то трейт алисы которые хотят целую пачку
xs: x1 + x2 + ... + x10. И ещё есть какие то методы которые делают вот вместо генерации просто Hlist![x, y, z] тоже какие то пачки расширений добавляют в Hlist[...] за раз. Тогда можно сказать что собирать всё что нужно в одном месте пользователю проблематично. В таком случае С++ подход или специализация чуток выигрывают на писанине.Но опять же что то можно придумать для групп фич, какую то отдельную структуру Group<Hlist![]> и уже ее хранить.
