[cpp]: 以模板作为模板参数 -- <template>

[cpp]:  以模板作为模板参数 -- <template>

 

 

 

 

一、template 说明

 

　　1、模板参数：以‘模板’作为模板的参数。

 

　　2、示例

//   template<class T1, class T2> class W：模板参数W
//   W<T1, T2>: W有两个参数【T1, T2】

template<class U, class V, template<class T1, class T2> class W>
class object{};

 

 

 

二、代码

#include <iostream>
#include <string>
#include <vector>

using namespace std;

//  分割线
void sep(){ cout << "" << endl; }

//  模板有2个类型参数【U,V】
template<class U, class V>
class B{
public:
    B(){}
    void msgb(){ cout << "[os]: B::msgb() " << endl;  }
};

//  模板有1个类型参数【T】
template<typename T>
class A
{
public:
    A(){}
    void msga1() { cout << "[os]: A::msga1() " << endl; }
    void printa1(){ cout << "[os]: A::printa1() " << endl; }
public:
    T i;
};

//  模板有1个类型参数【T】
template<typename T>
class A<T*>
{
public:
    A(){}
    void msga2() { cout << "[os]: A::msga2() " << endl; }
    void printa2(){ cout << "[os]: A::printa2() " << endl; }
public:
    T *f;
};

//  模板共有3个参数：    模板有2个类型参数【U,V】， 一个模板参数【W】（W有1个参数【T1】）
//  模板参数 以模板作为模板的参数：
//  模板参数【W】有1个参数； C实例化的时候，第三个模板参数必须是带有1个模板参数的类（'类A'符合条件，'类A'带有1个参数【T】）
template<class U, class V, template<typename T1> class W>
class C
{
public:
    C(){}
    void msgc() { cout << "[os]: C::msgc() " << endl; }
    void printcy(){ cout << "[os]: C::printcy()  " << endl; }
    void printcz(){ cout << "[os]: C::printcz()  " << endl; }
    W<U> y;
    W<V*> z;
};

//  模板共有3个参数：    模板有2个类型参数【U,V】， 一个模板参数【W】（W有1个参数【T1】）
//  模板参数 以模板作为模板的参数：
//  模板参数【W】有2个参数； D实例化的时候，第三个模板参数必须是带有2个模板参数的类（'类B'符合条件，'类B'带有2个参数【T,V】）
template<class U, class V, template<typename T1, typename T2> class W>
class D{
public:
    D(){}
    void msgd(){ cout << "[os]: D::msg() " << endl;  }
};

//
void run ()
{
    A<int> a1;
    a1.printa1();
  
    sep();

    A<float*> a2;
    a2.printa2();

    sep();

    C<int, float, A> c;        //  C实例化时，A位置必须是'带有1个模板参数'的类名; A是类名 。
    c.printcy();

    sep();
    
    D<int, float, B> d;        //  D实例化时，B位置必须是'带有2个模板参数'的类名; B是类名 。
    d.msgd();  
}

//  程序入口/主函数
int main()
{
    run();
    return 0;
}

 

 

 

三、运行结果

g++ -std=c++20 -O2 -Wall -pedantic -pthread main.cpp && ./a.out


[os]: A::printa1() 

[os]: A::printa2() 

[os]: C::printcy()  

[os]: D::msg()

 

 

 

四、参考文献

 

　　1、　　Template parameters and template arguments　　--　　https://en.cppreference.com/w/cpp/language/template_parameters#Type_template_parameter

 

　　2、　　cpp 在线编译工具　　--　　https://coliru.stacked-crooked.com/