C語言和C++的區別

c語言雖說經常和c++在一起被大家提起,但可千萬不要以爲它們是一個東西。現在我們常用的C語言是C89標準,C++是C++99標準的。C89就是在1989年制定的標準,如今最新的是C11和C++11標準。根據不同的標準,它們的功能也會有所不同,但是越新的版本支持的編譯器越少,所以本文在討論的時候使用的C語言標準是C89,C++標準是C++99.我們來介紹C語言和C++中那些不同的地方。


1.函數默認值


在C++中我們在定義或聲明一個函數的時候,有時會在形參中給它賦一個初始值作爲不傳參數時候的缺省值,例如:

int FUN(int a = 10);

代表沒有傳參調用的時候,自動給a賦一個10的初始值。然而這種操作在c89下是行不通的,在c語言下這麼寫就會報錯。

我們都知道,系統在調用任何一個函數的時候都有函數棧幀的開闢,如果函數有參數則需要壓入實參。平常在我們人爲給定實參的時候,是按照參數列表從右向左依次將參數通過

mov  eax/ecx   dword ptr[ebp-4]       //假設是int數據

指令傳入寄存器,再通過push指令壓入。現在我們已經給定了函數參數的默認值,那麼在壓實參的時候只需要一步push初始值即可。效率更高。

另外需要注意的是,賦初始值必須從參數列表的右邊開始賦值,從左邊開始賦值將會出錯:

int sum1(int a = 10,int b);        //錯誤int sum2(int a,int b = 20);            //正確

因爲如果sum1的聲明是正確的,那麼我們調用的時候怎麼調用?sum1( ,20)?很可惜這樣屬於語法錯誤,調用這麼寫既然不對那就當然不能這樣賦初始值了。相反,sum2的調用:sum2(20);合情合理,沒有任何問題。

實際在寫工程的時候,我們都習慣將函數的聲明寫在頭文件中而非本文件裏,然後在不同的文件中寫出它們的定義。那麼這種情況可以賦初始值嗎?當然可以,不論是定義還是聲明處,只要你遵守從右向左賦的規則就可以。甚至你還可以這樣給初始值:

int  fun(int a ,int b = 10);int  fun(int a = 20,int b);

眼尖的同學看見了下面的那行代碼大喊錯誤,因爲先給左邊賦值了!

其實這樣聲明完全沒有問題,兩句聲明是同一個函數(函數多次聲明沒有問題),第一句已經給b了一個初始值,運行到第二句時已經等價於int fun(int a = 20,int b = 10);了。但是注意,這兩句的順序不能反轉,否則就是錯誤的。

 

總結:C89標準的C語言不支持函數默認值,C++支持函數默認值,且需要遵循從右向左賦初始值。

 


2.inline內聯函數


說到內聯函數大家應當不陌生,它又是一個C89標準下C語言沒有的函數。它的具體做法和宏非常相似,也是在調用處直接將代碼展開,只不過宏它是在預編譯階段展開,而內聯函數是在 編譯階段進行處理的。同時,宏作爲預處理並不進行類型檢查,而inline函數是要進行類型檢查的,也就可以稱作“更安全的宏”。

內聯函數和普通函數的區別:內聯函數沒有棧幀的開闢回退,一般我們直接把內聯函數寫在頭文件中,include之後就可以使用,由於調用時直接代碼展開所以我們根本不需要擔心什麼重定義的問題——它連符號都沒有生成當然不會所謂重定義了。普通函數生成符號,內聯函數不會生成符號。

關於inline還需要注意的一點是,我們在使用它的時候往往是用來替換函數體非常小(1~5行代碼)的函數的。這種情況下函數的堆棧開銷相對函數體大小來說就非常大了,這種情況使用內聯函數可以大大提高效率。相反如果是一個需要很多代碼才能實現的函數,則不適合使用。一是此時函數堆棧調用開銷與函數體相比已經是微不足道了,二是大量的代碼直接展開的話會給調試帶來很大的不便。三是如果代碼體達到一個閾值,編譯器會將它變成普通函數。

同時,遞歸函數不能聲明爲inline函數。說到底inline只是對編譯器的建議,最終能否成功也不一定。同時,我們平常生成的都是debug版本,在這個版本下inline是不起作用的。只有生成release版時纔會起作用。

總結:C89沒有,在調用點直接展開,不生成符號,沒有棧幀的開闢回退,僅在Release版本下生效。一般寫在頭文件中。

 


3.函數重載


C語言中產生函數符號的規則是根據名稱產生,這也就註定了c語言不存在函數重載的概念。而C++生成函數符號則考慮了函數名、參數個數、參數類型。需要注意的是函數的返回值並不能作爲函數重載的依據,也就是說int sum和double sum這兩個函數是不能構成重載的!

我們的函數重載也屬於多態的一種,這就是所謂的靜多態。

靜多態:函數重載,函數模板

動多態(運行時的多態):繼承中的多態(虛函數)。

使用重載的時候需要注意作作用域問題:請看如下代碼。

#include <iostream> using namespace std; bool compare(int a,int b){    return a > b;} bool  compare(double a,double b){    return a > b;} int main(){    //bool compare(int a,int b);    compare(10,20);    compare(10.5,20.5);    return 0;}

我在全局作用域定義了兩個函數,它們由於參數類型不同可以構成重載,此時main函數中調用則可以正確的調用到各自的函數。

但是請看main函數中被註釋掉的一句代碼。如果我將它放出來,則會提出警告:將double類型轉換成int類型可能會丟失數據。

這就意味着我們編譯器針對下面兩句調用都調用了參數類型int的compare。由此可見,編譯器調用函數時優先在局部作用域搜索,若搜索成功則全部按照該函數的標準調用。若未搜索到纔在全局作用域進行搜索。

 

總結:C語言不存在函數重載,C++根據函數名參數個數參數類型判斷重載,屬於靜多態,必須同一作用域下才叫重載。

 


4.const


 

這一部分非常重要。在我的另一篇博客“C語言的32個關鍵字”中對C語言中的const也有所講解。當中提到了這麼一個問題:C語言中被const修飾的變量不是常量,叫做常變量或者只讀變量,這個常變量是無法當作數組下標的。然而在C++中const修飾的變量可以當作數組下標使用,成爲了真正的常量。這就是C++對const的擴展。

C語言中的const:被修飾後不能做左值,可以不初始化,但是之後沒有機會再初始化。不可以當數組的下標,可以通過指針修改。簡單來說,它和普通變量的區別只是不能做左值而已。其他地方都是一樣的。

C++中的const:真正的常量。定義的時候必須初始化,可以用作數組的下標。const在C++中的編譯規則是替換(和宏很像),所以它被看作是真正的常量。也可以通過指針修改。需要注意的是,C++的指針有可能退化成C語言的指針。比如以下情況:

int b = 20;const int a = b;

這時候的a就只是一個普通的C語言的const常變量了,已經無法當數組的下標了。(引用了一個編譯階段不確定的值)

const在生成符號時,是local符號。即在本文件中才可見。如果非要在別的文件中使用它的話,在文件頭部聲明:extern cosnt int data = 10;這樣生成的符號就是global符號。

總結:C中的const叫只讀變量,只是無法做左值的變量;C++中的const是真正的常量,但也有可能退化成c語言的常量,默認生成local符號。

 


5.引用


說到引用,我們第一反應就是想到了他的兄弟:指針。引用從底層來說和指針就是同一個東西,但是在編譯器中它的特性和指針完全不同。

    int a = 10;    int &b = a;    int *p = &a;     //b = 20;    //*p = 20;

首先定義一個變量a = 10,然後我們分別定義一個引用b以及一個指針p指向a。我們來轉到反彙編看看底層的實現:

 

可以看到底層實現完全一致,取a的地址放入eax寄存器,再將eax中的值存入引用b/指針p的內存中。至此我們可以說(在底層)引用本質就是一個指針。

瞭解了底層實現,我們回到編譯器。我們看到對a的值的修改,指針p的做法是*p = 20;即進行解引用後替換值。底層實現:

 

再來看看引用修改:

 

我們看到修改a的值的方法也是一樣的,也是解引用。只是我們在調用的時候有所不同:調用p時需要*p解引用,b則直接使用就可以。由此我們 推斷出:引用在直接使用時是指針解引用。p直接使用則是它自己的地址。

這樣我們也瞭解了,我們給引用開闢的這塊內存是根本訪問不到的。如果直接用就直接解引用了。即使打印&b,輸出的也是a的地址。

在此附上將指針轉爲引用的小技巧:int *p = &a,我們將 引用符號移到左邊 將 *替換即可:int &p = a。

接下來看看如何創建數組的引用:

int array[10] = {0};       //定義一個數組

我們知道,array拿出來使用的話就是數組array的首元素地址。即是int *類型。

那麼&array是什麼意思呢?int **類型,用來指向array[0]地址的一個地址嗎?不要想當然了,&array是整個數組類型。

那麼要定義一個數組引用,按照上面的小訣竅,先來寫寫數組指針吧:

int (*q) [10] = &array;

將右側的&對左邊的*進行覆蓋:

int (&q)[10] = array;

測試sizeof(q) = 10。我們成功創建了數組引用。

 

經過上面的詳解 ,我們知道了引用其實就是取地址。那麼我們都知道一個立即數是沒有地址的,即

int &b = 10;

這樣的代碼是無法通過編譯的。那如果你就是非要引用一個立即數,其實也不是沒有辦法:

const int &b  = 10;

即將這個立即數用const修飾一下,就可以了。爲什麼呢?

這時因爲被const修飾的都會產生一個臨時量來保存這個數據,自然就有地址可取了。

 

總結:引用底層就是指針,使用時會直接解引用,可以配合const對一個立即數進行引用。

 


6.malloc,free && new,delete


這個問題很有意思,也是重點需要關注的問題。malloc()和free()是C語言中動態申請內存和釋放內存的標準庫中的函數。而new和delete是C++運算符、關鍵字。new和delete底層其實還是調用了malloc和free。它們之間的區別有以下幾個方面:

①:malloc和free是函數,new和delete是運算符。

 

②:malloc在分配內存前需要大小,new不需要。

例如:int *p1 = (int *)malloc(sizeof(int));

           int *p2 = new int;     //int *p3 = new int(10);

malloc時需要指定大小,還需要類型轉換。new時不需要指定大小因爲它可以從給出的類型判斷,並且還可以同時賦初始值。

 

③:malloc不安全,需要手動類型轉換,new不需要類型轉換。

詳見上一條。

 

④:free只釋放空間,delete先調用析構函數再釋放空間(如果需要)。

與第⑤條對應,如果使用了複雜類型,先析構再call operator delete回收內存。

 

⑤:new是先調用構造函數再申請空間(如果需要)。

與第④條對應,我們在調用new的時候(例如int *p2 = new int;這句代碼 ),底層代碼的實現是:首先push 4字節(int類型的大小),隨後call   operator new函數分配了內存。由於我們這句代碼並未涉及到複雜類型(如類類型),所以也就沒有構造函數的調用。如下是operator new的源代碼,也是new實現的重要函數:

void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)        {       // try to allocate size bytes        void *p;        while ((p = malloc(size)) == 0)                if (_callnewh(size) == 0)                {       // report no memory                        _THROW_NCEE(_XSTD bad_alloc, );                }         return (p);        }

我們可以看到,首先malloc(size)申請參數字節大小的內存,如果失敗(malloc失敗返回0)則進入判斷:如果_callnewh(size)也失敗的話,拋出bad_alloc異常。_callnewh()這個函數是在查看new handler是否可用,如果可用會釋放一部分內存再返回到malloc處繼續申請,如果new handler不可用就會拋出異常。

 

⑥:內存不足(開闢失敗)時處理方式不同。

malloc失敗返回0,new失敗拋出bad_alloc異常。

 

⑦:new和malloc開闢內存的位置不同。

malloc開闢在堆區,new開闢在自由存儲區域。

 

⑧:new可以調用malloc(),但malloc不能調用new。

new就是用malloc()實現的,new是C++獨有malloc當然無法調用。


7.作用域


C語言中作用域只有兩個:局部,全局。C++中則是有:局部作用域,類作用域,名字空間作用域三種。

所謂名字空間就是namespace,我們定義一個名字空間就是定義一個新作用域。訪問時需要以如下方式訪問(以std爲例)

std::cin<< "123" <<std::endl;

例如我們有一個名字空間叫Myname,其中有一個變量叫做data。如果我們希望在其他地方使用data的話,需要在文件頭聲明:using Myname::data;這樣一來data就使用的是Myname中的值了。可是這樣每個符號我們都得聲明豈不是累死?

我們只要using namespace Myname;就可以將其中所有符號導入了。

這也就是我們經常看到的using namespace std;的意思啦。
————————————————
版權聲明:本文爲CSDN博主「繪夜」的原創文章,遵循 CC 4.0 BY-SA 版權協議,轉載請附上原文出處鏈接及本聲明。
原文鏈接:https://blog.csdn.net/czc1997/article/details/81254971

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章