c++ - 使用模板模板参数从可变参数模板合并类型

Question

我正在尝试扩展通过模板模板传递的参数列表。第一个示例有效，第二个示例无效。我正在寻找的结果将是第二个示例cWapperObject.cMemberVariable.cTuple中的类型为std::tuple<double, float, short, int>. 我怎样才能做到这一点？（请不要在评论或答案中提及图书馆提升）。

示例 1：

#include <tuple>

template<class ... TS> class CObject {
   std::tuple<TS ...> cTuple;
};

template<template<typename ... TS> class TMPL_CLASS_T>
class CWrapperObject {
    TMPL_CLASS_T<double, float, short> cMemberVariable;
};

int main() {
   CWrapperObject<CObject> cWapperObject;
   return 0;
}

示例 2：

#include <tuple>

template<class ... TS> class CObject {
   std::tuple<TS ...> cTuple;
};

template<template<typename ... TS> class TMPL_CLASS_T>
class CWrapperObject {
    TMPL_CLASS_T<double, float, TS ...> cMemberVariable;
};

int main() {
   CWrapperObject<CObject<short, int>> cWapperObject;
   return 0;
}

Answer 1

CObject是一个类模板，它可以用作模板模板参数。CObject<short, int>是一种类型，它不能用作模板模板参数，模板模板参数本身也不携带任何实际的类型模板参数。您仍然可以使用部分特化，利用模板模板参数以及用于实例化模板的实际类型模板参数来推断类模板名称及其参数：

template <typename... TS>
struct CObject
{
    std::tuple<TS...> cTuple;
};

template <typename>
struct CWrapperObject;

template <template <typename...> class TMPL_CLASS_T, typename... TS>
struct CWrapperObject<TMPL_CLASS_T<TS...>>
{
    TMPL_CLASS_T<double, float, TS...> cMemberVariable;
};

演示