ну то есть если он изучал мув семантику по каким-то источникам он по идее должен знать

Первый сниппет берёт шаблонные параметры (если они есть), с которым инстанцирован Tag и вставляет после первого аргумента

template<typename Tag, typename... Args>                                              
struct insert_tag_after_first_arg {
   using type = type_list<Args...>;
};
                                                                                 
template<
   template<typename...> class Tag,
   typename... TagTypes,
   typename FirstArg,
   typename... Args>
struct insert_tag_after_first_arg<
   Tag<TagTypes...>,
   FirstArg, Args...>
{
   using type = type_list<FirstArg, TagTypes..., Args...>;
};                                                                      
                                                                                 
template<
   template<typename...> class Tag,
   typename... Args>                            
struct insert_tag_after_first_arg<
   Tag<Args...>>                                                
{                                                                                  
   using type = type_list<Args...>;                                
};

Довольно прямолинейный код, придётся задокументировать каждую из специализаций, ибо у нас нет какого-то общего случая



Второй делает ровно то же самое, но переиспользует собственные специализация, сводя всё к одной последней:

template<typename Tag, typename... Args>                                              
struct insert_tag_after_first_arg
       : insert_tag_after_first_arg<                              
             type_list<>, Args...                                                                
         > {};                                                                    
                                                                                 
template<
   template<typename...> class Tag,
   typename... TagTypes,
   typename FirstArg,
   typename... Args>
struct insert_tag_after_first_arg<
   Tag<TagTypes...>, FirstArg, Args...>                                      
       : insert_tag_after_first_arg<                                                      
           type_list<FirstArg, TagTypes..., Args...>                            
       > {};                                                                      
                                                                                 
template<
   template<typename...> class Tag,
   typename... Args>                            
struct insert_tag_after_first_arg<Tag<Args...>>                                                
{                                                                                  
   using type = type_list<Args...>;                                
};


Сложночитаемо, но, во-первых, художественно идейно красиво, а во вторых, у нас один type вместо трёх, что упрощает документирование — в документацию вообще не помещаем ни одну из специализаций, а описываем общий случай с единственным type, отнаследованным от одной специализации

В общем, всё сводится к тому, хотим мы видеть несколько очевидных и понятных using type =, или хотим иметь только один тайп алиас, который документируется один раз

веб клиент тг такой охуенный

Какой из трёх?

Ну так это старый

Попробуй webz или webk

Блин, ну, пробелы я не специально(

вообще разницы нет

такой же скрин

и все такое же

Во всех трёх?

webz

webk не открыл

шо там за страшные кода кидаете?хоть бы ссылку кидали на чтото(в телеге анриал)

Ты не открыл или интернет?)

403

Хз, у меня всё ок