C＆＃x2B;＆＃x2B;底漆和部分专业问题

Question

在C ++ Primer Plus第14章的“部分专业”部分中：

没有部分专业化，第二个声明将使用一般模板，将t解释为类型char *。与部分专业化，它使用专业模板，将t解释为char。
部分专业化功能允许做出各种限制。例如，您可以使用以下内容：

//常规模板
模板＆lt;类T1，T2类，T3类＆GT;类三重奏{...};

// T3设置为T2
专业化 模板＆lt;类T1类，T2＆gt;三人组＆lt; t1，t2，t2＆gt; {...};

//用T3和T2设置为T1*
专业化 模板类三重奏＆lt; t1，t1*，t1*＆gt; {...};

鉴于这些声明，编译器将做出以下选择：

trio＆lt; int，简称，char *＆gt; T1; //使用常规模板
trio＆lt; int，简短＆gt; T2; //使用三重奏＆lt; t1，t2，t2＆gt;
trio＆lt; char，char *，char *＆gt; T3; //使用三重奏＆lt; t1，t1*，t1*＆gt;

但是，当我尝试一下时：

template <typename T1, typename T2, typename T3>
class Base
{
public:
    Base()
    {
        cout << "general definition" << endl;
    }
};

template <typename T1, typename T2>
class Base<T1, T2, T2>
{
public:
    Base()
    {
        cout << "T1 and T2 definition" << endl;
    }
};

template <typename T1>
class Base<T1, T1, T1>
{
public:
    Base()
    {
        cout << "T1 definition" << endl;
    }
};

int main()
{
    Base<int, char, double> b1;
    Base<int, char, char> b2;
    Base<int, char> b3;
    Base<int, int, int> b4;
    Base<int> b5;
    return 0;
}

我会在base＆lt; int，char＆gt;中得到错误。 B3和base＆lt; int＆gt; B5：

wrong number of template arguments (2, should be 3)
wrong number of template arguments (1, should be 3)

我的问题是：当我们使用部分专业化时，如果使用类型参数来初始化另一个类型，我们可以省略重复零件吗？

我的编译器参数：

D:\MinGw-x64\mingw64\bin\g++.exe 'c:\Users\33065\Desktop\study\C++ Primer Plus source code\*.cpp', '-o', 'c:\Users\33065\Desktop\study\C++ Primer Plus source code/main.exe', '-std=c++11', '-g', '-m64', '-Wall', '-static-libgcc', '-fexec-charset=GBK', '-D__USE_MINGW_ANSI_STDIO'

Answer 1

部分专业化将期望与基本模板授权一样多的模板参数（“基础”表示您的类模板的无专门声明，而不是名为base的类型）。解决问题的一种解决方案是将基本模板定义为：

template <typename T1, typename T2 = T1, typename T3 = T2>
class Base
{
public:
    Base()
    {
        cout << "general defination" << endl;
    }
};

由于专业人士无法具有默认的模板参数，因此这会使基本模板将未定义的参数滴入到其余的打字员。因此，您可以写出类似的内容，

Base<T1> b1; // this will be Base<T1, T1, T1>

并使每种未定义的类型等同于上一个类型。

demo