是否可以转换参数包中的类型？ [英] Is it possible to transform the types in a parameter pack?

问题描述

是否可以转换参数包的类型并将其传递？

Is it possible to transform the types of a parameter pack and pass it on?

例如。给定以下内容：

template<class... Args> struct X {};
template<class T> struct make_pointer     { typedef T* type; };
template<class T> struct make_pointer<T*> { typedef T* type; };

我们可以定义一个模板 magic 类似，以便以下断言成立：

Can we define a template magic or something similar so that the following assertion holds:

typedef magic<X, make_pointer, int, char>::type A;
typedef X<int*, char*> B;
static_assert(is_same<A, B>::value, ":(");

推荐答案

是的，我们可以做

template<template<typename...> class List, 
         template<typename> class Mod, 
         typename ...Args>
struct magic {
    typedef List<typename Mod<Args>::type...> type;
};

这篇关于是否可以转换参数包中的类型？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！