C++ 模板(一)

2023-10-27,

C++模板类似与C#/Java当中的泛型,即可使用同样的代码实现不同的功能。效果类似于继承(父对象指针指向子指针)。

一 : 函数模板

#include <iostream>
using namespace std;
template<typename T>//<typename T> == <class T>
void print( T a )
{
    cout<< a << endl;
}

int main()
{
    print('a');
    print(1);
    return 0;
}

结果:

解析:

① template<typename T>   或者   template<class T>对函数print函数进行注册模板。

② 注意如果注册了泛型T , 那么测函数一定要用到T。

③ template<typename T> 的作用域是这一整个函数。

④ 模板比重载要好用。

模板的具体化:当模板中有些情况需要具体处理的处理时(特殊处理)

#include <iostream>
using namespace std;
struct Note
{
    int a;
    int b;
};
template<typename T>//<typename T> == <class T>
void print( T a )
{
    cout<< a << endl;
}
//具体化特殊情况
template<> void print<Note>(Note a)
{
    cout << "具体化Note :" << a.a << endl;
}
int main()
{
    Note c;
    c.a = 10;
    print(c);
    return 0;
}

运行结果:

解析:

① 直接打印Note的话绝对是会报错的 , 这样必须对Note的打印进行具体化

② 具体化的格式 : template<> void print<Note>(Note a)

③ 可以看出来template<typename T>void print( T a )根本就没有执行,执行的是具体化的template<> void print<Note>(Note a),实际上如果有普通函数

void print(Note a ) , 则执行普通函数。 普通函数 > 具体化 > 模板

模板的实例化:

#include <iostream>
using namespace std;
struct Note
{
    int a;
    int b;
};
template<typename T>//<typename T> == <class T>
void print( T a )
{
    cout<< a << endl;
}
//具体化特殊情况
template<> void print<Note>(Note a)
{
    cout << "具体化Note :" << a.a << endl;
}
//实例化double类型
template void print<double>(double a);
int main()
{
    Note c;
    c.a = 10;
    print(c);
    return 0;
}

->template void print<double>(double a);

如果没有调用print(12.12)( print(double))可以先实例化double,以后调用的话快一点,其余作用没有。

二:类模板

#include <iostream>
using namespace std;
template<typename T = char>//如果是类模板,是可以加默认值的 T = char
class CPeople
{
public:
    T a;
    CPeople(T a)
    {
        this->a = a;
    }
    void print()
    {
        cout << a << endl;
    }
};
int main()
{
    CPeople<int> c_1(12);
    c_1.print();
    CPeople<> c_2('k');//因为默认泛型为char , 所以可以不写char但是<>一定要带上
    c_2.print();
    CPeople<double> * c_3 = new CPeople<double>(12.5);
    c_3->print();
    delete c_3;
    return 0;
}

结果:

解析:

① template<typename T = char> 默认值在函数模板是不允许的。另外默认值和参数列表是一样的,从右向左,不能 template<typename T = char,typename Y>只能template<typename T,typename Y=char>

类内定义 , 类外实现函数:

#include <iostream>
using namespace std;
template<typename T = char>//如果是类模板,是可以加默认值的 T = char
class CPeople
{
public:
    T a;
    CPeople(T a)
    {
        this->a = a;
    }
    void print();
};
template<typename T>
void CPeople<T>::print()
{
    cout << a << endl;
}
int main()
{
    CPeople<int> c_1(12);
    c_1.print();
    CPeople<> c_2('k');//因为默认泛型为char , 所以可以不写char但是<>一定要带上
    c_2.print();
    CPeople<double> * c_3 = new CPeople<double>(12.5);
    c_3->print();
    delete c_3;
    return 0;
}

注意函数模板不能用默认泛型

《C++ 模板(一).doc》

下载本文的Word格式文档,以方便收藏与打印。