函数与程序结构的作用域规则（学习笔记）

本文链接：https://blog.youkuaiyun.com/crazy_eight/article/details/105567313

本文深入探讨了变量的定义与声明的区别，详细解释了外部变量与静态变量的特点，以及它们在程序中的作用域规则。通过具体示例，帮助读者理解如何在不同文件间正确使用变量。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

// An highlighted block
main() {}
int sp = 0;
double val[MAXVAL];
void push(double f) {}
double pop(void) {}

变量的定义

int sp = 0;
double val[MAXVAL];

1.这是一个定义，它除了用于说明变量的类型，还为变量分配储存单元。
2.外部变量只能在某个文件中定义一次，其他文件可以通过extern声明来访问它。
3.外部变量的定义中必须指定数组的长度。
4.外部变量的初始化只能出现在其定义中。

变量的声明

extern int sp = 0;
extern double val[MAXVAL];

这是一个变量声明，它仅说明变量的类型，并没有为它分配储存单元。
extern声明不一定需要指定数组的长度。

1.外部变量的作用域从它的声明开始，一直到所在的文件末尾结束。
2.在外部变量定义之前使用该变量，或者外部变量的定义与使用不在同一个源文件里面，必须在相应的变量声明中强制使用关键字extern。

3.如果函数push和pop定义在一个文件中，变量val和sp在另一个文件中，就需要一下方式来访问
文件一

extern int sp = 0;
extern double val[MAXVAL];
void push(double f) {}
double pop(void) {}

文件二

int sp = 0;
double val[MAXVAL];

1.static限定外部变量，它的作用域是被编译源文件的剩余部分。
2.函数内部的静态变量是特定的局部变量，只能在该函数中使用，但是它一直存在，一直占据储存空间。