代码之家 › 专栏 › 技术社区 › Roman

级联可变模板参数

template-templates variadic-templates c++17 c++

Roman · 技术社区 · 2 年前

template <typename... T>
using Cascade = ???; // T1<T2<T3<...>>>

using Vector2D = Cascade<std::vector, std::vector, double>;
static_assert(std::is_same_v<Vector2D, std::vector<std::vector<double>>>);

1 回复 | 直到 2 年前

n. m. could be an AI 2 年前

你没有权利。T1不是一个类型名,它是一个模板,其他大多数也是,但最后一个是一个类型名。同一参数包中不能有不同的参数类型(类型和模板)。参数包之后也不能有任何内容。

你可以这样离开:

  template <typename K, template <typename...> class ... T>
  class CascadeLeft;                  
                                      
  template <typename K>               
  class CascadeLeft<K>                
  {                                   
      using type = K;                 
  };                                  
                                      
  template <typename K, 
            template <typename...> class T0, 
            template <typename...> class... T>
  class CascadeLeft<K, T0, T...>      
  {                                   
      using type = typename CascadeLeft<T0<K>, T...>::type;
  };

std::vector<std::vector<double>> 要比 CascadeLeft<double, std::vector, std::vector>

Roman 2 年前

在公认答案的基础上扩展 CascadeRight

template<template<typename...> typename Head, template<typename...> typename... Tail>
struct CascadeRight {
    template<typename... T>
    using type = Head<typename CascadeRight<Tail...>::type<T...>>;
};

template<template<typename...> typename Head>
struct CascadeRight<Head> {
    template<typename... T>
    using type = Head<T...>;
};

template<template<typename...> typename Head, template<typename...> typename... Tail>
struct CascadeLeft {
    template<typename... T>
    using type = typename CascadeLeft<Tail...>::type<Head<T...>>;
};

template<template<typename...> typename Head>
struct CascadeLeft<Head> {
    template<typename... T>
    using type = Head<T...>;
};

using T1 = CascadeRight<std::vector, std::map>::type<int, double>;
using T2 = CascadeLeft<std::map, std::vector>::type<int, double>;

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前