運算符重載

1）非參數(shù)化多態(tài)（Ad-hoc polymorphism）：

a）函數(shù)重載（Function Overloading）

b）運算符重載（Operator Overloading）

2）參數(shù)化多態(tài)（Parametric polymorphism）

c）模板（Template）

其實非參數(shù)化多態(tài)和參數(shù)化多態(tài)并不沖突，而且相輔相成，它們混合使用能夠帶來更大的靈活性，函數(shù)模板重載就是很好的例子：

template

T max(const T& lhs, const T& rhs)

{

return lhs > rhs "para" label-module="para">

}

template

T max(const T& fst, const T& sec, const T& thd)

{

return max(max(fst, sec), thd);

}

使用：

max(1, 3, 5);

max(2.4, 4.2);

不同編程范例中的表現(xiàn)形式

注：由于C 同時支持下面要提到的三種編程范例（Programming Paradigm） ，所以就用C 語言為例來說明

靜多態(tài)過程化編程

C 中對靜多態(tài)的支持方式有：全局函數(shù)重載和運算符重載。

全局函數(shù)重載代碼：

一下代碼中均不考慮函數(shù)的返回類型，因為C 中不允許只有函數(shù)類型不同的重載。

1）參數(shù)個數(shù)不同而參數(shù)類型相同(對應(yīng)位置)：

void defParamNum(int paramFst);

void defParamNum(int paramFst, double paramSec);

2）參數(shù)個數(shù)相同而參數(shù)類型不同：

void defParamType (int paramFst, double paramSec);

void defParamType (double paramFst, int paramSec);

3）參數(shù)個數(shù)和參數(shù)類型都不相同：

void defBoth(int paramFst);

void defBoth(double paramFst, int paramSec);

運算符重載代碼：

其實運算符重載也是一種函數(shù)重載。其中多了一些限制，比如一元運算符、二元運算符所要求的參數(shù)個數(shù)，還有運算符重載的元型（Prototype）都有明確的規(guī)定，再就是一些像C語言等不支持運算符重載，所以這里單獨列出來。

一元運算符重載：（負值運算符 operator -）

Complex operator – (const Complex& elem)

{

// 復(fù)數(shù)temp的值為0 0i

Complex temp;

// 將temp的實部設(shè)為elem實部負數(shù)

temp.setReal(-elem.getReal());

// 將temp的虛部設(shè)為elem虛部的負數(shù)

temp.setImage(-elem.getImage());

// 返回temp復(fù)數(shù)，此時temp就是elem對應(yīng)的負數(shù)了

return temp;

}

二元運算符重載：（加法運算符 operator ）

Complex operator (const Complex& lhs, const Complex& rhs)

{

// 復(fù)數(shù)temp的值為0 0i

Complex temp;

// 將temp的實部設(shè)為lhs和rhs實部的和

temp.setReal(lsh.getReal() rhs.getReal());

// 將temp的虛部設(shè)為lhs和rhs虛部的和

temp.setImage(lsh.getImage() rhs.getImage());

// 返回temp復(fù)數(shù)，此時的temp就是lhs和rhs的和

return temp;

}

靜多態(tài)面向?qū)ο缶幊?/h3>

其實面向?qū)ο缶幊蹋∣bject-Oriented Programming）中也表現(xiàn)為函數(shù)重載和運算符重載。

函數(shù)重載：成員函數(shù)重載，靜態(tài)成員函數(shù)（static）重載，虛函數(shù)重載，友元函數(shù)重載。

class Complex {

public:

// 構(gòu)造函數(shù)重載：

Complex() : m_real(0), m_image(0) { };

Complex(double real, double image) : m_real(real), m_image(image) { };

// 靜態(tài)成員函數(shù)重載：不恰當(dāng)?shù)睦?

staticvoid staticFunc()

{

std::cout << "staticFunc()" << std::endl;

}

staticvoid staticFunc(int oneParam)

{

std::cout << "staticFunc(int oneParam)" << std::endl;

}

// 虛函數(shù)重載：不恰當(dāng)?shù)睦?

virtualvoid virtualFunc()

{

std::cout << "virtualFunc()" << std::endl;

}

virtualvoid virtualFunc(int oneParam)

{

std::cout << "virtualFunc(int oneParam)" << std::endl;

}

// 虛函數(shù)重載：不恰當(dāng)?shù)睦?。其友元函?shù)就是一般的全局函數(shù)

friendvoid friendFunc();

friendvoid friendFunc(int oneParam);

// 運算符重載:Comple Comple

// Complex Complex成員版本：允許一個complex對象和另一個Complex對象相加

Complex operator (const Complex& elem)

{

return Complex(m_real elem.m_real, m_image elem.m_image);

}

// Complex double成員版本：允許一個complex對象和另一個double對象相加

// 只能是Complex double，不能是double Complex

Complex operator (double elem)

{

return Complex(m_real elem, m_image);

}

// Complex Complex友元版本：允許一個complex對象和另一個Complex對象相加

friend Complex operator (const Complex& lsh, const Complex& rhs)

{

return Complex(lsh.m_real rhs.m_real, lsh.m_image rhs.m_image);

}

// Complex double友元版本：允許一個complex對象和另一個double對象相加

// 只能是Complex double，不能是double Complex

friend Complex operator (const Complex& lsh, double rhs)

{

return Complex(lsh.m_real rhs, lsh.m_image);

}

// double Complex友元版本：允許一個double對象和另一個Complex對象相加

//只能是double Complex,不能是Complex double

//和上面的Complex double友元版本相輔相成

friend Complex operator (double lhs, const Complex& rhs)

{

return Complex(lhs rhs.m_real, rhs.m_image);

}

private:

double m_real;

double m_image;

};

void friendFunc()

{

std::cout << "virtualFunc()" << std::endl;

}

void friendFunc(int oneParam)

{

std::cout << "virtualFunc(int oneParam)" << std::endl;

}

運算符重載：運算符成員式重載，運算符友元式重載。

注：見Complex類定義中的運算符重載部分！

靜多態(tài)泛型編程

在C 中，泛型編程（Generic Programming） 是通關(guān)過模板來實現(xiàn)的，然而模板不是與上述兩種編程范例有所不同，它必須依附于上述的某種范例，在某范例的基礎(chǔ)上來實現(xiàn)，就像面向?qū)ο蠛瓦^程化編程的關(guān)系一樣。下面就是模板分類：

按泛化對象可分為：

1）類型泛化（Type）：

template

class List {

// ...

};

List iList; // iList是能夠存儲int類型的鏈表對象

2）數(shù)值泛化（Value）：

template

class Bit {

// ...

};

Bit<3> bit3; // bit3是長度為3位的位對象

3）數(shù)值和類型泛化（Type & Value）：

template

class Array {

// ...

};

Array iArray3; // iArray3是能夠存儲3個int類型的數(shù)組對象

按泛化的載體可分為：

函數(shù)模板：

template

void functionGeneric()

{

// ...

}

類模板：

template

class classGeneric {

// ...

};