1- 关键字static

1 前言

在C语言中，static是用来修饰变量和函数的：

1. 修饰局部变量 - 称为静态局部变量
2. 修饰全局变量 - 称为静态全局变量
3. 修饰函数 ------- 称为静态函数

2 static修饰局部变量

2.1 局部变量无static修饰

局部变量是指在函数或代码块内部定义的变量，其特点是：

1. 存储位置：局部变量通常存储在栈区；
2. 生命周期：局部变量是在函数或代码块被执行时创建和初始化的；当函数或代码块执行完毕后，局部变量会被销毁，并释放它们占用的内存空间；
3. 作用域：局部变量只能在定义它的函数或代码块内部使用；
4. 初始化：局部变量在定义时，如果没有显式初始化，它的值是随机的。

示例代码如下所示：

void test() {
   //
   int a = 1;
   //
   a++;
   //
   printf("%d ", a);
   //
   return;
}

int main()
{
   //
   int i = 0;
   //
   while (i < 10) {
      test();
      i++;
   }
   //
   printf("\n");
   //
   return 0;
}

代码运行结果如下图所示：

代码及运行结果分析如下：

1. 变量a是定义在test()函数中的局部变量，每次调用test()函数时被创建和初始化，每次函数执行完毕后被销毁，所以变量a的值一直都是2。

2.2 局部变量有static修饰

当局部变量有static修饰时，称为静态局部变量，其特点是：

1. 存储位置：静态局部变量存储在静态存储区，而不是栈区；
2. 生命周期：静态局部变量仅在函数或代码块第一次执行时被创建和初始化，并在函数或代码块的后续执行中一直保持存在，直到程序结束运行时才被销毁；
3. 作用域：静态局部变量的作用域仍然限制在定义它的函数或代码块内部；
4. 初始化：静态局部变量在定义时，如果没有显式初始化，会被自动初始化为零。

示例代码如下所示：

void test() {
   //
   static int a = 1;
   //
   a++;
   //
   printf("%d ", a);
   //
   return;
}

int main()
{
   //
   int i = 0;
   //
   while (i < 10) {
      test();
      i++;
   }
   //
   printf("\n");
   //
   return 0;
}

代码运行结果如下图所示：

代码及运行结果分析如下：

1. 变量a是定义在test()函数中的静态局部变量，仅在第一次调用test()函数时被创建和初始化，直至程序结束运行时才被销毁，所以变量a的值一直在递增。

3 static修饰全局变量

3.1 全局变量无static修饰

全局变量是指在所有函数外部定义的变量，其特点是：

1. 存储位置：全局变量通常存储在静态存储区；
2. 生命周期：全局变量在程序开始运行时被创建（通常是在main()函数执行之前，操作系统为全局变量分配内存，并进行初始化），在程序结束运行时被销毁，在程序的整个运行期间都存在；
3. 链接属性：全局变量默认具有外部链接属性，意味着该变量可以被程序中的任何源文件访问（通过extern声明）；
4. 作用域：全局变量可以在程序中的任何地方使用（通过extern声明）；
5. 初始化：全局变量在定义时，如果没有显式初始化，会被自动初始化为零。

特别说明 全局变量的作用域和链接属性密切相关

示例代码如下所示：

1. 文件1

int main()
{
   //
   printf("修改前 : g_val = %d\n", g_val);
   //
   g_val = 20;
   //
   printf("修改后 : g_val = %d\n", g_val);
   //
   return 0;
}

2. 文件2

int g_val = 10;

运行程序会提示错误信息，内容如下所示：

error C2065: “g_val”: 未声明的标识符

解决方法 在文件1中使用extern关键字声明文件2中定义的全局变量g_val，代码如下所示：

extern int g_val;

int main()
{
   //
   printf("修改前 : g_val = %d\n", g_val);
   //
   g_val = 20;
   //
   printf("修改后 : g_val = %d\n", g_val);
   //
   return 0;
}

代码运行结果如下图所示：

代码及运行结果分析如下：

1. 在文件2中定义的变量g_val是全局变量，具有外部链接属性；在文件1中，首先需要使用extern关键字声明变量g_val，然后才能使用变量g_val。

3.2 全局变量有static修饰

当全局变量有static修饰时，称为静态全局变量，其特点相较全局变量有如下不同：

1. 链接属性：静态全局变量具有内部链接属性，意味着该变量只能被定义它的源文件访问，其他源文件无法访问这个变量，这样做可以避免命名冲突；
2. 作用域：静态全局变量只能在定义它的源文件中使用。

在文件2中使用static修饰全局变量g_val，代码如下所示：

static int g_val = 10;

运行程序会提示错误信息，内容如下所示：

error LNK2001: 无法解析的外部符号 _g_val

错误原因分析如下：

1. 静态全局变量具有内部链接属性，只能在定义它的源文件中使用。

3 static修饰函数

3.1 函数无static修饰

与全局变量一样，函数默认也具有外部链接属性，示例代码如下所示：

1. 文件1

int main()
{
   //
   int a = 10;
   int b = 20;
   int z = 0;
   //
   z = Add(a, b);
   //
   printf("%d\n", z);
   //
   return 0;
}

2. 文件2

int Add(int x, int y) {
   return (x + y);
}

运行程序会提示警告信息，内容如下所示：

 warning C4013: “Add”未定义；假设外部返回 int

解决方法 在文件1中使用extern关键字声明文件2中定义的Add()函数，代码如下所示：

extern int Add(int x, int y);

int main()
{
   //
   int a = 10;
   int b = 20;
   int z = 0;
   //
   z = Add(a, b);
   //
   printf("%d\n", z);
   //
   return 0;
}

代码运行结果如下图所示：

代码及运行结果分析如下：

1. 在文件2中定义的Add()函数具有外部链接属性；在文件1中，首先需要使用extern关键字声明Add()函数，然后才能使用Add()函数。

3.2 函数有static修饰

当函数有static修饰时，称为静态函数；静态函数具有内部链接属性，这意味着该函数只能在定义它的源文件中使用，其他源文件无法使用这个函数。

在文件2中使用static修饰Add()函数，代码如下所示：

static int Add(int x, int y) {
   return (x + y);
}

运行程序提示错误信息，内容如下所示：

error LNK2019: 无法解析的外部符号 _Add，函数 _main 中引用了该符号

错误原因分析如下：

1. 静态函数具有内部链接属性，只能在定义它的源文件访中使用。