auto static register

1简介编辑

自动变量，只在定义它们的时候才创建，在定义它们的 函数返回时系统回收变量所占 存储空间。对这些变量 存储空间的分配和回收是由系统自动完成的。一般情况下，不作专门说明的 局部变量，均是自动变量。自动变量也可用关键字auto作出说明。例如：

void f()/**/

{/**/

auto int c=3;/*c为自动变量*/

int x=2;/*x未说明存储类型，则为缺省类型（自动）*/

}/**/

自动变量只有一种存储方式，就是存储在栈中。由于自动变量存储在栈中，所以自动变量的作用域只在函数内， 其生命周期也只持续到函数调用的结束

2区别编辑

自动变量

什么是自动变量呢？自动变量就是指在 函数内部定义使用的变量。他只是允许在定义他的 函数内部使用它。在 函数外的其他任何地方都不能使用的变量。 自动变量是局部变量，即它的区域性是在定义他的 函数内部有效。当然这说明自动变量也没有链接性，因为它也不允许其他的文件访问他。由于自动变量在定义他的 函数的外面的任何地方都是不可见的，所以允许我们在这个函数外的其他地方或者是其他的函数内部定义同名的变量，他们之间不会发生冲突的。因为他们都有自己的区域性，而且它没有链接性（即：不允许其他的文件访问他的）。来看看自动量的持续性。 计算机在执行这个函数的时候，创建并为它分配内存，当函数执行完毕返回后，自动变量就会被销毁。这个过程是通过一个 堆栈的机制来实现的。为自动变量分配内存就压栈，而 函数返回时就退栈。

/* auto */

#include <stdio.h>

int main()

{

int print();

int var,i;

for(i=0;i<=10;i++)

var=print();

printf("%d\n",var);

return 0;

}

int print()

{

auto int i=0; /* 自动变量 */

i+=1;

printf("%d\n",i);

return i;

}

/* end */

静态变量：

静态变量与自动变量的本质区别是， 静态变量并不像自动变量那样使用 堆栈机制来使用内存。 而是为静态变量分配固定的内存，在程序运行的整个过程中，它都会被保持，而不会不销毁。这就是说静态变量的持续性是程序运行的整个周期。这有利于我们共享一些数据。如果静态变量在 函数内部定义，则它的 作用域就是在这个函数内部，仅在这个函数内部使用它才有效，但是它不同于自动变量的，自动变量离开函数后就会被销毁， 而静态变量不会被销毁。他在 函数的整个运行周期内都会存在。在 函数外面定义的变量为 全局变量， 工程内的所有文件都可以访问他，但是它在 整个工程内只能定义一次，不能有重复的定义，不然就会发生错误， 而其他的文件要想使用这个变量，必须用extern来声明这个变量，这个声明叫做引用声明。这一点很重要，如果你没有用extern 来声明在其他文件中已经定义的 全局变量，就来使用它，就会发生错误如果你只是想在定义他的文件中使用它，而不允许在其他的文件中使用它，那么就用 关键字static来在 函数外面声明变量。这样这个变量在其他文件中将不可见，即它的连接性而内部链接。有一点是我们只得注意的像：如果你在 函数外这样声明一个变量，const int a ; 变量a的连接性为内部链接，只能在定义他的文件内使用。 还有如果你在定义静态变量的时候并没有给变量初始化，则静态变量将被自动初始化为0；

/* static */

#include <stdio.h>

int main()

{

int print();

int var,i;

for(i=0;i<=10;i++)

var=print();

printf("%d",var);

return 0;

}

int print()

{

static int i; /* 静态变量*/

i+=1;

printf("%d\n",i);

return i;

}

/* end */

（1）可以定义const常量，具有不可变性。
　　例如：const int Max=100; Max++会产生错误;
　　（2）便于进行类型检查，使编译器对处理内容有更多了解，消除了一些隐患。
　　例如： void f(const int i) { .........} 编译器就会知道i是一个常量，不允许修改；
　　（3）可以避免意义模糊的数字出现，同样可以很方便地进行参数的调整和修改。 同宏定义一样，可以做到不变则已，一变都变！
　　如（1）中，如果想修改Max的内容，只需要：const int Max=you want;即可！
　　（4）可以保护被修饰的东西，防止意外的修改，增强程序的健壮性。 还是上面的例子，如果在函数体内修改了i，编译器就会报错；
　　例如： void f(const int i) { i=10;//error! }
　　（5） 可以节省空间，避免不必要的内存分配。 例如：
　　#define PI 3.14159 //常量宏
　　const double Pi=3.14159; //此时并未将Pi放入RAM中 ......
　　double i=Pi; //此时为Pi分配内存，以后不再分配！
　　double I=PI; //编译期间进行宏替换，分配内存
　　double j=Pi; //没有内存分配
　　double J=PI; //再进行宏替换，又一次分配内存！
　　const定义常量从汇编的角度来看，只是给出了对应的内存地址，而不是像#define一样给出的是立即数，所以，const定义的常量在程序运行过程中只有一份拷贝，而#define定义的常量在内存中有若干份拷贝。
　　（6） 提高了效率。
　　编译器通常不为普通const常量分配存储空间，而是将它们保存在符号表中，这使得它成为一个编译期间的常量，没有了存储与读内存的操作，使得它的效率也很高。

4变量与常量编辑

例：为什么下面的例子在使用一个const 变量 来初始化 数组 ，ANSI C的 编译器 会报告一个错误呢？

const int n = 5;

int a[n];

答案与分析：

1）这个问题讨论的是“ 常量”与“只读 变量”的区别。常量，例如5， "abc"，等，肯定是只读的，因为常量是被编译器放在内存中的只读区域，当然也就不能够去修改它。而“只读 变量”则是在内存中开辟一个地方来存放它的值，只不过这个值由 编译器限定不允许被修改。 C语言关键字const就是用来限定一个 变量不允许被改变的 修饰符（Qualifier）。上述代码中 变量n被修饰为只读变量，可惜再怎么修饰也不是 常量。而ANSI C规定 数组定义时长度必须是“ 常量”，“只读 变量”也是不可以的，“常量”不等于“不可变的变量”。但是在C++中，局部数组是可以使用变量作为其长度的。

2）但是在标准C++中，这样定义的是一个常量，这种写法是对的。实际上，根据编译过程及 内存分配来看，这种用法本来就应该是合理的，只是ANSI C对数组的规定限制了它（实际上用GCC或VS2005编译以上代码，确实没有错误产生，也没有给出警告）。

3）那么，在ANSI C中用什么来定义 常量呢？答案是enum类型和#define宏，这两个都可以用来定义常量。

5限定内容编辑

例：下面的代码 编译器 会报一个错误，请问，哪一个语句是错误的呢？

typedef char * pStr;

char string[4] = "bbc";

const char *p1 =" string"; //1式

const pStr p2 =" string"; //2式

p1++;

p2++;

答案与分析：

问题出在p2++上。

1）const使用的基本形式： const type m;限定m不可变。替换基本形式中的m为1式中的*p1，替换后const char *p1;限定*p1不可变，当然p1是可变的，因此问题中p1++是对的。替换基本形式中的type为2式中的pStr，替换后const pStr m;限定m不可变，题中的pStr就是一种新类型，因此问题中p2不可 ^[1]   变，p2++是错误的。

6指针举例编辑

例一

下面分别用const限定不可变的内容是什么？

1）const在前面

const int nValue； //nValue是const

const char *pContent; //*pContent是const, pContent可变

const char* const pContent; //pContent和*pContent都是const

2）const在后面，与上面的声明对等

int const nValue; //nValue是const

char const * pContent; //*pContent是const, pContent可变

char* const pContent; //pContent是const,*pContent可变

char const* const pContent; //pContent和*pContent都是const

答案与分析：

const和 指针一起使用是C语言中一个很常见的困惑之处，在实际开发中，特别是在看别人代码的时候，常常会因为这样而不好判断作者的意图，下面讲一下我的判断原则：

const只修饰其后的变量，至于const放在类型前还是类型后并没有区别。如：const int a和int const a都是修饰a为const。注意*不是一种类型，如果*pType之前是某类型，那么pType是指向该类型的指针

一个简单的判断方法： 指针运算符*，是从右到左，那么如：char const * pContent，可以理解为char const (* pContent)，即* pContent为const，而pContent则是可变的。 ^[1]  

例二

int const * p1,p2;

p2是const；(*p1)是一整体，因此(*p1)是const，但p1是可变的。int * p1,p2只代表p1是指向整型的指针，要表示p1、p2都是指针是需写成int * p1,* p2。所以无论是* const p1,p2还是const * p1,p2，里面的*都是属于p1的。

例三

int const * const p1,p2;

p2是const，是前一个const修饰的，*p1也被前一个const修饰，而p1被后一个const修饰。

例四

int * const p1,p2;

p1是const，（* const p1）是整体，所以const不修饰p2。

例五

指针指向及其指向变量的值的变化

const在*的左边，则指针指向的变量的值不可直接通过指针改变（可以通过其他途径改变）；在*的右边，则指针的指向不可变。简记为“左定值，右定向”。

1）指针指向的变量的值不能变，指向可变

int x = 1;

int y = 2;

const int* px = &x;

int const* px = &x; //这两句表达式一样效果

px = &y; //正确，允许改变指向

*px = 3; //错误，不允许改变指针指向的变量的值

2）指针指向的变量的值可以改变，指向不可变

int x = 1;

int y = 2;

int* const px = &x;

px = &y; //错误，不允许改变指针指向

*px = 3; //正确，允许改变指针指向的变量的值

3）指针指向的变量的值不可变，指向不可变

int x = 1;

int y = 2;

const int* const px = &x;

int const* const px = &x;

px = &y; //错误，不允许改变指针指向

*px = 3; //错误，不允许改变指针指向的变量的值

补充

在c中，对于const定义的指针，不赋初值编译不报错，

int* const px;这种定义是不允许的。（指针常量定义的时候对其进行初始化）

int const *px;这种定义是允许的。（常指针可以再定义的时候不初始化）

但是，在C++中

int* const px;和const int* const px;会报错，const int* px;不报错。

必须初始化指针的指向int* const px = &x;const int* const px=&x;

强烈建议在初始化时说明指针的指向，防止出现野指针！

寄存器变量:

在c语言当中可以使用 寄存器变量来优化程序的性能,最常见的是在一个 函数体当中,将一个常用的变量声明为寄存器变量: register int ra; 如果可能的话, 编译器就会为它分配一个单独的寄存器，在整个函数执行期间对这个变量的操作全都是对这个寄存器进行操作,这时候就不用频繁地去访存了,自然就提高了性能.但是寄存器变量不是强制性的,也就是,即使你使用register 关键字去声明一个变量为寄存器变量，编译器还是有可能把它作为一个普通的变量而不是寄存器变量来使用的. 在我们写程序的过程当中,有时候会经常用到一个 全局变量,如果能够把它作为寄存器变量来使用,显然可以提高程序的性能,特别是对于那些对性能要求比较高的程序(比如模拟器， 虚拟机等).拿X86平台来说,如果使用Gcc扩展,可以按照如下方式声明一个全局寄存器变量,并指定它存入ebx寄存器:int ra asm("ebx");用作这种用途的还有“ebp, ebx, esi, edi".这时候需要在 编译程序的时候给出特别的选项,因为有些寄存器原本是另有用途的,比如ebp寄存器,原来是做frame-pointer用.

易失变量：

volatile:(嵌入式程序员必须掌握的)volatile最初的意思是表示汽油容易挥发,在c中的作用大概有两点（1）表示变量是易失的,易变的. （2）强制访存操作,防止 编译器去优化,告诉编译器每次必须去内存中取值,而不是从 寄存器或者缓存.