Extern
的问题在于不知道这个关键词出现的时候到底是声明还是定义。
谨记:声明可以多次,定义只能一次。
 
函数的声明
extern
关键词是可有可无的,因为函数本身不加修饰的话就是
extern
的。但是引用的时候一样是需要声明的。
而全局变量在外部使用声明时,
extern
关键词是必须的,如果变量无
extern
修饰且没有显式的初始化,同样成为变量的定义,因此此时必须加
extern
,而编译器在此标记存储空间在执行时加载如内存并初始化为
0
。而局部变量的声明不能有
extern
的修饰,且局部变量在运行时才在堆栈部分分配内存。
 
 
引用性声明、定义性声明
 
强符号、弱符号
出现在
linux
gcc
链接分析中,可以加深链接的理解。
全局变量或函数本质上讲没有区别,函数名是指向函数二进制块开头处的指针。而全局变量是在函数外部声明的变量。函数名也在函数外,因此函数也是全局的。
 
在使用中,要形成一种风格。
 
 
 
头文件
首先说下头文件,其实
头文件对计算机而言没什么作用,她只是在预编译时在
#include
的地方展开一下,没别的意义了,其实头文件主要是给别人看的。
我做过一个实验,将头文件的后缀改成
xxx.txt
,然后在引用该头文件的地方用
#include"xxx.txt"
编译,链接都很顺利的过去了,由此可知,头文件仅仅为阅读代码作用,没其他的作用了!
不管是
C
还是
C++
,你把你的函数,变量或者结构体,类啥的放在你的
.c
或者
.cpp
文件里。然后编译成
lib,dll,obj,.o
等等,然后别人用的时候最基本的
gcc hisfile.cpp yourfile.o|obj|dll|lib
等等。
但对于我们程序员而言,他们怎么知道你的
lib,dll...
里面到底有什么东西?要看你的头文件。你的头文件就是对用户的说明。函数,参数,各种各样的接口的说明。
   
那既然是说明,那么头文件里面放的自然就是关于函数,变量,类的
声明
了。记着,是
声明
,不是
定义
那么,我假设大家知道声明和定义的区别。所以,最好不要傻嘻嘻的在头文件里定义什么东西。比如全局变量:
#ifndef _XX_
头文件
.H
#define _XX_
头文件
.H
int A;
#endif
   
那么,很糟糕的是,这里的
int A
是个全局变量的定义,所以如果这个头文件被多次引用的话,你的
A
会被重复定义
   
显然语法上错了。只不过有了这个
#ifndef
的条件编译,所以能保证你的头文件只被引用一次,不过也许还是会岔子,但若多个
c
文件包含这个头文件时还是会出错的,因为宏名有效范围仅限于本
c
源文件,所以在这多个
c
文件编译时是不会出错的,但在链接时就会报错,说你多处定义了同一个变量,
Linking...
incl2.obj : error LNK2005: "int glb" () already defined in incl1.obj
Debug/incl.exe : fatal error LNK1169: one or more multiply defined symbols found
注意!!!
extern
这个关键字真的比较可恶,在声明的时候,这个
extern
居然可以被省略,所以会让你搞不清楚到底是声明还是定义,下面分变量和函数两类来说:
1
)变量
尤其是对于变量来说。
extern int a;//
声明一个全局变量
a
int a; //
定义一个全局变量
a
extern int a =0 ;//
定义一个全局变量
a
并给初值。
int a =0;//
定义一个全局变量
a,
并给初值,
第四个
等于
三个,都是定义一个可以被外部使用的全局变量,并给初值。
糊涂了吧,他们看上去可真像。但是定义只能出现在一处。也就是说,不管是
int a;
还是
extern int a=0;
还是
int a=0;
都只能出现一次,而那个
extern int a
可以出现很多次。
当你要引用一个全局变量的时候,你就要声明,
extern int a;
这时候
extern
不能省略,因为省略了,就变成
int a;
这是一个定义,不是声明。
2
)函数
    
函数,函数,对于函数也一样,也是定义和声明,定义的时候用
extern
,说明这个函数是可以被外部引用的,声明的时候用
extern
说明这是一个声明。
但由于函数的定义和声明是有区别的,定义函数要有函数体,声明函数没有函数体,所以函数定义和声明时都可以将
extern
省略掉,反正其他文件也是知道这个函数是在其他地方定义的,所以不加
extern
也行
。两者如此不同,所以省略了
extern
也不会有问题。
   
比如:
int fun(void)
{
return 0;
}
很好,我们定义了一个全局函数
int fun(void);
我们对它做了个声明,然后后面就可以用了
加不加
extern
都一样
我们也可以把对
fun
的声明
放在一个头文件里,最后变成这样
int fun(void);//
函数声明,所以省略了
extern
,完整些是
extern int fun(void);
int fun(void)
{
return 0;
}//
一个完整的全局函数定义,因为有函数体,
extern
同样被省略了。
然后,一个客户,一个要使用你的
fun
的客户,把这个头文件包含进去,
ok
,一个全局的声明。没有问题。
但是,对应的,如果是这个客户要使用全局变量,那么要
extern
某某变量;不然就成了定义了。
总结下:
对变量而言,变量的声明有两种情况:
一种是需要建立存储空间的,不用加
extern
2
、另一种是不需要建立存储空间
,
需要加
extern
。如果你想在本源文件中使用另一个源文件的变量,就需要在使用前用
extern
声明该变量,或者在头文件中用
extern
声明该变量;
对函数而言,如果你想在本源文件中使用另一个源文件的函数,就需要在使用前用声明该变量,声明函数加不加
extern
都没关系,所以在头文件中函数可以不用加
extern
      
extern "C"
的用法
链接指示符
extern C
   
如果程序员希望调用其他程序设计语言尤其是
C
写的函数,那么调用函数时必须告诉编译器使用不同的要求,例如当这样的函数被调用时函数名或参数排列的顺序可能
不同,无论是
C++
函数调用它还是用其他语言写的函数调用它,程序员用链接指示符
linkage directive
告诉编译器该函数是用其他的程序设计语言编写的,链接指示符有两种形式既可以是单一语句
single statement
形式也可以是复合语句
compound statement
形式。
//
单一语句形式的链接指示符
extern "C" void exit(int);
//
复合语句形式的链接指示符
extern "C" {
int printf( const char* ... );
int scanf( const char* ... );
}
//
复合语句形式的链接指示符
extern "C" {
#include <cmath>
}
   
链接指示符的第一种形式由关键字
extern
后跟一个字符串常量以及一个普通的函数,声明构成虽然函数是用另外一种语言编写的但调用它仍然需要类型检查例如编译器会检查传递给函数
exit()
的实参的类型是否是
int
或者能够隐式地转换成
int
型, 多个函数声明可以用花括号包含在链接指示符复合语句中,这是链接指示符的第二种形式花扩号被用作分割符表示链接指示符应用在哪些声明上在其他意义上该花括 号被忽略,所以在花括号中声明的函数名对外是可见的就好像函数是在复合语句外声明的一样,例如在前面的例子中复合语句
extern "C"
表示函数
printf()
scanf()
是在
C
语言中写的,函数因此这个声明的意义就如同
printf()
scanf()
是在
extern "C"
复合语句外面声明的一样,当复合语句链接指示符的括号中含有
#include
时在头文件中的函数声明都被假定是用链接指示符的程序设计语言所写的在前面的例子中在头文件
<cmath>
中声明的函数都是
C
函数链接指示符不能出现在函数体中下列代码段将会导致编译错误。
int main()
{
//
错误
:
链接指示符不能出现在函数内
extern "C" double sqrt( double );
305
第七章函数
double getValue(); //ok
double result = sqrt ( getValue() );
//...
return 0;
}
如果把链接指示符移到函数体外程序编译将无错误
extern "C" double sqrt( double );
int main()
{
double getValue(); //ok
double result = sqrt ( getValue() );
//...
return 0;
}
   
但是把链接指示符放在头文件中更合适在那里函数声明描述了函数的接口所属,如果我们希望
C++
函数能够为
C
程序所用又该怎么办呢我们也可以使用
extern "C"
链接指示符来使
C++
函数为
C
程序可用例如。
//
函数
calc()
可以被
C
程序调用
extern "C" double calc( double dparm ) { /* ... */ }
   
如果一个函数在同一文件中不只被声明一次则链接指示符可以出现在每个声明中它,也可以只出现在函数的第一次声明中在这种情况下第二个及以后的声明都接受第一个声
明中链接指示符指定的链接规则例如
// ---- myMath.h ----
extern "C" double calc( double );
// ---- myMath.C ----
//
Math.h
中的
calc()
的声明
#include "myMath.h"
//
定义了
extern "C" calc()
函数
// calc()
可以从
C
程序中被调用
double calc( double dparm ) { // ...
   
在本节中我们只看到为
C
语言提供的链接指示
extern "C"
extern "C"
是惟一被保证由所有
C++
实现都支持的,每个编译器实现都可以为其环境下常用的语言提供其他链接指示例如
extern "Ada"
可以用来声明是用
Ada
语言写的函数,
extern "FORTRAN"
用来声明是用
FORTRAN
语言写的函数,等等因为其他的链接指示随着具体实现的不同而不同所以建议读者查看编译器的用户指南以获得其他链接指示符的进一步信息。
 
总结
extern “C”
       extern “C”
不但具有传统的声明外部变量的功能,还具有告知
C++
链接器使用
C
函数规范来链接的功能。
还具有告知
C++
编译器使用
C
规范来命名的功能。