【C语言】关键字static——static修饰局部变量、全局变量和函数详解!

简介: 【C语言】关键字static——static修饰局部变量、全局变量和函数详解!

静态变量在静态区分配内存

全局变量和被static修饰后的局部变量都在静态区分配内存。

对于内存,我们可以简单的理解为,内存分为三个部分,栈区、堆区和静态区。

栈区: 保存局部变量,栈上的内容只在函数的范围内存在,当函数运行结束,这些内容也会自动被销毁。栈区的特点是效率高,但是空间有限。

堆区: 由malloc系列函数或new操作符分配内存。其生命周期由free或delete决定。在没有释放之前一直存在,直到程序结束。其特点是使用灵活,空间比较大,但是容易出错。

静态区: 保存全局变量和静态变量,静态区的内容在整个程序的生命周期内都存在,由编译系统在编译的时候分配。


static修饰全局变量

静态全局变量有以下特点:

未经初始化的静态全局变量会被程序自动初始化为0

#include <stdio.h>
static int g_val;
int main()
{
  printf("%d", g_val);// 0
  return 0;
}

而在函数体内声明的自动变量的值是随机的,除非它被显式初始化,而在函数体外被声明的自动变量也会被初始化为0。

静态全局变量在生命它的整个文件都是可见的,而在文件之外是不可见的

首先,我们要知道全局变量是有外部链接属性的,只要合理声明,全局变量在其他源文件内部,可以使用。
而被static修饰后,外部链接属性就变成了内部链接属性,只能在自己所在的源文件内部使用了。

全局变量的外部链接属性:

简单点说,就是在一个工程中,有多个.c文件,在一个.c文件中定义了的全局变量,是可以跨文件使用的,在其他.c文件也是可以使用这个全局变量的。

但是对于全局变量的跨文件使用,不是直接就可以使用,也是需要声明的。

下面举个简单的例子说明:

我们在一个工程中创建test_1.ctest_2.c两个源文件。

在test_2.c中创建一个全局变量g_val,并初始化为3.

我们在test_1.c中使用这个全局变量.

这时,会出现报错:

原因: 这是因为编译器在编译的时候,是对每个.c文件进行单独进行编译的。

也就是说,对test_1.c进行编译的时候,对于出现的g_val在这个源文件的见面并没有进行定义,所以就会报错。

(下面简单补充对于含多个文件的工程编译连接的过程)

解决: 使用关键字extern,来声明外部变量。

extern声明外部符号,以此告诉编译器,有一个变量叫 g_val,它的类型是int.

static修饰全局变量:

发现这时就会报错:

链接test_1.obj时报错。

原因:

这正是因为static修饰全局变量后,使得全局变量只能在自己所在的源文件内部使用,其他源文件无法使用。

所以,全局变量是有外部链接属性的,只要合理声明,全局变量在其他源文件内部,可以使用。而被static修饰后,外部链接属性就变成了内部链接属性,只能在自己所在的源文件内部使用了。

好处:

的确,定义全局变量可以实现变量在整个文件中的共享,但定义静态全局变量也有一下好处:

  • 静态全局变量不能被其他文件所用。
  • 其他文件中可以定义相同名字的变量,不会发生冲突。

static修饰局部变量

在局部变量前,加上关键字static,该变量就会被定义为静态局部变量

静态局部变量有以下特点:

静态局部变量在静态区配内存

static修饰局部变量使得变量的存储位置发生了变化,本来局部变量是放在栈区的,被static修饰后,放在内存的静态区,生命周期变得更长了,但是作用域没有发生变化。

静态局部变量在编译阶段赋初值,且只赋值一次,在程序运行时它已有初值。

首先我们先看一个普通的局部变量,在程序运行期间:

ce234a489d9443fabda28a2297b1050f.png

再来看被static修饰的局部变量,

对于语句

static int a=2;

是没有反汇编代码的,所以这条赋值语句在在程序的运行阶段是不运行的。

静态局部变量一般在声明处初始化,如果没有显式初始化,会被程序自动初始化为0;

#include <stdio.h>
int main()
{
  static int a;
  printf("%d", a);  //0
  return 0;
}

静态局部变量在程序执行到该对象的声明处时被首次初始化,即以后的函数调用不再进行初始化;

首先,我们来看一下下面的这个简单的程序:

#include <stdio.h>
void test()
{
  int a = 2;
  a++;
  printf("%d\n", a);
}
int main()
{
  int i = 0;
  while (i < 5)
  {
    test();
    i++;
  }
  return 0;
}

它的运行结果是

3
3
3
3
3

简单分析一下,程序从主函数开始,定义整型变量i并赋初值0,i=0,进入循环体,在循环体中,调用函数test(),程序运行的控制权交到了test()函数中。

在test()函数体内定义了一个局部变量a,并赋值为2,系统给局部变量a分配栈内存

局部变量a的作用域是整个函数体,也就是{}内生命周期为进入这个函数体开始,出这个函数体结束。随着程序出了函数体,系统就会收回栈内存,局部变量a也相应失效。

这时程学的控制权又交给了主函数,i自增,变为1,再次进入循环,将程序控制权交给test()函数,系统再次重新为局部变量a分配栈内存,并赋值为2.随着程序出了函数体,系统又会收回栈内存,局部变量a失效。

…………

一直重复上述过程,i=2,i=3,i=4

所以每一次调用函数a的值都为2,所以最终程序的运行结果为3\n3\n3\n3\n3\n。

static修饰局部变量


这是因为,static修饰局部变量,使得局部变量出了作用域并不会被销毁,空间不会被回收,下一次进入函数,依然使用的是上次留下的值。

如果反复调用函数,会产生累积的效果。

产生这种累计效果的本质也是在于被static修饰的局部变量的位置发生了变化,存储位置由原来的栈区到了静态区,从而导致它的生命周期更长了。

static修饰函数

在函数的返回类型前加上static关键字,函数即被定义为静态函数

静态函数与普通函数不同,它只能在声明它的文件当中可见,不能被其它文件使用。(同static修饰全局变量一样)

下面举个简单的例子做对比:

普通函数:

被static修饰的函数:

这和static修饰全局变量一样,本来,函数是具有外部链接属性的,在其他源文件内部可以被调用,被static修饰后,外部链接属性就变成了内部链接属性,使得这个函数只能在自己所在的源文件内部使用,其他源文件无法使用。

定义静态函数的好处:

  • 静态函数不能被其他文件所用
  • 其他文件中可以定义相同名字的函数,不会发生冲突

欢迎大家指出我的问题一起进步!
如果你觉得我写得还不错,不要忘记点个赞哦!O(≧∇≦)O

相关文章
|
17天前
|
存储 缓存 C语言
【c语言】简单的算术操作符、输入输出函数
本文介绍了C语言中的算术操作符、赋值操作符、单目操作符以及输入输出函数 `printf` 和 `scanf` 的基本用法。算术操作符包括加、减、乘、除和求余,其中除法和求余运算有特殊规则。赋值操作符用于给变量赋值,并支持复合赋值。单目操作符包括自增自减、正负号和强制类型转换。输入输出函数 `printf` 和 `scanf` 用于格式化输入和输出,支持多种占位符和格式控制。通过示例代码详细解释了这些操作符和函数的使用方法。
31 10
|
10天前
|
存储 算法 程序员
C语言:库函数
C语言的库函数是预定义的函数,用于执行常见的编程任务,如输入输出、字符串处理、数学运算等。使用库函数可以简化编程工作,提高开发效率。C标准库提供了丰富的函数,满足各种需求。
|
16天前
|
机器学习/深度学习 C语言
【c语言】一篇文章搞懂函数递归
本文详细介绍了函数递归的概念、思想及其限制条件,并通过求阶乘、打印整数每一位和求斐波那契数等实例,展示了递归的应用。递归的核心在于将大问题分解为小问题,但需注意递归可能导致效率低下和栈溢出的问题。文章最后总结了递归的优缺点,提醒读者在实际编程中合理使用递归。
40 7
|
16天前
|
存储 编译器 程序员
【c语言】函数
本文介绍了C语言中函数的基本概念,包括库函数和自定义函数的定义、使用及示例。库函数如`printf`和`scanf`,通过包含相应的头文件即可使用。自定义函数需指定返回类型、函数名、形式参数等。文中还探讨了函数的调用、形参与实参的区别、return语句的用法、函数嵌套调用、链式访问以及static关键字对变量和函数的影响,强调了static如何改变变量的生命周期和作用域,以及函数的可见性。
25 4
|
13天前
|
存储 C语言
【c语言】字符串函数和内存函数
本文介绍了C语言中常用的字符串函数和内存函数,包括`strlen`、`strcpy`、`strcat`、`strcmp`、`strstr`、`strncpy`、`strncat`、`strncmp`、`strtok`、`memcpy`、`memmove`和`memset`等函数的使用方法及模拟实现。文章详细讲解了每个函数的功能、参数、返回值,并提供了具体的代码示例,帮助读者更好地理解和掌握这些函数的应用。
14 0
|
13天前
|
C语言
【c语言】qsort函数及泛型冒泡排序的模拟实现
本文介绍了C语言中的`qsort`函数及其背后的回调函数概念。`qsort`函数用于对任意类型的数据进行排序,其核心在于通过函数指针调用用户自定义的比较函数。文章还详细讲解了如何实现一个泛型冒泡排序,包括比较函数、交换函数和排序函数的编写,并展示了完整的代码示例。最后,通过实际运行验证了排序的正确性,展示了泛型编程的优势。
15 0
|
16天前
|
算法 C语言
factorial函数c语言
C语言中实现阶乘函数提供了直接循环和递归两种思路,各有优劣。循环实现更适用于大规模数值,避免了栈溢出风险;而递归实现则在代码简洁度上占优,但需警惕深度递归带来的潜在问题。在实际开发中,根据具体需求与环境选择合适的实现方式至关重要。
16 0
|
存储 程序员 C语言
C语言局部变量和全局变量问题汇总
1、局部变量能否和全局变量重名? 答:能,局部会屏蔽全局。要用全局变量,需要使用"::" 局部变量可以与全局变量同名,在函数内引用这个变量时,会用到同名的局部变量,而不会用到全局变量。对于有些编译器而言,在同一个函数内可以定义多个同名的局部变量,比如在两个循环体内都定义一个同名的局部变量,而那个局部变量的作用域就在那个循环体内。
|
26天前
|
C语言 C++
C语言 之 内存函数
C语言 之 内存函数
31 3
|
21天前
|
存储 编译器 C语言
C语言函数的定义与函数的声明的区别
C语言中,函数的定义包含函数的实现,即具体执行的代码块;而函数的声明仅描述函数的名称、返回类型和参数列表,用于告知编译器函数的存在,但不包含实现细节。声明通常放在头文件中,定义则在源文件中。