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-template参数以及用于实例化模板的实际类型模板参数来推断类模板名称及其参数：

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;
};

DEMO

使用模板 - 模板参数合并variadic模板中的类型

1 个答案: