auto关键字在我们写的代码里几乎看不到,但是它又无所不在,它是如此地重要,又是如此地与世无争,默默地履行着自己的义务,却又隐姓埋名。C语言程序面向过程的,在C语言代码中会出现大量的函数模块,每个函数都有它的生命周期(也称为作用域),在函数周期中声明的变量通常叫做局部变量,也叫做自动变量。
例如:
int fun()
{
int a = 10; // auto int a = 10;
// do something
return 0;
}
整型变量a在fun函数内声明,其作用域为fun函数内,离开fun函数就不能被引用,a变量为自动变量。也就是说编译器会在“int a = 10”之前会加上auto的关键字。auto的出现意味着当前变量的作用域为当前函数或代码段的局部变量,意味着当前变量会在内存栈上进行分配。
栈的操作为入栈和出栈,入栈就类似往箱子里扔书,出栈就类似从箱子里拿书。那么这和我们的auto变量分配空间有什么关系呢?
由于在一个程序中可能会有大量的变量声明,每个变量都会占有一定的内存空间,而内存空间对于计算机来说是宝贵的硬件资源,因此合理利用内存是编译器的一个主要任务。有的变量是一次性使用的,如局部变量;有的变量要伴随着整个程序来使用,如全局变量。为了节省内存空间,优化性能,编译器通常会将一次性使用的变量分配在栈上。也就是说,代码中每声明一个一次性变量,就会在栈上进行一次入栈操作,当该变量使用完了(生命周期结束),就会进行出栈操作。这样,在执行不同函数的时,就会在一个栈上进行入栈操作,也就是说它们频繁地使用一个相同的内存空间,从而更高效地利用内存。
注意:有的编译器为了提高效率,在出栈时不会清空数据,这也意味着,下个函数里的变量在入栈使用该空间时,里面的数据是上一次变量操作的结果。