局部对象
在C++ 语言中,名字有作用域, 对象有生命周期。
- 名字的作用域是程序文本的一部分,名字在其中可见
- 对象的生命周期是程序执行过程中该对象存在的一段时间
函数体是一个语句块。块构成一个新的作用域,我们可以在其中定义变量。形参和函数体内部定义的变量统称为局部变量。他们对于函数而言是局部的,仅在函数的作用域中可见,同时局部变量还会隐藏在外层作用域中同名的 其他所有声明。
在所有函数体之外定义的对象存在于程序的整个执行过程中。此对象在程序启动时被创建, 直到程序结束时才会销毁。局部变量的生命周期依赖于定义的方式。
自动对象
对于普通局部变量对应的对象来说,当函数的控制路径经过变量定义语句时创建该对象,当到达定义所在的块末尾时销毁它。我们只有把存在于块执行期间的对象成为自动对象(automatic object).当块的执行结束后,块中创建的自动对象的值就变成未定义的了。 形参是一种自动对象。函数开始时为形参申请存储空间,因为形参定义函数体作用域之内,所以函数一旦终止,形参也就会销毁。
我们用传递给函数的实参初始化形参对应的自动对象。对于局部的变量对应的自动对象来说,则分为两种情况:1.如果变量定义本身含有初始值,就用这个初始值进行初始化;2.否则,如果变量定义本身不含初始值,执行默认初始化。这意味着内置类型的未初始化局部变量将产生未定义的值。
局部静态对象
某些时候,有必要令局部变量的生命周期贯穿函数调用及之后的时间。我们可以将局部变量定义成static类型从而获得这样的对象。局部静态对象local static object 在程序的执行路径第一次经过对象定义语句时初始化,并且直到程序终止才被销毁,在此期间即使对象所在的函数结束执行也不会对它有影响。
size_t count_calls(){ static size_t ctr=0; return ctr; } int main(){ for(size_t i=0;i!=10;i++){ cout<<cout_calls()<<endl; return 0; } }