全局变量的声明、定义及用法

文章目录

全局变量的声明、定义及用法
- 1. 编译单元(模块)
- 2. 声明和定义
- 3. extern 作用
- 4. 全局变量(extern)
- - 4.1 如果直接将声明和定义都放在头文件中会如何？
- 5. 静态全局变量(static)
- 6. 全局常量(const)

转载自https://blog.csdn.net/candyliuxj/article/details/7853938
转载自https://blog.csdn.net/chaipp0607/article/details/59110710

2019年2月27日 15:27:44修改

1. 编译单元(模块)

在 VC 或 VS 上编写完代码，点击编译按钮准备生成 exe 文件时，编译器做了两步工作：

将每个 .cpp(.c) 和相应的. h 文件编译成 obj 文件；
将工程中所有的 obj 文件进行 LINK，生成最终 .exe 文件。

那么，错误可能在两个地方产生：

编译时的错误，这个主要是语法错误；
链接时的错误，主要是重复定义变量等。

编译单元指在编译阶段生成的每个 obj 文件。

一个 obj 文件就是一个编译单元。
一个 .cpp(.c) 和它相应的 .h 文件共同组成了一个编译单元。
一个工程由很多编译单元组成，每个 obj 文件里包含了变量存储的相对地址等。

2. 声明和定义

函数或变量在声明时，并没有给它实际的物理内存空间，它有时候可保证你的程序编译通过；函数或变量在定义时，它就在内存中有了实际的物理空间。

如果你在编译单元中引用的外部变量没有在整个工程中任何一个地方定义的话，那么即使它在编译时可以通过，在链接时也会报错，因为程序在内存中找不到这个变量。

函数或变量可以声明多次 (如果是变量多次声明需要加 extern 关键字)，但定义只能有一次。

对于变量而言，在同一个文件里面，很少使用声明这个说法，一般没有人去说我要声明一个变量，然后定义这个变量。或者说，同一文件下声明与定义没有明显的区别。就好比 int a；我们可以说这是一个声明，也可以说这是一个定义，因为当程序执行到这句话的时候就完成了内存分配。数据类型，变量名，对应的内存单元就已经明确。
而 int a =1; 就完成了初始化，因为它明确了内存单元里到底存放什么样的数据。

在同一个工程，在多个文件中变量的声明和定义才有区别。比如说在 first.c 文件中先定义了一个全局变量 int a; 我在 second.c 中要访问这个 a ,这时我们需要在 second.c 这个文件中用 extern 声明一下。这是常规写法，我们有更好的写法，在下面介绍。

3. extern 作用

当它与 “C” 一起连用时，如 extern “C” void fun(int a, int b);，则编译器在编译 fun 这个函数名时按 C 的规则去翻译相应的函数名而不是 C++ 的。
当它不与 “C” 在一起修饰变量或函数时，如在头文件中，extern int g_nNum;，它的作用就是声明函数或变量的作用范围的关键字，其声明的函数和变量可以在本编译单元或其他编译单元中使用。

即 B 编译单元要引用 A 编译单元中定义的全局变量或函数时，B 编译单元只要包含 A 编译单元的头文件即可，在编译阶段，B 编译单元虽然找不到该函数或变量，但它不会报错，它会在链接时从 A 编译单元生成的目标代码中找到此函数。

4. 全局变量(extern)

有两个以上文件都需要使用共同的变量，我们将这些变量定义为全局变量。比如，res.h 和 res.cpp 分别来声明和定义全局变量，其他文件需要使用全局变量时，只需要包含 res.h 即可，同时这也是 推荐的写法。

下面是示例代码，只为演示全局变量的用法，不保证算法完备性：

/**********res.h声明全局变量************/
#pragma once#include <QSemaphore>const int g_nDataSize = 1000; // 生产者生产的总数据量
const int g_nBufferSize = 500; // 环形缓冲区的大小extern char g_szBuffer[]; // 环形缓冲区
extern QSemaphore g_qsemFreeBytes; // 控制环形缓冲区的空闲区（指生产者还没填充数据的区域，或者消费者已经读取过的区域）
extern QSemaphore g_qsemUsedBytes; // 控制环形缓冲区中的使用区（指生产者已填充数据，但消费者没有读取的区域）
/**************************/

上述代码中g_nDataSize、g_nBufferSize为全局常量，其他为全局变量。

/**********res.cpp定义全局变量************/
#pragma once
#include "res.h"// 定义全局变量
char g_szBuffer[g_nBufferSize];
QSemaphore g_qsemFreeBytes(g_nBufferSize);
QSemaphore g_qsemUsedBytes;
/**************************/

在其他编译单元中使用全局变量时只要包含其所在头文件即可。

/**********在consumerthread.cpp使用全局变量************/
#include "consumerthread.h"
#include "res.h"
#include <QDebug>void ConsumerThread::run() {for (int i = 0; i < g_nDataSize; i++) {g_qsemUsedBytes.acquire();              qDebug()<<"Consumer "<<g_szBuffer[i % g_nBufferSize];g_szBuffer[i % g_nBufferSize] = ' ';g_qsemFreeBytes.release();}qDebug()<<"&&Consumer Over";
}
/**************************/

为了程序的简洁和清爽，我们通常将变量声明放在头文件中，需要使用的时候只需要包含头文件即可，如果不这样做，当涉及到的全局变量变多时，我们要做一大堆繁琐的声明工作。

4.1 如果直接将声明和定义都放在头文件中会如何？

效果看起来是这样：

/**********res.h声明全局变量************/
#pragma once#include <QSemaphore>const int g_nDataSize = 1000;
const int g_nBufferSize = 500; char g_szBuffer[];
QSemaphore g_qsemFreeBytes;
QSemaphore g_qsemUsedBytes;
/**************************/

这样做非常不妙，如果你的工程简单到只有一个头文件和一个源文件，那么没问题。但是当工程变得复杂时，很容易出现重定义错误。

看到其他的说法是，即使在 res.h 中加 #pragma once，或 #ifndef 也会出现重复定义，因为每个编译单元是单独的，都会对它各自进行定义），那么 res.h 声明的其他函数或变量，你也就无法使用了，除非也都 extern 修饰，这样太麻烦，所以还是推荐使用 .h 中声明，.cpp 中定义的做法。

但是我个人的验证是 #pragma once，或 #ifndef 可以有效防止重定义的问题，遇到使用 #ifndef 也会提示重定义的情况是 #ifndef 仅对代码片段有效，在 #ifndef 范围外的代码自然会提示重定义。

这里先保留意见，总之，.h中声明，.cpp中定义的做法是最稳妥的。

5. 静态全局变量(static)

注意使用 static 修饰变量，就不能使用 extern 来修饰，即 static 和 extern 不可同时出现。

static 修饰的全局变量的声明与定义同时进行，即当你在使用 static 声明了全局变量，同时它也被定义了。

static 修饰的全局变量的作用域只能是本身的编译单元。在其他编译单元使用它时，只是简单的把其值复制给了其他编译单元，其他编译单元会另外开个内存保存它，在其他编译单元对它的修改并不影响本身在定义时的值。即在其他编译单元 A 使用它时，它所在的物理地址，和其他编译单元 B 使用它时，它所在的物理地址不一样，A 和 B 对它所做的修改都不能传递给对方。

多个地方引用静态全局变量所在的头文件，不会出现重定义错误，因为在每个编译单元都对它开辟了额外的空间进行存储。

下面是示例程序，同样只做演示，不保证算法完备性：

/***********res.h**********/
static char g_szBuffer[6] = "12345";
/************************//***********test1.cpp**********/
#include "res.h"//fun1对g_szBuffer中的内容进行修改
void fun1() { for (int i = 0; i < 6; i++) {g_szBuffer[i] = 'a' + i;}cout<<g_szBuffer<<endl;
}
/************************//***********test2.cpp**********/
#include "res.h"//fun2对g_szBuffer原样打印
void fun2() {cout<<g_szBuffer<<endl;
}
/************************//***********main.cpp**********/
#include "test1.h"
#include "test2.h"int main() {fun1();fun2();system("PAUSE");return 0;
}
/************************/

按我们的直观印象，认为 fun1() 和 fun2() 输出的结果都为相同，可实际上 fun2() 输出的确是初始值。然后我们再跟踪调试，发现 test1、test2 中 g_szBuffer 的地址都不一样，这就解释了为什么不一样。

注：一般定义 static 全局变量时，都把它放在 .cpp 文件中而不是 .h 文件中，这样就不会给其他编译单元造成不必要的信息污染。

6. 全局常量(const)

const单独使用时，其特性与static一样（每个编译单元中地址都不一样，不过因为是常量，也不能修改，所以就没有多大关系）。

const 与 extern 一起使用时，其特性与 extern 一样。

extern const char g_szBuffer[];      //写入 .h中
const char g_szBuffer[] = "123456"; // 写入.cpp中