聯(lián)編是指一個(gè)計(jì)算機(jī)程序自身彼此關(guān)聯(lián)的過程。按照聯(lián)編所進(jìn)行的階段不同,可分為兩種不同的聯(lián)編方法:靜態(tài)聯(lián)編和動態(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
class Point
{
public:
Point(double i, double j) { x=i; y=j; }
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< }
void main()
{
Rectangle rec(3.0, 5.2, 15.0, 25.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á)不到的。
動態(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)編工作被稱為動態(tài)聯(lián)編,或稱動態(tài)束定,又叫晚期聯(lián)編。
動態(tài)聯(lián)編實(shí)際上是進(jìn)行動態(tài)識別。在上例中,前面分析過了靜態(tài)聯(lián)編時(shí),fun()函數(shù)中s所引用的對象被束定到Point類上。而在運(yùn)行時(shí)進(jìn)行動態(tài)聯(lián)編將把s的對象引用束定到Rectangle類上。可見,同一個(gè)對象引用s,在不同階段被束定的類對象將是不同的。那么如何來確定是靜態(tài)聯(lián)編還是動態(tài)聯(lián)編呢?C++規(guī)定動態(tài)聯(lián)編是在虛函數(shù)的支持下實(shí)現(xiàn)的。
從上述分析可以看出靜態(tài)聯(lián)編和動態(tài)聯(lián)編也都是屬于多態(tài)性的,它們是不同階段對不同實(shí)現(xiàn)進(jìn)行不同的選擇。上例中,實(shí)現(xiàn)上是對fun()函數(shù)參數(shù)的多態(tài)性的選擇。該函數(shù)的參數(shù)是一個(gè)類的對象引用,靜態(tài)聯(lián)編和動態(tài)聯(lián)編和動態(tài)聯(lián)編實(shí)際上是在選擇它的靜態(tài)類型和動態(tài)類型。聯(lián)編是對這個(gè)引用的多態(tài)性的選擇。
靜態(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
class Point
{
public:
Point(double i, double j) { x=i; y=j; }
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< }
void main()
{
Rectangle rec(3.0, 5.2, 15.0, 25.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á)不到的。
動態(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)編工作被稱為動態(tài)聯(lián)編,或稱動態(tài)束定,又叫晚期聯(lián)編。
動態(tài)聯(lián)編實(shí)際上是進(jìn)行動態(tài)識別。在上例中,前面分析過了靜態(tài)聯(lián)編時(shí),fun()函數(shù)中s所引用的對象被束定到Point類上。而在運(yùn)行時(shí)進(jìn)行動態(tài)聯(lián)編將把s的對象引用束定到Rectangle類上。可見,同一個(gè)對象引用s,在不同階段被束定的類對象將是不同的。那么如何來確定是靜態(tài)聯(lián)編還是動態(tài)聯(lián)編呢?C++規(guī)定動態(tài)聯(lián)編是在虛函數(shù)的支持下實(shí)現(xiàn)的。
從上述分析可以看出靜態(tài)聯(lián)編和動態(tài)聯(lián)編也都是屬于多態(tài)性的,它們是不同階段對不同實(shí)現(xiàn)進(jìn)行不同的選擇。上例中,實(shí)現(xiàn)上是對fun()函數(shù)參數(shù)的多態(tài)性的選擇。該函數(shù)的參數(shù)是一個(gè)類的對象引用,靜態(tài)聯(lián)編和動態(tài)聯(lián)編和動態(tài)聯(lián)編實(shí)際上是在選擇它的靜態(tài)類型和動態(tài)類型。聯(lián)編是對這個(gè)引用的多態(tài)性的選擇。

