C语言作用域

        作用域 (scope) 是描述程序可以访问标识符的区域。

        一个标识符可以有块作用域、函数作用域、函数原型作用域、文件作用域和全局作用域。

1. 块作用域 (block scope)

        块是一对花括号 {} 括起来的区域 或 函数体内任意复合语句定义范围内的区域。

        定义在块中的变量具有块作用域。块作用域的变量的可见范围从定义处开始到该块定义范围的末尾为止。

举例：

#include <stdio.h>

const int MAX = 3;

int my_sum() {
	int sum = 0;	
	for (int i = 1; i <= MAX; i++)
		sum += i;

	return sum;
}

int main() {
	printf("sum = %d\n", my_sum());

	return 0;
}

析解：

• my_sum函数体内的变量 sum 具有块作用域，可见范围从定义处开始到该块定义范围末尾为止，在本例中变量 sum 在整个函数体内可见。
• my_sum函数体内的 for 循环体中变量 i 具有块作用域，可见范围从定义处开始到该块定义范围末尾为止，在本例中变量 i 在整个for循环体内可见

2. 函数作用域 (function scope)

        函数作用域是在整个函数体内可见的意思，在 C 程序中，函数形参和 goto 语句的标签具有函数作用域，在整个函数体内可见。

#include <stdio.h>

void my_game(const int data) {
	if (data >= 0)
		goto ge;
	else
		goto lt;

ge:	// greater than or equal
	printf("%d >= 0\n", data);
	goto end;

lt: // less than
	printf("%d < 0\n", data);

end:
	return;
}

int main() {
	my_game(1);

	return 0;
}

 析解：

• 函数形参 data 具有函数作用域，在整个函数体内可见。
• 函数体内的标签 ge, lt, end 具有函数作用域，在整个函数体内可见。

3. 函数原型作用域 (function prototype scope)

        函数原型作用域的范围从形参声明开始到形参声明结束处，这个主要是编译器比较关心的，普通程序开发者只要知道有函数原型作用域这个概念以及函数原型作用域的范围就行。

4. 全局作用域 (global scope)

        在所有函数外定义的变量具有全局作用域，在整个程序都可见。

global.c

const int MAX = 10;

main.c

#include <stdio.h>

extern const int MAX;

int main() {
	printf("MAX = %d\n", MAX);

	return 0;
}

析解：

global.c 源文件中的 全局常量 MAX 具有全局作用域，在 main.c 源文件可见，所以编译通过，程序能够按预期的结果，在屏幕中打印：MAX = 10。

5. 文件作用域 (file scope)

        在数据类型前加 static 关键字定义的全局变量具有文件作用域，static全局变量仅在定义它的源文件内有效，可见范围仅限制在定义它的源文件中。

global.c

static const int SIZE = 1000;

main.c

#include <stdio.h>

extern const int SIZE;

int main() {
	printf("SIZE = %d\n", SIZE);

	return 0;
}

析解：

global.c 源文件中的 static 全局常量 SIZE 具有文件作用域，在 main.c 源文件不可见，所以编译报错。

tips:

        C 语言提供 static定义全局变量或常量把这个变量或常量的作用域限制在定义该变量或常量的源文件中的好处是在实际开发中，不同开发人员开发同一个项目，可以有效避免标识符重名的问题。