C语言中标识符的作用域、命名空间、链接属性、生命周期、存储类型（上）

1. 标识符的作用域

int my_func(int a, int b);  /* myfunc是“文件作用域”；a,b是 “函数原型作用域” */
int a;/* a是文件作用域。 注意：虽然上面的函数原型中将参数名称声明为a， 但是由于作用域不同，是合法的。下一行的b也是这种情况 */
static int b; /* b是文件作用域 */
int d( int n ){ /* d是“文件作用域”。因为这是函数定义，而不是函数原型，所以形式参数n 是“代码块作用域” */
/* 由于形式参数中已经声明n，那么在函数体内的最外层变量的名称就不能再为n，因为同一个作用域内不允许对同一个变量进行多次声明。
如果声明，编译器会提示重复声明变量。（在某些较老版本的编译器是允许的，但是C99标准是不允许的）
在不同的作用域内可以 */
int f;  /* f是代码块作用域 */

int g(int k);   /* 函数原型，位于函数体代码块内。声明的函数名称g是“代码块作用域”，参数k是“函数原型作用域” */

my_label:  /* 定义一个label，是“函数作用域” */

...  /*  下面的代码块可以是while循环、for循环或if语言等等*/
{
int f, g, i; /* 都是代码块作用域，而且只是在内层代码块，在外层代码块不可见 */
/* 对于f，外层已经存在f，这里会隐藏掉外层的f，即在这个内层代码块中无法访问外层的f */
int n;     /* 代码块作用域，由于这里已经不是函数体内的最外层，所以可以声明与函数的形式参数同名的变量，
同样会隐藏掉外层的变量n   */
}
...  /* 另外一个 代码块 */
{
int i;  /* 代码块作用域，虽然上面的一个内层代码块中已经存在i，但是由于这两个代码块不存在嵌套关系，所以也不存在隐藏现象 */
}
}

2. 标识符的命名空间

typedef

enum的

">#include <stdio.h>
#include <stdlib.h>

int main(){
struct A{   /* “结构体的tag”和“结构体成员”不在同一个命名空间，所以名称可以相同 */
int A;
};
union B{  /* 根据第二条，这个union的tag不能是A，但是根据第三条，其成员的名称可以与struct A的成员名称相同 */
int A;
};
struct A A; /* “结构体的tag”和“普通变量”不在同一个命名空间，所以名称可以相同 */
union B B;  /* 上面的“结构体变量”和 这行的“联合体变量”属于同一个命名空间，名称不能相同，即不能是 union B A */
int my_label = 1; /* “普通变量”和“标签”不属于同一个命名空间，所以名称可以相同 */
A.A = 1;
B.A = 20;
printf("B.A == %d  /n/n", B.A);

my_label:     /* 这里label 的名称与上面变量的名称 相同 */
printf("A.A == %d  /n", A.A);
A.A +=1;
if(A.A <= 5){
goto my_label;
}

system("pause");
return EXIT_SUCCESS;
}

B.A == 20

A.A == 1
A.A == 2
A.A == 3
A.A == 4
A.A == 5