如何在编译时迭代模板列表？

作者: 纾潆锦袖迷子
发布时间: 2024-12-27 07:16:36 (19天前)
转自：

3 条回复

0#
回复此人
v-star*위위 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 运用 <a href="https://www.boost.org/doc/libs/develop/libs/mp11/doc/html/mp11.html" rel="nofollow noreferrer"> Boost.Mp11 </A> ，第一个版本是： </p> <pre> <code> static constexpr auto size = std::tuple_size_v<Types>; mp_for_each<mp_iota_c<size>>([&] (auto i) { /* ... */ }); </code> </pre> <P> 在模板上执行此操作的方式基本相同： </p> <pre> <code> using list = mp_list<mp_quote<std::tuple>, mp_quote<std::pair>>; mp_for_each<list>([&](auto f){ // v is a tuple<int, char> the first time around and a pair<int, char> // the second time around mp_invoke_q<decltype(f), int, char> v; }); </code> </pre> <P> 当然，你可以做任何你想做的事 <code> f </code> 在身体中，我只是以它为例来调用它 <code> mp_quote </code> 以及它与Mp11其余部分的整合程度。 </p> </DIV>

编辑
1#
回复此人
记忆只剩空城 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 您可以包装表单的模板 <code> template<class...> class </code> 进入类似以下的标记类型： </p> <pre> <code> #pragma once // template_tag.hpp #include <tuple> #include <type_traits> template< template<class...> class Tmpl_ > struct TemplateTag { template<class... Ts> using insert = Tmpl_<Ts...>; template< template<template<class... > class> class TmplTmpl > using rewrap_into = TmplTmpl<Tmpl_>; }; // convenience helper template<class TmplTag, class... Ts> using InsertTemplateArgs = typename TmplTag::template insert<Ts...>; static_assert( std::is_same< InsertTemplateArgs< TemplateTag<std::tuple>, int, bool >, std::tuple<int, bool> >{} ); // convenience helper template<class TmplTag, template<template<class...> class> class TmplTmpl> using RewrapTemplateInto = typename TmplTag::template rewrap_into<TmplTmpl>; template<template<class...> class Tmpl> struct OtherTemplateTag {}; static_assert( std::is_same< RewrapTemplateInto< TemplateTag<std::tuple>, OtherTemplateTag >, OtherTemplateTag<std::tuple> >{} ); </code> </pre> <P> 将模板包装到标签中后 <EM> 类型 </EM> ，您可以像以前一样迭代这些类型： </p> <pre> <code> #include <iostream> #include <string_view> #include <tuple> #include <utility> #include <variant> #include "loop.hpp" #include "template_tag.hpp" template<class T> std::string_view inspect() { return __PRETTY_FUNCTION__; } using Templates = std::tuple< TemplateTag<std::tuple>, TemplateTag<std::tuple>, TemplateTag<std::pair>, TemplateTag<std::variant> >; template< template<class...> class Tmpl > struct AnotherTemplateTag {}; int main() { loop(std::tuple_size<Templates>{}, [&] (auto i) { using TmplTag = std::tuple_element_t<i, Templates>; std::cout << i << ": " << inspect<TmplTag>() << "\n"; using AnotherTmplTag = RewrapTemplateInto<TmplTag, AnotherTemplateTag>; std::cout << " " << inspect<AnotherTmplTag>() << "\n"; using TmplWithArgs = InsertTemplateArgs<TmplTag, int, long>; std::cout << " " << inspect<TmplWithArgs>() << "\n"; }); } </code> </pre> </DIV>

编辑

登录后才能参与评论