C++語(yǔ)言全盤繼承了C語(yǔ)言的標(biāo)準(zhǔn)庫(kù)，其中包換非常豐富的系統(tǒng)函數(shù)，例如輸入/輸出函數(shù)、數(shù)學(xué)函數(shù)、字符串處理函數(shù)和動(dòng)態(tài)內(nèi)存分配函數(shù)等。C++語(yǔ)言另外又增加了一些新的庫(kù)，我們把C++語(yǔ)言新增的這部分庫(kù)稱為C++標(biāo)準(zhǔn)庫(kù)。C++語(yǔ)言的模板技術(shù)包括函數(shù)模板和類模板。模板技術(shù)是一種代碼重用技術(shù)，函數(shù)和類是C++語(yǔ)言中兩種主要的重用代碼形式。代碼模板使源程序更加凝練。

一、函數(shù)模板

函數(shù)模板的基本原理是通過(guò)數(shù)據(jù)類型的參數(shù)化，將一組算法相同但所處理數(shù)據(jù)類型不同的重載函數(shù)凝練成一個(gè)函數(shù)模板。

1、函數(shù)模板的定義和使用

函數(shù)模板的定義語(yǔ)法形式：

template <類型參數(shù)列表>

函數(shù)類型 函數(shù)名(形參參數(shù)列表)

{

函數(shù)體

}

函數(shù)模板的幾點(diǎn)語(yǔ)法細(xì)則：

• 定義函數(shù)模板以關(guān)鍵字template開(kāi)頭
• 類型參數(shù)列表可以聲明一個(gè)或多個(gè)類型參數(shù)，每個(gè)類型參數(shù)以"typename 類型參數(shù)名"或"class 類型參數(shù)名"的形式聲明，類型參數(shù)之間用逗號(hào)”，“隔開(kāi)。
• 函數(shù)模板的其余部分，包括函數(shù)類型、函數(shù)名、形式參數(shù)列表以及函數(shù)體，它們和普通函數(shù)的定義形式?jīng)]有什么區(qū)別。
• 使用typename和class聲明的類型參數(shù)可視為一種新的數(shù)據(jù)類型，可用來(lái)定義函數(shù)類型(即返回值類型)、形參類型和局部變量類型。類型參數(shù)是表示數(shù)據(jù)類型的參數(shù)，再實(shí)際調(diào)用時(shí)可被替換成任意數(shù)據(jù)類型

示例：

#include<iostream>
using namespace std;
template <typename T>  //定義函數(shù)模板Max，聲明一個(gè)類型參數(shù)T
T Max(T x,T y)   //使用類型參數(shù)T定義函數(shù)類型和形參x和y的類型
{
    return(x>y?x:y);
}
int main()
{
    cout << Max(5,10) <<endl; //調(diào)用返回最大值10
    cout << Max(5.2,10.2) <<endl; //調(diào)用返回最大值10.2
    return 0;
}

函數(shù)模板可以像普通函數(shù)一樣被調(diào)用。再調(diào)用者看來(lái)，函數(shù)模板的類型參數(shù)像是一種通用數(shù)據(jù)類型。

2、函數(shù)模板的編譯原理

函數(shù)模板是具有類型參數(shù)的函數(shù)。類型參數(shù)是表示數(shù)據(jù)類型的參數(shù)，可指代任意一種實(shí)際數(shù)據(jù)類型。編譯器再編譯到函數(shù)模板的調(diào)用語(yǔ)句時(shí)，根據(jù)位置對(duì)應(yīng)關(guān)系從實(shí)參數(shù)據(jù)類型推導(dǎo)出類型參數(shù)所指代的數(shù)據(jù)類型，然后按照函數(shù)模板自動(dòng)生成一個(gè)該類型的函數(shù)定義代碼。不同類型實(shí)參的函數(shù)模板調(diào)用語(yǔ)句將生成不同類型的重載函數(shù)。函數(shù)模板將數(shù)據(jù)類型參數(shù)化，調(diào)用時(shí)會(huì)呈現(xiàn)參數(shù)多態(tài)性。

3、函數(shù)模板的聲明

跟普通函數(shù)一樣函數(shù)模板也需要先定義后調(diào)用的原則。如果函數(shù)模板定義再調(diào)用后，或定義再其他程序文件中，則應(yīng)先聲明后調(diào)用。函數(shù)模板的聲明語(yǔ)法形式為：

template <類型參數(shù)列表>

函數(shù)類型 函數(shù)名(形參參數(shù)列表)；

或

template <類型參數(shù)列表> 函數(shù)類型 函數(shù)名(形參參數(shù)列表)；

#include<iostream>
using namespace std;
template <typename T>  //函數(shù)模板Max定義聲明
T Max(T x,T y);
int main()
{
    cout << Max(5,10) <<endl; //函數(shù)模板Max使用
    cout << Max(5.2,10.2) <<endl; 
    return 0;
}
template <typename T>  //函數(shù)模板Max定義
T Max(T x,T y)   
{
    return(x>y?x:y);
}

程序員再編程時(shí)可以靈活使用模板技術(shù)。在定義多個(gè)重載函數(shù)時(shí)可以考慮是否將他們定義成一個(gè)函數(shù)模板，這樣可以凝練函數(shù)代碼。再定義單個(gè)函數(shù)時(shí)也可以考慮定義成函數(shù)模板，這樣可以提高函數(shù)代碼的可重用性。對(duì)于調(diào)用函數(shù)模板的程序員而言，函數(shù)模板和普通函數(shù)沒(méi)有什么區(qū)別。唯一不同的時(shí)函數(shù)模板可以處理不同類型的數(shù)據(jù)。

二、類模板

應(yīng)用模板技術(shù)，也可以將一組功能相同但所處理數(shù)據(jù)類型不同的類凝練成一個(gè)類模板。編譯時(shí)，再由編譯器按照類模板自動(dòng)生成針對(duì)不同數(shù)據(jù)類型的類定義代碼。

1、類模板的定義和使用

定義類模板的語(yǔ)法形式：

template <類型參數(shù)列表>

class 類名 //類聲明部分

{

類成員聲明

}

//類實(shí)現(xiàn)部分：所有類外定義的函數(shù)成員，必須按如下的語(yǔ)法形式將它們定義成函數(shù)模板

template <類型參數(shù)列表>

函數(shù)類型 類名<類型參數(shù)名列表>::函數(shù)名(形式參數(shù)列表)

{ 函數(shù)體 }

類模板的幾點(diǎn)語(yǔ)法細(xì)則：

• 定義類模板以關(guān)鍵字template開(kāi)頭
• 類型參數(shù)列表可以聲明一個(gè)或多個(gè)類型參數(shù)，每個(gè)類型參數(shù)以"typename 類型參數(shù)名"或"class 類型參數(shù)名"的形式聲明，類型參數(shù)之間用逗號(hào)”，“隔開(kāi)。
• 類模板定義的其余部分，包括類名、類成員聲明以及類實(shí)現(xiàn)部分，它們和普通類的定義形式基本相同。
• 定義類模板的函數(shù)成員，如果再類內(nèi)定義(內(nèi)聯(lián)函數(shù)),其語(yǔ)法形式和普通類的函數(shù)成員沒(méi)區(qū)別；如果再類外(即類實(shí)現(xiàn)部分)定義，則必須按照函數(shù)模板的語(yǔ)法形式來(lái)定義，并且還要再函數(shù)名前面加“類名<類型參數(shù)名列表>::”限定。
• 使用typename和class聲明的類型參數(shù)可視為一種新的數(shù)據(jù)類型，類型參數(shù)是表示數(shù)據(jù)類型的參數(shù)，再使用類模板時(shí)可被替換成任意數(shù)據(jù)類型。

定義好的類模板可以像普通類一樣被用來(lái)定義對(duì)象。使用類模板定義對(duì)象時(shí)，需要明確給出類模板中類型參數(shù)所指代的實(shí)際數(shù)據(jù)類型。其語(yǔ)法形式如下：類模板名 <實(shí)際數(shù)據(jù)類型列表> 對(duì)象名1，對(duì)象名2 .....;

類模板語(yǔ)法示例：

在類內(nèi)定義函數(shù)成員(內(nèi)聯(lián))

#include<iostream>
using namespace std;
template <typename T> //類模板A
class A  //類聲明部分
{
    private: //聲明兩個(gè)私有數(shù)據(jù)成員
        T a1;
        int a2;
    public:
        A(T p1,int p2) //定義構(gòu)造函數(shù)
        { a1 = p1; a2 = p2}
        void Show() //顯示數(shù)據(jù)成員
        { cout << a1 <<","<<a2 <<endl;}
        T Sum() //求數(shù)據(jù)成員的和
        {return (T)(a1+a2); }
};
//無(wú)類實(shí)現(xiàn)部分

int main()
{
    //用類模板定義對(duì)象
    A <double> o1(10.5,6); //double型對(duì)象
    o1.Show(); //顯示：10.5，6
    cout<<o1.Sum()<<endl;//顯示：16.5
    
    A <int> o2(10,6); //int型對(duì)象
    o2.Show(); //顯示：10，6
    cout<<o1.Sum()<<endl;//顯示：16
    return 0;
}

在類外定義函數(shù)模板成員

#include<iostream>
using namespace std;
template <typename T> //類模板A
class A  //類聲明部分
{
    private: //聲明兩個(gè)私有數(shù)據(jù)成員
        T a1;
        int a2;
    public:
        A(T p1,int p2); //定義構(gòu)造函數(shù)
        void Show(); //顯示數(shù)據(jù)成員
        T Sum(); //求數(shù)據(jù)成員的和
};
//類實(shí)現(xiàn)部分
template <typename T>
A <T>::A(T p1,int p2) 
{ a1 = p1; a2 = p2}
template <typename T>
void A <T>::Show() 
{ cout << a1 <<","<<a2 <<endl;}
template <typename T>
T A <T>::Sum()
{return (T)(a1+a2); }
int main()
{
    //用類模板定義對(duì)象
    A <double> o1(10.5,6); //double型對(duì)象
    o1.Show(); //顯示：10.5，6
    cout<<o1.Sum()<<endl;//顯示：16.5
    
    A <int> o2(10,6); //int型對(duì)象
    o2.Show(); //顯示：10，6
    cout<<o1.Sum()<<endl;//顯示：16
    return 0;
}

2、類模板的編譯原理

當(dāng)定義到類模板定義對(duì)象語(yǔ)句時(shí)，編譯器將根據(jù)所給出的實(shí)際數(shù)據(jù)類型來(lái)取代類型參數(shù)T。例如A <double> o1(10.5,6); 編譯時(shí)將類模板中類類型參數(shù)綁定到某個(gè)具體數(shù)據(jù)類型的過(guò)程，稱為類模板的實(shí)例化。實(shí)例化所生成的類稱為類模板的實(shí)例類。實(shí)例類是一個(gè)普通的類，可以用來(lái)定義對(duì)象。

類模板編譯原理：類模板是具有類型參數(shù)的類。類型參數(shù)是表示數(shù)據(jù)類型的參數(shù)，可指代任意實(shí)際數(shù)據(jù)類型。編譯器在編譯到使用類模板定義對(duì)象語(yǔ)句時(shí)，將首先按照所給定的實(shí)際數(shù)據(jù)類型對(duì)類模板進(jìn)行實(shí)例化，生成一個(gè)實(shí)例類。最終，編譯器使用實(shí)例類來(lái)定義所需要的對(duì)象。

3、類模板的繼承和派生

類模板可以被繼承，派生出新類。以類模板為基類定義派生類，可以在派生時(shí)實(shí)例化，也可以繼續(xù)定義派生類模板。

1、定義實(shí)例化派生類

定義實(shí)例化派生類就是在派生類繼承基類的時(shí)候?qū)㈩愋蛥?shù)賦值，此時(shí)派生類對(duì)基類進(jìn)行實(shí)例化。

實(shí)例化派生類示例

#include<iostream>
using namespace std;
template <typename T> //類模板基類Base
class Base  //類聲明部分
{
    private: //聲明私有數(shù)據(jù)成員
        T a;
    public:
        Base(T x) { a=x; }
        void Show() { cout<< "a="<<a<<","; }
};
//無(wú)類實(shí)現(xiàn)部分

class Derived:public Base<double> //公有繼承基類模板Base，派生時(shí)實(shí)例化
{
    private: //聲明新增數(shù)據(jù)成員
        int b;
    public:
        //注意派生類構(gòu)造函數(shù)寫法
        Derived(double p1,int p2):Base<double>(p1) { b=p2; } 
        //新增函數(shù)成員Show
        void Show() { Base <double>::Show(); cout<< "b="<<b<<endl; }
};

int main()
{
    Derived obj(10.5,6);//定義派生類Derived對(duì)象obj
    obj.Show(); //顯示結(jié)果：a=10.5,b=6
    return 0;
}

在編譯到派生類Derived的定義代碼時(shí)，編譯器將按照所給定的實(shí)際數(shù)據(jù)類型double對(duì)類模板Base進(jìn)行實(shí)例化，生成一個(gè)double型的實(shí)例類，最終派生類Derived繼承的是該實(shí)例類。

2、定義派生類模板

定義派生類模板是派生類在繼承類模板基類時(shí)不進(jìn)行實(shí)例化，因此派生類仍然是一個(gè)類模板。

派生類模板示例

#include<iostream>
using namespace std;
template <typename T> //類模板基類Base
class Base  //類聲明部分
{
    private: //聲明私有數(shù)據(jù)成員
        T a;
    public:
        Base(T x) { a=x; }
        void Show() { cout<< "a="<<a<<","; }
};
//無(wú)類實(shí)現(xiàn)部分

//公有繼承類模板Base，派生類仍為類模板
template <typename T,typename TT> //新增類型參數(shù)TT
class Derived:public Base<T> //公有繼承基類模板Base,定義派生類模板
{
    private: //聲明新增數(shù)據(jù)成員
        TT b;
    public:
        //注意派生類構(gòu)造函數(shù)寫法
        Derived(T p1,TT p2):Base<T>(p1) { b=p2; } 
        //新增函數(shù)成員Show
        void Show() { Base <T>::Show(); cout<< "b="<<b<<endl; }
};

int main()
{
    Derived<double,int> obj(10.5,6);//定義派生類Derived對(duì)象obj
    obj.Show(); //顯示結(jié)果：a=10.5,b=6
    return 0;
}

和其他類模板一樣，派生類模板Derived在定義對(duì)象時(shí)需要明確給出派生類模板中類型參數(shù)所指代的實(shí)際數(shù)據(jù)類型。程序員編程時(shí)，在定義多個(gè)功能相同但處理數(shù)據(jù)類型不同的類時(shí)應(yīng)考慮是否可以將它們合并成一個(gè)類模板，這樣可以凝練代碼。再定義單個(gè)類時(shí)也可以考慮升級(jí)成類模板，這樣可以提高函數(shù)代碼的可重用性。對(duì)于調(diào)用類模板的程序員而言，類模板和普通類沒(méi)有什么區(qū)別。只是在使用類模板時(shí)需要給出類型參數(shù)所指代的實(shí)際數(shù)據(jù)類型。

到此這篇關(guān)于C++函數(shù)模板和類模板的文章就介紹到這了,更多相關(guān)C++函數(shù)模板和類模板內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論