程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C++ >> 關於C++ >> 深刻剖析C++中聲明與界說的差別

深刻剖析C++中聲明與界說的差別

編輯:關於C++

深刻剖析C++中聲明與界說的差別。本站提示廣大學習愛好者:(深刻剖析C++中聲明與界說的差別)文章只能為提供參考,不一定能成為您想要的結果。以下是深刻剖析C++中聲明與界說的差別正文


        起首談下聲明與界說的差別。
        聲明是將一個稱號引入法式。界說供給了一個實體在法式中的獨一描寫。聲明和界說有時是同時存在的。

   如int a;

   extern int b=1;

    只要當extern中不存在初始化式是才是聲明。其他情形既是界說也是聲明。

     然則鄙人列情形下,聲明僅僅是聲明:

    1:僅僅供給函數原型。如void func(int,int);

    2: extern int a;

    3:class A;

    4:typedef聲明

    5:在類中界說的靜態數據成員的聲明

   如:

class A 
{ 
  public: 
  static int a;//聲明。 
};

   以下情形下 ,界說僅僅是界說:

   1:在類界說以外,界說並初始化一個靜態數據成員。如 A::a=0;

   2:在類外界說非內聯成員函數。
     聲明僅僅是將一個符號引入到一個感化域。而界說供給了一個實體在法式中的獨一描寫。在一個給定的界說域中反復聲明一個符號是可以的,然則卻不克不及反復界說,不然將會惹起編譯毛病。然則在類中的成員函數和靜態數據成員倒是破例,固然在類內它們都是聲明,然則也不克不及有多個。

如:

        明確了聲明與界說的差別,還須要明確 外部鏈接、內部鏈接。只要明確了它們你才會曉得開首提出的成績。

       在編譯時,編譯器只檢測法式語法和函數、變量能否被聲明。假如函數未被聲明,編譯器會給出一個正告,但可以生成目的文件。而在鏈接法式時,鏈接器會在一切的目的文件中找尋函數的完成。假如找不到,那到就會報鏈接毛病碼(Linker Error)。在VC下,這類毛病普通是:Link 2001毛病,意思說是說,鏈接器未能找到函數的完成。

      鏈接把分歧編譯單位發生的符號接洽起來。有兩種鏈接方法:外部鏈接和內部鏈接。

      假如一個符號名關於它的編譯單位來講是部分的,而且在鏈接時弗成能與其他編譯單位中的異樣的稱號相抵觸,誰人這個符號就是外部鏈接。外部鏈接意味著對此符號的拜訪僅限於以後的編譯單位中,對其他編譯單位都是弗成見的。

       static症結字感化在全局變量時,表現靜態全局變量。然則感化域僅僅在以後文件感化域內。其他文件中即便應用extern聲明也是沒法應用的。const也相似。

       帶有static、const症結字和列舉類型的銜接是外部的。

       具有外部鏈接的符號沒法感化於以後文件內部,要讓其影響法式的其他部門,可以將其放在.h文件中。此時在一切包括此.h文件的源文件都有本身的界說且互不影響。

       類的界說具有外部鏈接,因為它是界說,是以在統一編譯單位中不克不及反復湧現。假如須要在其他編譯單位應用,類必需被界說在頭文件且被其他文件包括。僅僅在其他文件中應用class a;聲明是不可的,緣由就是類的界說是外部鏈接,不會在目的文件導出符號。也就不會被其他單位解析它們的不決義符號。懂得這一點很主要。

     內聯函數也具有外部鏈接。

      在一個多文件的法式中,假如一個符號在鏈接時可以和其他編譯單位交互,那末這個稱號就有內部鏈接。內部鏈接意味著該界說不只僅局限在單個編譯單位中。它可以在.o文件中發生內部符號。可以被其他編譯單位拜訪用來解析它們不決義的符號。是以它們在全部法式中必需是獨一的,不然將會招致反復界說。

       非內聯成員函數、非內聯函數、非靜態自在函數都具有內部鏈接。

       內聯函數之一切具有外部鏈接,由於編譯器在能夠的時刻,會將一切 對函數的挪用調換為函數體,不將任何符號寫入.o文件。

       斷定一個符號是外部鏈接照樣內部鏈接的一個很好的辦法就是看該符號能否被寫入.o文件。

       後面說的是界說對鏈接方法的影響,接上去說下聲明對鏈接方法的影響。

       因為聲明只對以後編譯單位有效,是以聲明其實不將任何器械寫入.o文件。

       如extern int a;

       int func();

       這些聲明自己不會影響到.o文件的內容。每個都只是定名一個內部符號,使以後的編譯單位在須要的時刻可以拜訪響應的全局界說。

     函數挪用會招致一個不決義的符號被寫入到.o文件。假如a在該文件中沒有被應用,那末沒有被寫入到.o文件。而func函數有對此函數的挪用。也就會將此符號寫入目的文件。爾後此.o文件與界說此符號的.o文件被銜接在一路,後面不決義的符號被解析。

     上述聲明有能夠招致該符號被寫入目的文件中。然則以下聲明其實不會招致該符號寫入到目的文件中。

如:

typedef int Int;
Class A; 
struct s; 
union point; 

 
     它們的鏈接也是外部的。

     類聲明和類界說都是外部鏈接。只是為以後編譯單位所用。

     靜態的類數據成員的界說具有內部鏈接。如

class A 
{ 
  static int a;//聲明。具有外部鏈接。 
};

      靜態數據成員a僅僅是一個聲明,然則它的界說A::a=0;卻具有內部鏈接。

     C++對類和列舉類型的處置方法是紛歧樣的。好比:在不界說類時可以聲明一個類。然則不克不及未經界說就聲明一個列舉類型。

     基於以上的剖析,我們可以曉得:將具有內部鏈接的界說放在頭文件中簡直都是編程毛病。由於假如該頭文件中被多個源文件包括,那末就會存在多個界說,鏈接時就會失足。

     在頭文件中放置外部鏈接的界說倒是正當的,但不推舉應用的。由於頭文件被包括到多個源文件中時,不只僅會淨化全局定名空間,並且會在每一個編譯單位中有本身的實體存在。年夜量消費內存空間,還會影響機械機能。

     const和static潤飾的全局變量僅僅在以後文件感化域內有用。它們具有外部鏈接屬性。

    上面列出一些應當或是不該該寫入頭文件的界說:

//test.h 
#ifndef TEST_H 
#define TEST_H 
  int a;   //a有內部鏈接,不克不及在頭文件中界說。 
  extern int b=10;//同上。 
  const int c=2;//c具有外部鏈接,可以定在頭文件中但應當防止。 
  static int d=3;//同上。 
  static void func(){} //同上。 
  void func2(){} //同a。 
  void func3();//可以。僅僅是聲明。其實不會招致符號名被寫入目的文件。 
class A 
{ 
  public: 
   static int e;//可以,具有外部鏈接。 
   int f;//可以,同上。 
   void func4();//聲明,外部鏈接。同上。 
}; 
  A::e=10;//弗成以在頭文件中包括具有內部鏈接的界說。符號名別寫入目的文件。 
  void A:func4()//弗成以,類成員函數。內部銜接。 
{ 
 //,...... 
} 
#endif
 

      信任年夜家如今明確為何只在類型聲明成員函數,而不完成它是正當的了。也能夠答復為何類的界說可以放在.h文件中。而類的完成可以放在同名的cpp文件中。先生之前的引見是說編譯器會主動尋覓同名的cpp文件。實際上是由於因為cpp文件中存儲的是成員函數的完成,而成員函數具有內部鏈接特征,會在目的文件發生符號。在此文件中此符號是界說過的。其他挪用此成員函數的目的文件也會發生一個不決的符號。兩目的文件銜接後此符號就被解析。留意static數據成員應當放在cpp文件中。而不克不及放在.h文件。

      有外部鏈接的界說可以界說在cpp文件中,其實不會影響全局的符號空間 。然則在cpp文件感化域中要防止界說(其實不制止)沒有聲明為靜態的數據和函數,由於它們具有內部鏈接。

 int a; 
void func() 
{  
    ...... 
} 

      上述界說具有內部鏈接能夠會與全局定名空間的其他符號稱號存在潛伏抵觸。假如確切須要應用全局的變量或函數。可認為它們加上static症結字。使其感化域局限在以後文件內,具有外部鏈接也就不會對全局定名空間發生影響。由於內聯函數和靜態自在函數、列舉和const類型的數據都具有外部鏈接,所以它們可以界說在cpp文件中,而不會影響全局定名空間。

      typedef和宏界說不會將符號引入.o文件,它們也能夠湧現在cpp文件中,不會影響全局定名空間。

      typedef 為一個已存在的類型創立一個體名。而不是創立一個新的類型。它不供給類型平安。如

typedef int IntA; 
typedef int InB;  
 

       在須要IntA的處所應用IntB是不會報錯的。它們可以相互調換。由於此我們稱它不供給類型平安。然則在界說函數類型時typedef常常應用,可使界說更清楚。

      尺度c庫供給一個assert宏,用以包管給定的表達式值非零。不然便會輸入毛病信息並終止法式履行。只要在法式中沒有界說NDEBUG時,assert才會任務。一旦界說NDEBUG  ,assert語句將會被疏忽 。留意與VC中的ASSERT相差別。ASSERT是vc供給的。當_DEBUG被界說時才會起感化。

在vc的DEBUG形式下_DEBUG會被界說。而在RELEASE形式下NDEBUG會被界說。

    好了,信任年夜家都邑明確開首提出的成績了。假如有不明確的,請務必留言哦。若有毛病,也請不惜斧正!!

    以上內容參考自《Large Scale C++ software design》。

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved