解压缩字体表

Unpacking a typelist

本文关键字：字体 解压缩      更新时间：2023-10-16

假设我有一个只接受类型模板参数的函数，我无法更改它的定义/实现。

template < typename T >
void do_it();

现在我有一个常用方式定义的排字表，也无法更改它：

template< typename ...Ts >
struct typelist;

我想实现一个函数，它接受一个类型列表，并在每种类型上运行 do_it（）：

template< typename List >
void do_them();

到目前为止，我找到的唯一解决方案是：

template< typename T >
void do_them_impl()
{
   do_it<T>();
}
template< typename T, typename Ts...>
void do_them_impl()
{
   do_it<T>();
   do_them_impl<Ts...>();
}
template< template < typename...> class List, typename ...Ts >
void do_them_extract( List<Ts...>&& )
{
    do_them_impl< Ts >(); 
}
template< typename List >
void do_them()
{
    do_them_impl( List{} ); 
}

但是对于我想创建一个单个do_them函数的每个情况，这都需要 4（！） 个函数。我将需要其中的很多，我不想为每个函数编写四个函数。我错过了什么吗？

C++14 欢迎，C++17 解决方案也是，但标记为这样。

在 C++14 中，您可以使用一些糟糕的技巧来引入有效的包扩展上下文：

template< template < typename...> class List, typename ...Ts >
void do_them_impl( List<Ts...>&& )
{
    (void)std::initializer_list<int> {
        (do_it<Ts>(), 0)...  
    };
}
template< typename List >
void do_them()
{
    do_them_impl( List{} ); 
}
这

使您可以避免递归模板实例化，这通常更昂贵。

现场演示

在 C++17 中，您可以使用折叠表达式： 

template< template < typename...> class List, typename ...Ts >
void do_them_impl( List<Ts...>&& )
{       
    (do_it<Ts>(), ...);
}
template< typename List >
void do_them()
{
    do_them_impl( List{} ); 
}

现场演示

这是一个利用 C++14 的通用 lambda 的解决方案：

template <typename T>
struct type_ { using type = T; };
template <typename Type>
using type = typename Type::type;
template <typename List>
struct map_;
template <template <typename...> typename Container, typename... Ts>
struct map_<Container<Ts...>>
{
    template <typename Fun>
        void operator()(Fun&& fun)
        {
            (void)((int[sizeof...(Ts)]){(fun(type_<Ts>{}), 0)...});
        }
};
template <typename List>
auto map = map_<List>{};

然后对于每个函数

#include <iostream>
#include <cxxabi.h>
#include <typeinfo>
template <typename T>
const char * type_name()
{
        return abi::__cxa_demangle(typeid(T).name(), nullptr, nullptr, nullptr);
}
template <typename T>
void do_it()
{
    std::cout << type_name<T>() << std::endl;
}

你可以写：

template <typename List>
void do_them()
{
    map<List>([](auto v){ do_it<type<decltype(v)>>(); });
}
template <typename... Ts>
struct typelist {};
int main()
{
    do_them<typelist<int, char, bool>>();
    return 0;
}

用 -O3 编译得到的汇编与我们简单地连续调用 do_it<int>、do_it<char> 、 do_it<bool> 一样。

相关文章：