聯(lián)編是指一個(gè)計(jì)算機(jī)程序自身彼此關(guān)聯(lián)的過程。按照聯(lián)編所進(jìn)行的階段不同，可分為兩種不同的聯(lián)編方法：靜態(tài)聯(lián)編和動(dòng)態(tài)聯(lián)編。
靜態(tài)聯(lián)編
靜態(tài)聯(lián)編是指聯(lián)編工作出現(xiàn)在編譯連接階段，這種聯(lián)編又稱早期聯(lián)編，因?yàn)檫@種聯(lián)編過程是在程序開始運(yùn)行之前完成的。
在編譯時(shí)所進(jìn)行的這種聯(lián)編又稱靜態(tài)束定。在編譯時(shí)就解決了程序中的操作調(diào)用與執(zhí)行該操作代碼間的關(guān)系，確定這種關(guān)系又稱為束定，在編譯時(shí)束定又稱靜態(tài)束定。下面舉一個(gè)靜態(tài)聯(lián)編的例子。
#include <iostream>
using namespace std;
class Point
{
public:
Point(double i, double j) { x=i; y=j; }
virtual double Area() const { return 0.0; }
//virtual double Area() const { return 0.0; }
private:
double x, y;
};
class Rectangle:public Point
{
public:
Rectangle(double i, double j, double k, double l);
double Area() const { return w*h; }
private:
double w, h;
};
Rectangle::Rectangle(double i, double j, double k, double l):Point(i, j)
{
w=k; h=l;
}
void fun(Point &s)
{
cout<<s.Area()<<endl; }
void main()
{
Rectangle rec(3.0, 5.2, 10.0, 10.0);
fun(rec);
}
該程序的運(yùn)行結(jié)果為：
0
輸出結(jié)果表明在fun()函數(shù)中，s所引用的對象執(zhí)行的Area()操作被關(guān)聯(lián)到Point::Area()的實(shí)現(xiàn)代碼上。這是因?yàn)殪o態(tài)聯(lián)編的結(jié)果。在程序編譯階段，對s所引用的對象所執(zhí)行的Area()操作只能束定到Point類的函數(shù)上。因此，導(dǎo)致程序輸出了所不期望的結(jié)果。因?yàn)槲覀兤谕氖莝引用的對象所執(zhí)行的Area()操作應(yīng)該束定到Rectangl類的Area()函數(shù)上。這是靜態(tài)聯(lián)編所達(dá)不到的。
動(dòng)態(tài)聯(lián)編
從對靜態(tài)聯(lián)編的上述分析中可以知道，編譯程序在編譯階段并不能確切知道將要調(diào)用的函數(shù)，只有在程序執(zhí)行時(shí)才能確定將要調(diào)用的函數(shù)，為此要確切知道該調(diào)用的函數(shù)，要求聯(lián)編工作要在程序運(yùn)行時(shí)進(jìn)行，這種在程序運(yùn)行時(shí)進(jìn)行聯(lián)編工作被稱為動(dòng)態(tài)聯(lián)編，或稱動(dòng)態(tài)束定，又叫晚期聯(lián)編。
動(dòng)態(tài)聯(lián)編實(shí)際上是進(jìn)行動(dòng)態(tài)識(shí)別。在上例中，前面分析過了靜態(tài)聯(lián)編時(shí)，fun()函數(shù)中s所引用的對象被束定到Point類上。而在運(yùn)行時(shí)進(jìn)行動(dòng)態(tài)聯(lián)編將把s的對象引用束定到Rectangle類上?？梢?，同一個(gè)對象引用s，在不同階段被束定的類對象將是不同的。那么如何來確定是靜態(tài)聯(lián)編還是動(dòng)態(tài)聯(lián)編呢？C++規(guī)定動(dòng)態(tài)聯(lián)編是在虛函數(shù)的支持下實(shí)現(xiàn)的。如注釋部分所示，當(dāng)將其聲明為virtual類型的時(shí)候，可以采取動(dòng)態(tài)聯(lián)編的技術(shù)來處理函數(shù)fun().
從上述分析可以看出靜態(tài)聯(lián)編和動(dòng)態(tài)聯(lián)編也都是屬于多態(tài)性的，它們是不同階段對不同實(shí)現(xiàn)進(jìn)行不同的選擇。上例中，實(shí)現(xiàn)上是對fun()函數(shù)參數(shù)的多態(tài)性的選擇。該函數(shù)的參數(shù)是一個(gè)類的對象引用，(確切的講應(yīng)該是一個(gè)類的對象的地址或指針類型時(shí))靜態(tài)聯(lián)編和動(dòng)態(tài)聯(lián)編和動(dòng)態(tài)聯(lián)編實(shí)際上是在選擇它的靜態(tài)類型和動(dòng)態(tài)類型。聯(lián)編是對這個(gè)引用的多態(tài)性的選擇。