深入理解C++的動(dòng)態(tài)綁定與靜態(tài)綁定的應(yīng)用詳解
更新時(shí)間:2013年05月23日 14:58:10 作者:
本篇文章是對(duì)C++中的動(dòng)態(tài)綁定與靜態(tài)綁定進(jìn)行了詳細(xì)的分析介紹,需要的朋友參考下
為了支持c++的多態(tài)性,才用了動(dòng)態(tài)綁定和靜態(tài)綁定。理解他們的區(qū)別有助于更好的理解多態(tài)性,以及在編程的過(guò)程中避免犯錯(cuò)誤。
需要理解四個(gè)名詞:
1、對(duì)象的靜態(tài)類型:對(duì)象在聲明時(shí)采用的類型。是在編譯期確定的。
2、對(duì)象的動(dòng)態(tài)類型:目前所指對(duì)象的類型。是在運(yùn)行期決定的。對(duì)象的動(dòng)態(tài)類型可以更改,但是靜態(tài)類型無(wú)法更改。
關(guān)于對(duì)象的靜態(tài)類型和動(dòng)態(tài)類型,看一個(gè)示例:
class B
{
}
class C : public B
{
}
class D : public B
{
}
D* pD = new D();//pD的靜態(tài)類型是它聲明的類型D*,動(dòng)態(tài)類型也是D*
B* pB = pD;//pB的靜態(tài)類型是它聲明的類型B*,動(dòng)態(tài)類型是pB所指向的對(duì)象pD的類型D*
C* pC = new C();
pB = pC;//pB的動(dòng)態(tài)類型是可以更改的,現(xiàn)在它的動(dòng)態(tài)類型是C*
3、靜態(tài)綁定:綁定的是對(duì)象的靜態(tài)類型,某特性(比如函數(shù))依賴于對(duì)象的靜態(tài)類型,發(fā)生在編譯期。
4、動(dòng)態(tài)綁定:綁定的是對(duì)象的動(dòng)態(tài)類型,某特性(比如函數(shù))依賴于對(duì)象的動(dòng)態(tài)類型,發(fā)生在運(yùn)行期。
class B
{
void DoSomething();
virtual void vfun();
}
class C : public B
{
void DoSomething();//首先說(shuō)明一下,這個(gè)子類重新定義了父類的no-virtual函數(shù),這是一個(gè)不好的設(shè)計(jì),會(huì)導(dǎo)致名稱遮掩;這里只是為了說(shuō)明動(dòng)態(tài)綁定和靜態(tài)綁定才這樣使用。
virtual void vfun();
}
class D : public B
{
void DoSomething();
virtual void vfun();
}
D* pD = new D();
B* pB = pD;
讓我們看一下,pD->DoSomething()和pB->DoSomething()調(diào)用的是同一個(gè)函數(shù)嗎?
不是的,雖然pD和pB都指向同一個(gè)對(duì)象。因?yàn)楹瘮?shù)DoSomething是一個(gè)no-virtual函數(shù),它是靜態(tài)綁定的,也就是編譯器會(huì)在編譯期根據(jù)對(duì)象的靜態(tài)類型來(lái)選擇函數(shù)。pD的靜態(tài)類型是D*,那么編譯器在處理pD->DoSomething()的時(shí)候會(huì)將它指向D::DoSomething()。同理,pB的靜態(tài)類型是B*,那pB->DoSomething()調(diào)用的就是B::DoSomething()。
讓我們?cè)賮?lái)看一下,pD->vfun()和pB->vfun()調(diào)用的是同一個(gè)函數(shù)嗎?
是的。因?yàn)関fun是一個(gè)虛函數(shù),它動(dòng)態(tài)綁定的,也就是說(shuō)它綁定的是對(duì)象的動(dòng)態(tài)類型,pB和pD雖然靜態(tài)類型不同,但是他們同時(shí)指向一個(gè)對(duì)象,他們的動(dòng)態(tài)類型是相同的,都是D*,所以,他們的調(diào)用的是同一個(gè)函數(shù):D::vfun()。
上面都是針對(duì)對(duì)象指針的情況,對(duì)于引用(reference)的情況同樣適用。
指針和引用的動(dòng)態(tài)類型和靜態(tài)類型可能會(huì)不一致,但是對(duì)象的動(dòng)態(tài)類型和靜態(tài)類型是一致的。
D D;
D.DoSomething()和D.vfun()永遠(yuǎn)調(diào)用的都是D::DoSomething()和D::vfun()。
至于那些事動(dòng)態(tài)綁定,那些事靜態(tài)綁定,有篇文章總結(jié)的非常好:
我總結(jié)了一句話:只有虛函數(shù)才使用的是動(dòng)態(tài)綁定,其他的全部是靜態(tài)綁定。目前我還沒(méi)有發(fā)現(xiàn)不適用這句話的,如果有錯(cuò)誤,希望你可以指出來(lái)。
特別需要注意的地方
當(dāng)缺省參數(shù)和虛函數(shù)一起出現(xiàn)的時(shí)候情況有點(diǎn)復(fù)雜,極易出錯(cuò)。我們知道,虛函數(shù)是動(dòng)態(tài)綁定的,但是為了執(zhí)行效率,缺省參數(shù)是靜態(tài)綁定的。
class B
{
virtual void vfun(int i = 10);
}
class D : public B
{
virtual void vfun(int i = 20);
}
D* pD = new D();
B* pB = pD;
pD->vfun();
pB->vfun();
有上面的分析可知pD->vfun()和pB->vfun()調(diào)用都是函數(shù)D::vfun(),但是他們的缺省參數(shù)是多少?
分析一下,缺省參數(shù)是靜態(tài)綁定的,pD->vfun()時(shí),pD的靜態(tài)類型是D*,所以它的缺省參數(shù)應(yīng)該是20;同理,pB->vfun()的缺省參數(shù)應(yīng)該是10。編寫代碼驗(yàn)證了一下,正確。
對(duì)于這個(gè)特性,估計(jì)沒(méi)有人會(huì)喜歡。所以,永遠(yuǎn)記?。?BR>“絕不重新定義繼承而來(lái)的缺省參數(shù)(Never redefine function's inherited default parameters value.)”
關(guān)于c++語(yǔ)言
目前我基本上都是在c++的子集“面向?qū)ο缶幊獭毕鹿ぷ鳎瑢?duì)于更復(fù)雜的知識(shí)了解的還不是很多。即便如此,到目前為止編程時(shí)需要注意的東西已經(jīng)很多,而且后面可能還會(huì)繼續(xù)增多,這也許是很多人反對(duì)c++的原因。
c++是Google的四大官方語(yǔ)言之一。但是Google近幾年確推出了go語(yǔ)言,而且定位是和c/c++相似。考慮這種情況,我認(rèn)為可能是Google的程序員們深感c++的復(fù)雜,所以想開發(fā)一種c++的替代語(yǔ)言。有時(shí)間要了解一下go語(yǔ)言,看它在類似c++的問(wèn)題上時(shí)如何取舍的。
需要理解四個(gè)名詞:
1、對(duì)象的靜態(tài)類型:對(duì)象在聲明時(shí)采用的類型。是在編譯期確定的。
2、對(duì)象的動(dòng)態(tài)類型:目前所指對(duì)象的類型。是在運(yùn)行期決定的。對(duì)象的動(dòng)態(tài)類型可以更改,但是靜態(tài)類型無(wú)法更改。
關(guān)于對(duì)象的靜態(tài)類型和動(dòng)態(tài)類型,看一個(gè)示例:
復(fù)制代碼 代碼如下:
class B
{
}
class C : public B
{
}
class D : public B
{
}
D* pD = new D();//pD的靜態(tài)類型是它聲明的類型D*,動(dòng)態(tài)類型也是D*
B* pB = pD;//pB的靜態(tài)類型是它聲明的類型B*,動(dòng)態(tài)類型是pB所指向的對(duì)象pD的類型D*
C* pC = new C();
pB = pC;//pB的動(dòng)態(tài)類型是可以更改的,現(xiàn)在它的動(dòng)態(tài)類型是C*
3、靜態(tài)綁定:綁定的是對(duì)象的靜態(tài)類型,某特性(比如函數(shù))依賴于對(duì)象的靜態(tài)類型,發(fā)生在編譯期。
4、動(dòng)態(tài)綁定:綁定的是對(duì)象的動(dòng)態(tài)類型,某特性(比如函數(shù))依賴于對(duì)象的動(dòng)態(tài)類型,發(fā)生在運(yùn)行期。
復(fù)制代碼 代碼如下:
class B
{
void DoSomething();
virtual void vfun();
}
class C : public B
{
void DoSomething();//首先說(shuō)明一下,這個(gè)子類重新定義了父類的no-virtual函數(shù),這是一個(gè)不好的設(shè)計(jì),會(huì)導(dǎo)致名稱遮掩;這里只是為了說(shuō)明動(dòng)態(tài)綁定和靜態(tài)綁定才這樣使用。
virtual void vfun();
}
class D : public B
{
void DoSomething();
virtual void vfun();
}
D* pD = new D();
B* pB = pD;
讓我們看一下,pD->DoSomething()和pB->DoSomething()調(diào)用的是同一個(gè)函數(shù)嗎?
不是的,雖然pD和pB都指向同一個(gè)對(duì)象。因?yàn)楹瘮?shù)DoSomething是一個(gè)no-virtual函數(shù),它是靜態(tài)綁定的,也就是編譯器會(huì)在編譯期根據(jù)對(duì)象的靜態(tài)類型來(lái)選擇函數(shù)。pD的靜態(tài)類型是D*,那么編譯器在處理pD->DoSomething()的時(shí)候會(huì)將它指向D::DoSomething()。同理,pB的靜態(tài)類型是B*,那pB->DoSomething()調(diào)用的就是B::DoSomething()。
讓我們?cè)賮?lái)看一下,pD->vfun()和pB->vfun()調(diào)用的是同一個(gè)函數(shù)嗎?
是的。因?yàn)関fun是一個(gè)虛函數(shù),它動(dòng)態(tài)綁定的,也就是說(shuō)它綁定的是對(duì)象的動(dòng)態(tài)類型,pB和pD雖然靜態(tài)類型不同,但是他們同時(shí)指向一個(gè)對(duì)象,他們的動(dòng)態(tài)類型是相同的,都是D*,所以,他們的調(diào)用的是同一個(gè)函數(shù):D::vfun()。
上面都是針對(duì)對(duì)象指針的情況,對(duì)于引用(reference)的情況同樣適用。
指針和引用的動(dòng)態(tài)類型和靜態(tài)類型可能會(huì)不一致,但是對(duì)象的動(dòng)態(tài)類型和靜態(tài)類型是一致的。
D D;
D.DoSomething()和D.vfun()永遠(yuǎn)調(diào)用的都是D::DoSomething()和D::vfun()。
至于那些事動(dòng)態(tài)綁定,那些事靜態(tài)綁定,有篇文章總結(jié)的非常好:
我總結(jié)了一句話:只有虛函數(shù)才使用的是動(dòng)態(tài)綁定,其他的全部是靜態(tài)綁定。目前我還沒(méi)有發(fā)現(xiàn)不適用這句話的,如果有錯(cuò)誤,希望你可以指出來(lái)。
特別需要注意的地方
當(dāng)缺省參數(shù)和虛函數(shù)一起出現(xiàn)的時(shí)候情況有點(diǎn)復(fù)雜,極易出錯(cuò)。我們知道,虛函數(shù)是動(dòng)態(tài)綁定的,但是為了執(zhí)行效率,缺省參數(shù)是靜態(tài)綁定的。
復(fù)制代碼 代碼如下:
class B
{
virtual void vfun(int i = 10);
}
class D : public B
{
virtual void vfun(int i = 20);
}
D* pD = new D();
B* pB = pD;
pD->vfun();
pB->vfun();
有上面的分析可知pD->vfun()和pB->vfun()調(diào)用都是函數(shù)D::vfun(),但是他們的缺省參數(shù)是多少?
分析一下,缺省參數(shù)是靜態(tài)綁定的,pD->vfun()時(shí),pD的靜態(tài)類型是D*,所以它的缺省參數(shù)應(yīng)該是20;同理,pB->vfun()的缺省參數(shù)應(yīng)該是10。編寫代碼驗(yàn)證了一下,正確。
對(duì)于這個(gè)特性,估計(jì)沒(méi)有人會(huì)喜歡。所以,永遠(yuǎn)記?。?BR>“絕不重新定義繼承而來(lái)的缺省參數(shù)(Never redefine function's inherited default parameters value.)”
關(guān)于c++語(yǔ)言
目前我基本上都是在c++的子集“面向?qū)ο缶幊獭毕鹿ぷ鳎瑢?duì)于更復(fù)雜的知識(shí)了解的還不是很多。即便如此,到目前為止編程時(shí)需要注意的東西已經(jīng)很多,而且后面可能還會(huì)繼續(xù)增多,這也許是很多人反對(duì)c++的原因。
c++是Google的四大官方語(yǔ)言之一。但是Google近幾年確推出了go語(yǔ)言,而且定位是和c/c++相似。考慮這種情況,我認(rèn)為可能是Google的程序員們深感c++的復(fù)雜,所以想開發(fā)一種c++的替代語(yǔ)言。有時(shí)間要了解一下go語(yǔ)言,看它在類似c++的問(wèn)題上時(shí)如何取舍的。
您可能感興趣的文章:
- PHP面向?qū)ο笾笃陟o態(tài)綁定功能介紹
- PHP Static延遲靜態(tài)綁定用法分析
- 理解Java中的靜態(tài)綁定和動(dòng)態(tài)綁定
- 簡(jiǎn)單談?wù)刾hp延遲靜態(tài)綁定
- php延遲靜態(tài)綁定實(shí)例分析
- Java中的靜態(tài)綁定和動(dòng)態(tài)綁定詳細(xì)介紹
- PHP延遲靜態(tài)綁定示例分享
- PHP5.3安裝Zend Guard Loader圖文教程
- windows下升級(jí)PHP到5.3.3的過(guò)程及注意事項(xiàng)
- PHP5.3以上版本安裝ZendOptimizer擴(kuò)展
- php5.3后靜態(tài)綁定用法詳解
相關(guān)文章
C語(yǔ)言實(shí)現(xiàn)找出二叉樹中某個(gè)值的所有路徑的方法
這篇文章主要介紹了C語(yǔ)言實(shí)現(xiàn)找出二叉樹中某個(gè)值的所有路徑的方法,針對(duì)數(shù)據(jù)結(jié)構(gòu)中二叉樹的實(shí)用操作技巧,需要的朋友可以參考下2014-09-09

php5系列的apache遠(yuǎn)程執(zhí)行漏洞攻擊腳本
這篇文章主要介紹了php5系列的apache遠(yuǎn)程執(zhí)行漏洞攻擊腳本,需要的朋友可以參考下
2014-06-06 
vc中float與DWORD的互想轉(zhuǎn)換實(shí)現(xiàn)代碼
這篇文章主要介紹了vc中float與DWORD的互想轉(zhuǎn)換實(shí)現(xiàn)代碼,需要的朋友可以參考下
2017-06-06 
C/C++讀取大文件數(shù)據(jù)方式詳細(xì)講解
這篇文章主要介紹了C語(yǔ)言/C++讀取大文件數(shù)據(jù)的完整方式過(guò)程,文中通過(guò)示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧
2022-09-09 
C 語(yǔ)言關(guān)于聯(lián)合體的相關(guān)知識(shí)
這篇文章主要介紹了C 語(yǔ)言關(guān)于聯(lián)合體的相關(guān)知識(shí),文中講解非常細(xì)致,代碼幫助大家更好的理解學(xué)習(xí),感興趣的朋友可以了解下
2020-06-06 
利用C語(yǔ)言實(shí)現(xiàn)頁(yè)面置換算法的詳細(xì)過(guò)程
一個(gè)好的頁(yè)面置換算法,應(yīng)具有較低的頁(yè)面更換頻率,從理論上講,應(yīng)該保留最近重復(fù)訪問(wèn)的頁(yè)面,將以后都不再訪問(wèn)或者很長(zhǎng)時(shí)間內(nèi)不再訪問(wèn)的頁(yè)面調(diào)出,下面這篇文章主要給大家介紹了關(guān)于利用C語(yǔ)言實(shí)現(xiàn)頁(yè)面置換算法的相關(guān)資料,需要的朋友可以參考下
2022-11-11