10.16变量的作用域和生存周期
在C语言中,变量是对程序中数据所占用内存空间的一种抽象,定义变量时,用户定义变量的名,变量的类型,这是变量的操作属性。不仅可以通过变量名访问该变量,系统还通过该标识符确定该变量在内存空间的位置。在计算机中,保存变量当前值的存储单元有两类,一类是内存,另一类是CPU中的寄存器,变量的存储属性就是讨论变量的存储位置的,C语言中定义了四种存储属性,即自动变量、外部变量、静态变量和寄存器变量,它关系到变量在内存中的存放位置,由此决定了变量的值保留的时间和变量的作用范围,这就是生存期和作用域的概念。
Q:函数外部定义了全局变量,函数内部定义了同名同类型的局部变量,函数内引用这个变量时是引用的哪个啊?
A:变量的引用过程,类似于栈。
就是说编译器从变量引用处以最近逻辑距离开始搜索,找到后则开始使用停止则停止搜索;如果查找失败则编译出错。
举个例子来说,就是优先引用函数内部的(逻辑距离最近),其次引用同一个源文件中全局的,如果函数内部、同一个源文件中没有,再引用包含文件中的。
返回值也是对变量的引用,当然是局部变量。
Q:主函数中定义的变量在子函数中是否有效?
A:无效。首先明确,子函数和调用这个函数的函数(相对意义上的主函数)是两个不同的函数。标准C/C++不支持局部函数。函数内定义的对象的名称具有函数作用域,有效范围从定义处开始到函数体结束,和其它函数内的名称无关。即使在两个函数中各自使用相同的标识符进行定义,也是两个不同的名称(C语言中可以保证是不同的对象;C++引用可能指向相同的实体),具有各自的函数作用域。如果一个在不同函数内表示相同实体的名称能被引用,那么这个名称只能表示一个全局对象(C++中也可以是两个函数所在类/命名空间中的公共对象)。如果是循环内/语句块中定义的名称,ISO C90(不支持循环开头定义)从定义处到函数体结束,ISO C99/ISO C++则是从定义处开始到循环/语句块结束。