代码之家 › 专栏 › 技术社区 › Georg Fritzsche

是否可以转换参数包中的类型?

c++11 metaprogramming templates c++

Georg Fritzsche · 技术社区 · 16 年前

例如,给定以下条件:

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 或者类似的东西,所以下面的断言成立:

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

1 回复 | 直到 15 年前

Johannes Schaub - litb 16 年前

是的,我们能做到

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

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前