在C++程序中調用被C 編譯器編譯後的函數,爲何要加extern 「C」?

http://www.cnblogs.com/fangyukuan/archive/2010/09/18/1829871.html
15. 在C++程序中調用被C 編譯器編譯後的函數,爲何要加extern 「C」?
首先,做爲extern是C/C++語言中代表函數和全局變量 做用範圍(可見性)的關鍵字,該關鍵字告訴編譯器, 其聲明的函數和變量能夠在本模塊或其它模塊中使用
一般, 在模塊的頭文件中對本模塊提供給其它模塊引用的函數和全局變量以關鍵字extern聲明。例如,若是模塊B欲引用該模塊A中定義的全局變量和函數時只需包含模塊A的頭文件便可。這樣,模塊B中調用模塊A中的函數時,在編譯階段,模塊B雖然找不到該函數,可是並不會報錯;它會在鏈接階段中從模塊A編譯生成的目標代碼中找到此函數
extern "C"是鏈接申明(linkage declaration),被extern "C"修飾的變量和函數是按 照C語言方式編譯和鏈接的,來看看C++中對相似。
 
C的函數是怎樣編譯的:
做爲一種面向對象的語言,C++支持函數重載,而過程式語言C則不支持。函數被C++編譯後在符號庫中的名字與C語言的不一樣。例如,假設某個函數的原型爲:
void foo( int x, int y );
該函數被C編譯器編譯後在符號庫中的名字爲_foo,而C++編譯器則會產生像_foo_int_int之類的名字(不一樣的編譯器可能生成的名字不一樣,可是都採用了相同的機制,生成的新名字稱爲「 mangled name」)。
_foo_int_int 這樣的名字包含了函數名、函數參數數量及類型信息, C++就是靠這種機制來實現函數重載的。例如,在C++中,函數void foo( int x, int y )與void foo( int x, float y )編譯生成的符號是不相同的,後者爲_foo_int_float。
同 樣地,C++中的變量除支持局部變量外,還支持類成員變量和全局變量。用戶所編寫程序的類成員變量可能與全局變量同名,咱們以"."來區分。而本質上,編譯器在進行編譯時,與函數的處理類似,也爲類中的變量取了一個獨一無二的名字,這個名字與用戶程序中同名的全局變量名字不一樣。
未加extern "C"聲明時的鏈接方式
假設在C++中,模塊A的頭文件以下:
//  模塊A頭文件 moduleA.h
#ifndef MODULE_A_H
#define  MODULE_A_H
int  foo(  int  x,  int  y );
#endif   
 
在模塊B中引用該函數:
//  模塊B實現文件 moduleB.cpp
#include  " moduleA.h "
foo(
2 , 3 );
實際上,在鏈接階段,鏈接器會從模塊A生成的目標文件moduleA.obj中尋找_foo_int_int這樣的符號!
 
加extern "C"聲明後的編譯和鏈接方式
加extern "C"聲明後,模塊A的頭文件變爲:
//  模塊A頭文件 moduleA.h
#ifndef MODULE_A_H
#define  MODULE_A_H
extern " C " int  foo(  int  x,  int  y );
#endif  
在模塊B的實現文件中仍然調用foo( 2,3 ),其結果是:
(1)模塊A編譯生成foo的目標代碼時,沒有對其名字進行特殊處理,採用了C語言的方式;
(2)鏈接器在爲模塊B的目標代碼尋找foo(2,3)調用時,尋找的是未經修改的符號名_foo。
若是在模塊A中函數聲明瞭foo爲extern "C"類型,而模塊B中包含的是extern int foo( int x, int y ) ,則模塊B找不到模塊A中的函數;反之亦然。
因此,能夠用一句話歸納 extern 「C」這個聲明的真實目的(任何語言中的任何語法特性的誕生都不是隨意而爲的,來源於真實世界的需求驅動。咱們在思考問題時,不能只停留在這個語言是怎麼作的,還要問一問它爲何要這麼作,動機是什麼,這樣咱們能夠更深刻地理解許多問題): 實現C++與C及其它語言的混合編程。  
明白了C++中extern "C"的設立動機,咱們下面來具體分析extern "C"一般的使用技巧:
extern "C" 的慣用法  
 
(1) 在C++中引用C語言中的函數和變量,在包含C語言頭文件(假設爲cExample.h)時,需進行下列處理:
extern " C "
{
  #include
" cExample.h "
}
而在C語言的頭文件中, 對其外部函數只能指定爲extern類型C 語言中不支持extern "C"聲明,在.c文件中包含了extern"C"時會出現編譯語法錯誤。
 
C++引用C函數例子工程中包含的三個文件的源代碼以下:
/*  c語言頭文件:cExample.h  */
#ifndef C_EXAMPLE_H
#define  C_EXAMPLE_H
extern int  add( int  x, inty);
#endif
 
/*  c語言實現文件:cExample.c  */
#include 
" cExample.h "
int  add(  int  x,  int  y )
{
  return  x  +  y;
}
 
 
 
 
 
 
 
 
 
複製代碼
//  c++實現文件,調用add:cppFile.cpp
extern " C "  
{
  #include
" cExample.h "
}
int  main( int  argc,  char *  argv[])
{
  add(
2 , 3 ); 
  return 0 ;
}
複製代碼
 
 
 
若是C++調用一個C語言編寫的.DLL時,當包括.DLL的頭文件或聲明接口函數時,應加extern "C" { }。
 
(2) 在C中引用C++語言中的函數和變量時,C++的頭文件需添加extern "C",可是在C語言中不能直接引用聲明瞭extern "C"的該頭文件,應該僅將C文件中將C++中定義的extern"C"函數聲明爲extern類型。
C引用C++函數例子工程中包含的三個文件的源代碼以下:
// C++頭文件cppExample.h
#ifndef CPP_EXAMPLE_H
#define  CPP_EXAMPLE_H
extern " C " int  add(  int  x,  int  y );
#endif
 
// C++實現文件 cppExample.cpp
#include " cppExample.h "
int  add(  int  x,  int  y )
{
  return  x  +  y;
}
 
複製代碼
/*  C實現文件 cFile.c
/* 這樣會編譯出錯:#i nclude "cExample.h" 
*/
extern int  add(  int  x,  int  y );
int  main(  int  argc,  char *  argv[] )
{
  add( 
2 3  ); 
  return 0 ;}
相關文章
相關標籤/搜索