使用模板模板参数时出现荒谬的错误

Question

我一直在尝试创建一个模板类（Test2），它采用 2 个模板参数，Type1 和 Type2。众所周知，第二个参数也是一个模板类，它采用 2 个模板参数（TypeA 和 TypeB）。

现在，为了构造 Test2 的对象，我希望用户能够使用两种类型的构造函数之一：

1. 一个采用 Type1 和 Type2 的对象。
2. 一个接受 Type1、TypeA 和 TypeB 的对象。

我编写了以下代码：

#include <iostream>

template<class TypeA, class TypeB>
struct Test
{
    TypeA t1obj;
    TypeB t2obj;
    Test(const TypeA& t1, const TypeB& t2)
        : t1obj(t1), t2obj(t2) {std::cout<<"Test::Type1, Type2\n";}
};


template<class Type1,
         template<typename TypeX, typename TypeY> class Type2 >
struct Test2
{
    Type1 t1obj;
    Type2<typename TypeX, typename TypeY> t2obj; //Line 17

    Test2(const Type1& t1,
          const Type2<typename TypeX, typename TypeY>& t2) //Line 20
        : t1obj(t1), t2obj(t2) { std::cout<<"Test2::Type1, Type2\n";}

    Test2(const Type1& t1,
          const TypeX& x,
          const TypeY& y)
        : t1obj(t1), t2obj(x,y) { std::cout<<"Test2::Type1, X, Y\n";}

};

int main()
{
    Test<int, char> obj1(1,'a');

    Test2<int, Test<int, char> > strangeobj1(10,obj1);
    Test2<int, Test<int, char> > strangeobj2(1,2,'b');

}

我已经尝试了很多，但遇到了非常荒谬的错误，例如：

第 17 行和第 20 行上的模板参数数量错误（1，应该是 2）。

Answer 1

它不是那样工作的。 Test 是一个完整的类型，而不是模板。因此，您需要类型参数，

template<class Type1,
         class Type2 >
struct Test2
{
    Type1 t1obj;
    Type2 t2obj; //Line 17

    Test2(const Type1& t1,
          const Type2& t2) //Line 20
        : t1obj(t1), t2obj(t2) { std::cout<<"Test2::Type1, Type2\n";}

    Test2(const Type1& t1,
          const typename Type2::a_type& x,
          const typename Type2::b_type& y)
        : t1obj(t1), t2obj(x,y) { std::cout<<"Test2::Type1, X, Y\n";}

};

为了获取 TypeX 和 TypeY，导出它们很有用，这样您就可以在 Test2 中使用它们，如上所示。

template<class TypeA, class TypeB>
struct Test
{
    typedef TypeA a_type;
    typedef TypeB b_type;

    // and using them, to show their meaning
    a_type t1obj;
    b_type t2obj;

    Test(const a_type& t1, const b_type& t2)
        : t1obj(t1), t2obj(t2) {std::cout<<"Test::Type1, Type2\n";}
};

请务必阅读 放置“模板”的位置和依赖名称上的“typename”，以了解为什么以及何时在类型名称之前使用 typename，如上所示。

Answer 2

这有几个错误，但主要错误似乎

Test2<int, Test<int, char> >

不是传递模板模板参数的方式。这将使用

Test2<int, Test>

That is because Test is a template but Test is a type 来传递（从该模板生成。）

Answer 3

Type1 是类型，Type2 是模板。您认为 TypeX 和 TypeY 到底定义了什么？在 template行内class Type2 >，它们将被忽略。

Answer 4

这是一种选择：

#include <iostream>

template<class TypeA, class TypeB>
struct Test
{
    TypeA t1obj;
    TypeB t2obj;
    Test(const TypeA& t1, const TypeB& t2)
        : t1obj(t1), t2obj(t2) {std::cout<<"Test::Type1, Type2\n";}
};


template<class Type1, typename TypeX, typename TypeY,
         template <typename TypeXi, typename TypeYi> class Type2>
struct Test2
{
    Type1 t1obj;
    Type2<typename TypeX, typename TypeY> t2obj; //Line 17

    Test2(const Type1& t1,
          const Type2<typename TypeX, typename TypeY>& t2) //Line 20
        : t1obj(t1), t2obj(t2) { std::cout<<"Test2::Type1, Type2\n";}

    Test2(const Type1& t1,
          const TypeX& x,
          const TypeY& y)
        : t1obj(t1), t2obj(x,y) { std::cout<<"Test2::Type1, X, Y\n";}

};

int main()
{
    Test<int, char> obj1(1,'a');

    Test2<int, int, char, Test> strangeobj1(10,obj1);
    Test2<int, int, char, Test> strangeobj2(1,2,'b');

}

Answer 5

Test 与 template不匹配class Type2

第一个是模板类的实例化，它不接受任何参数。第二个是接受两个参数的模板类模式。