static与extern剖析之---静态声明“static”

这里对C/C++中的static和extern进行详细解读，参考了网上可信的资料，并结合实例验证，争取做到实践检验理论。

这里共分两篇文章，第一篇是对两者的概述与static详解，第二篇是对extern的详述，当然会继承第一篇。

第二篇见：

 

下面开始

PART1. 综述

static与extern都是C/C++中用来修饰变量和函数的，主要用于大型工程的不同源文件间相互访问的限制。

对两者的讨论涉及到生命周期，作用域两大方面，同时又分局部和全局两大模块，下面排列组合说明。

 

PART2. 静态变量（static）

1. 静态局部变量

在函数体内的局部变量前加上static就构成了静态局部变量。下面分5点说明两者差别。参考[1]

（1） 静态局部变量在函数内定义，但不同于一般变量，它在编译为目标文件时就存在，即生存期为整个源程序。

我们实例验证：

测试样本如下（这里选用C++）：

#include <iostream>
using namespace std;
//void Fun(int a){
//	cout<<"ok"<<endl;
//}
static int pspsps;
static int pspsps1=3;
int main(){
    static int isisis;
    static int isisis1=2;
    int j;

    return 0;
}

 

g++ -c test1.cpp的test1.o, 用ida反汇编，得.data区变量，得证。

（2） 同时静态局部变量作用范围为变量定义到函数退出。退出函数后，尽管该变量仍继续存在，但不能使用它。

实证：

（3） 允许对基本类和指针类其赋初值，若未赋初值，自动赋值。

实证：

我这里对基本数据类型和指针进行了测试，结果对照右边输出，可见未赋初值时变量自动置0，指针也是，因为在C/C++中，NULL在底层调用中就是0，即指向0x0地址。

（4） 允许对构造类静态局部变量赋初值，如果未赋初值，则系统自动赋值为0。

实证：

（5）虽然离开定义的函数后不能使用，但若再次调用定义它的函数，可继续使用，且保留前次被调用留下的值。

实证：

 

2. 静态全局变量

在全局变量前加上static就构成了静态全局变量。下面分两点说明两者不同。

（1） 存储区域

全局变量和静态变量都存储在数据全局（静态）区。详细比较见PART3。

（2） 作用范围

如果源文件只有一个，则两者无差，若有多个源文件，则静态全局变量只能在本源文件中使用，而全局变量可以通过extern声明在整个项目中使用，该实例将在下一篇extern中说明。

3. 全局，静态，局部变量的内存分布

（1） 首先说下C/C++编译后的内存分布，参考[2]

即全局变量和静态变量均在全局（静态）区

这里再补充下下《深入理解计算机系统》中对elf的相关介绍，虽然是elf文件结构，与exe有差别，但大体一致

 

（2） 无论是全局还是局部变量，没初始化的就在.bss区，初始化的就在.data区。

实证：

#include <windows.h>

//#include <stdio.h>

#include <iostream>

using namespace std;

void Fun(int a){

     cout<<"ok"<<endl;

}

static int pspsps;

static int pspsps1=3;

int main(){
    static int isisis;
    static int isisis1=2;
    int j;

return 0;

}

用ida反编译，看到

 

参考文献：

【1】 https://blog.csdn.net/lanchengxiaoxiao/article/details/7880276

【2】 https://www.cnblogs.com/zanglitao/articles/3999973.html

 

下面一篇文章将介绍extern与static的区别联系，然后对两者做更深入的研究。