代码之家 › 专栏 › 技术社区 › 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>;

推荐文章

Roman · 级联可变模板参数

2 年前

Joald · 使用折叠表达式检查可变模板参数是否唯一

7 年前

sylvain · 可变模板和SFINAE

7 年前

Kirill Korolev · 可变模板和函数覆盖

7 年前

Graznarak · 静态断言引用封闭模板类

7 年前

sjaustirni Keyki · 如何使用模板创建编译时类字段?

7 年前

user8922003 · C++boost::boost的accept处理程序中的asio可变模板运算符::asio::basic\u socket\u acceptor::async\u accept()

7 年前

Belfer4 · 如何在类模板整数列表上展开?

7 年前

definelicht · 根据函数签名将变量模板中的类型作为值/引用转发

7 年前

John Wayne · 使用enable\u if禁用模板类的模板构造函数

7 年前