深入理解extern的用法 以及 声明和定义的区别

参考：
博文1：https://blog.csdn.net/m0_37962600/article/details/78334077
博文2：https://blog.csdn.net/z702143700/article/details/46805241

一、英语学习
extern adj. 外面的；外来的；对外的

二、c++中定义和声明的区别 （博文1）

一.基本理解

1.定义和声明的简单说明

a.声明就是指给除了当前变量或者函数，或者类什么的名字，不给其中的内容，就是先告诉你有这样一个什么类型的变量或者函数，但是这个变量或者函数的具体信息却是不知道的。就好比跟你介绍一个人的时候，声明就是只告诉你这个人叫什么，但是缺不给你说这个人到底怎么样，他有哪些优点，缺点，喜好问题是什么的。
b.定义就不一样了，定义直接告诉你了所有的东西，这个变量是什么，这个函数是什么功能，这个类里面包含了什么东西。很具体的说明。

2.对于变量来说

a.定义：可以为变量分配存储空间，并且可以给变量一个初始值
b.声明：告诉编译器这个变量的名字和类型（extern int a;(在没有赋值的情况下，变量前加上关键字extern一定为声明)）
示例：
extern int i; //声明，不是定义
int i; //声明，也是定义

3.对于函数来说

a.定义：就是这个函数具体的实现
b.声明：告诉编译器在这个程序中会有这么一个函数
简单来说，如果函数带有{}，则其为定义；否则，就为声明。

二.深入探讨

1.在一个程序中只能对变量定义一次，因为我们不能让编译器一直为同一个变量，函数分配不同的存储空间；而可以对变量进行很多次的声明。
2.在任何多文件中使用的变量都需要有与定义分离的声明。在这种情况下，一文件含有变量的定义，则使用该变量的其他文件中就要含有该变量的声明，而不是定义。
3.在头文件中不能放变量的定义，一般存放变量的声明。因为头文件要被其他文件包含，如果放到头文件当中就不能避免变量被多次定义。（const，inline）

三、深入理解extern用法

1、声明extern关键字的全局变量和函数可以使得它们能够跨文件被访问。
如：在a.cpp中使用b.cpp中的变量
2、全局函数的声明语句中，关键字extern可以省略，因为全局函数默认是extern类型的。

实现方法一：在a.cpp中使用b.cpp中的变量
我们一般把所有的全局变量和全局函数的实现都放在一个*.cpp文件里面，然后用一个同名的*.h文件包含所有的函数和变量的声明。如：

/*Demo.h*/
#pragma  once
extern int a;
extern int b;
int add(int a,int b);

/*Demo.cpp*/
#include "Demo.h" /*这句话写或者不写在本例中都行，不过建议不写*/
/*不写不会出问题，写了有些情况下会出问题，下面有解释*/
int a =10;
int b =20;
 
int add(int l,int r)
{
      return l +r;
}

/* main.cpp */
#include <stdio.h>
#include "Demo.h" 

int main()
{
	int c=add(1,2);

	printf("main.c: The a is %d\n", a);
	printf("main.c: The b is %d\n", b);
	printf("main.c: The c is %d\n", c);
	return 0;
}

实现方法二：在主函数中声明extern也是可以实现在a.cpp中使用b.cpp中的变量

/*Demo.h*/
#pragma  once
//下面两句话如果写了就是重定义
//int a;
//int b;

int add(int a, int b);

/*Demo.cpp*/
#include "Demo.h" /*这句话写或者不写在本例中都行，不过建议不写*/
/*不写不会出问题，写了有些情况下会出问题，下面有解释*/

//注意点1：如果在demo.h中定义过a 和b    ，下面这两行这样写也是会报错的，
//a = 10;
//b = 20;

int a = 10;
int b = 20;

int add(int l, int r)
{
	return l + r;
}

/* main.cpp */
#include <stdio.h>
#include "Demo.h" 

extern int a;
extern int b;

int main()
{
	int c=add(1,2);

	printf("main.c: The a is %d\n", a);
	printf("main.c: The b is %d\n", b);
	printf("main.c: The c is %d\n", c);
}

四、extern “C”
l extern “C” 包含双重含义，从字面上即可得到：首先，被它修饰的目标是“extern”的；其次，被它修饰的目标是“C”的。
被extern "C"限定的函数或变量是extern类型的：

extern是C/C++语言中表明函数和全局变量作用范围（可见性）的关键字，该关键字告诉编译器，其声明的函数和变量可以在本模块或其它模块中使用。记住，下列语句：

extern int a;

仅仅是一个变量的声明，其并不是在定义变量a，并未为a分配内存空间。变量a在所有模块中作为一种全局变量只能被定义一次，否则会出现连接错误。

通常，在模块的头文件中对本模块提供给其它模块引用的函数和全局变量以关键字extern声明。例如，如果模块B欲引用该模块A中定义的全局变量和函数时只需包含模块A的头文件即可。这样，模块B中调用模块A中的函数时，在编译阶段，模块B虽然找不到该函数，但是并不会报错；它会在连接阶段中从模块A编译生成的目标代码中找到此函数。

与extern对应的关键字是static，被它修饰的全局变量和函数只能在本模块中使用。因此，一个函数或变量只可能被本模块使用时，其不可能被extern “C”修饰。

实现C++与C及其它语言的混合编程：

被extern"C"修饰的变量和函数是按照C语言方式编译和连接的，未加extern “C”则按照声明时的编译方式。

l extern "C"的惯用法
（1）在C++中引用C语言中的函数和变量，在包含C语言头文件（假设为cExample.h）时，需进行下列处理：

extern “C”{

#include “cExample.h”

}

而在C语言的头文件中，对其外部函数只能指定为extern类型，C语言中不支持extern"C"声明，在.c文件中包含了extern"C"时会出现编译语法错误。

（2）在C中引用C++语言中的函数和变量时，C++的头文件需添加extern"C"，但是在C语言中不能直接引用声明了extern"C"的该头文件，应该仅将C文件中将C++中定义的extern"C"函数声明为extern类型。

五、 extern 和static
（1）extern表明该变量在别的地方已经定义过了，在这里要使用那个变量。

（2）static 表示静态的变量，分配内存的时候，存储在静态区，不存储在栈上面。

static作用范围是内部连接的关系这和extern有点相反。它和对象本身是分开存储的，extern也是分开存储的，但是extern可以被其他的对象用extern引用，而static不可以，只允许对象本身用它。具体差别首先，static与extern是一对“水火不容”的家伙，也就是说extern和static不能同时修饰一个变量；其次，static修饰的全局变量声明与定义同时进行，也就是说当你在头文件中使用static声明了全局变量后，它也同时被定义了；最后，static修饰全局变量的作用域只能是本身的编译单元，也就是说它的“全局”只对本编译单元有效，其他编译单元则看不到它，如:

/*test1.h*/
#ifndef TEST1H
#define TEST1H
static char g_str[]="123456";
void fun1();
#endif


/*test1.cpp*/
#include "test1.h"
void fun1()
{
      cout <<g_str<<endl;
}


/*test2.cpp*/
#include "test1.h"
void fun2()
{
      cout <<g_str<<endl;
}

以上两个编译单元可以连接成功，当你打开test1.obj时，你可以在它里面找到字符串"123456"，同时你也可以在test2.obj中找到它们，它们之所以可以连接成功而没有报重复定义的错误是因为虽然它们有相同的内容，但是存储的物理地址并不一样，就像是两个不同变量赋了相同的值一样，而这两个变量分别作用于它们各自的编译单元。也许你比较较真，自己偷偷的跟踪调试上面的代码，结果你发现两个编译单元（test1，test2）的g_str的内存地址相同，于是你下结论static修饰的变量也可以作用于其他模块，但是我要告诉你，那是你的编译器在欺骗你，大多数编译器都对代码都有优化功能，以达到生成的目标程序更节省内存，执行效率更高，当编译器在连接各个编译单元的时候，它会把相同内容的内存只拷贝一份，比如上面的"123456"，位于两个编译单元中的变量都是同样的内容，那么在连接的时候它在内存中就只会存在一份了，如果你把上面的代码改成下面的样子，你马上就可以拆穿编译器的谎言:

/*test1.cpp*/
#include "test1.h"
void fun1()
{
      g_str[0]=''a'';
      cout <<g_str<<endl;
}

/*test2.cpp*/
#include "test1.h"
void fun2()
{
      cout <<g_str<<endl;
}

/*main.cpp*/
void main()
{
      fun1();// a23456
      fun2();// 123456
}

这个时候你在跟踪代码时，就会发现两个编译单元中的g_str地址并不相同，因为你在一处修改了它，所以编译器被强行的恢复内存的原貌，在内存中存在了两份拷贝给两个模块中的变量使用。正是因为static有以上的特性，所以一般定义static全局变量时，都把它放在原文件中而不是头文件，这样就不会给其他模块造成不必要的信息污染，同样记住这个原则吧！

六、extern和const
C++中const修饰的全局常量具有跟static相同的特性，即它们只能作用于本编译模块中，且static修饰的是全局变量，但是const可以与extern连用来声明该常量可以作用于其他编译模块中,如externconst char g_str[];

然后在原文件中别忘了定义:const char g_str[] = “123456”;

所以当const单独使用时它就与static相同，而当与extern一起合作的时候，它的特性就跟extern的一样了！所以对const我没有什么可以过多的描述，我只是想提醒你，const char* g_str = “123456” 与 const char g_str[] ="123465"是不同的，前面那个const修饰的是char 而不是g_str,它的g_str并不是常量，它被看做是一个定义了的全局变量（可以被其他编译单元使用）， 所以如果你像让char g_str遵守const的全局常量的规则，最好这么定义const char* const g_str=“123456”。