c和指针

痛定思痛。 2022-08-13 11:59 128阅读 0赞

**第一章 快速上手  
Q6：C语言为什么不进行下标检查。**  
 １,不检查下标是否越界可以有效提高程序运行的效率，因为如果你检查， 那么编译器必须在生成的目标代码中加入额外的代码用于程序运行时检测下标是否越界，这就会导致程序的运行速度下降，所以为了程序的运行效率，C/C++才不检查下标是否越界。  
　　２, 不检查下标是为了给程序员更大的空间，也为指针操作带来更多的方便。如果有这个检查的话指针的功能将会大大被削弱，C的数组标识符，里面并没有包含该数组长度的信息，只包含地址信息，所以语言本身无法检查，只能通过编译器检查，而早期的C语言编译器也不对数组越界进行检查，只能由程序员自己检查确保。    
**一、链接属性、存储类型、static关键字**  
1. **链接属性**共有三种：external、internal、none。  
**none**没有链接属性的标示符总是被当做独立的个体，也就是说该标示符的多个声明被当做独立的实体。  
**internal**链接属性的标识符在同一个源文件内的所有声明中都指同一个实体但是再不同源文件中多个声明则分属不同的实体。  
**external**连接属性的标识符不论声明多少次、位于几个源文件都表示同一个实体。  
  
只要变量并非声明在代码块或函数定义的内部，它在缺省下的连接属性为external（全局的）；如果一个变量声明在代码块内部，在它前面添加extern关键字将使它应用的是全局变量而非局部变量。  
  
2. 变量的 **存储类型**指的是变量值得内存类型。  
有三个地方可以存储变量：普通内存、运行时堆栈、硬件寄存器。  
  
**静态类型**：在任何代码块之外声明的变量总是存储于静态内存中，不属于堆栈的内存，此类的变量成为静态（static）变量。静态变量在程序运行之前创建，在程序的整个执行期间始终存在。  
**自动（auto）类型**：在代码块内的缺省存储类型，存储在堆栈中。在程序执行到自动变量的代码时，它才创建，当代码的执行流离开该代码时它自动销毁。  
对在代码块内部声明的变量，如果加上static，可以将其由自动变为静态。 **修改变量的存储类型并不修改该变量的作用域**，它仍然只能在该代码块内部按名字访问。 **函数的形参不能声明为静态**，因为实参总是在堆栈中传递给函数，用于支持递归。  
**寄存器变量**：关键字register可以用于自动变量的声明，提示它们应该存储在机器的硬件寄存器中而不是内存中。通常，寄存器变量的效率高。如果有太多变量声明为register，则编译器只会选取前几个放入寄存器中，其余按普通自动变量处理。寄存器变量的创建和销毁时间与自动变量相同，但需要做一些额外工作。  
  
如不显式初始化，静态变量将初始化为0，自动变量没有缺省的初始值。  
  
3. 关键字static和extern用于在声明中修改标识符的链接属性。  
more： [http://www.cnblogs.com/yc\_sunniwell/archive/2010/07/14/1777431.html][http_www.cnblogs.com_yc_sunniwell_archive_2010_07_14_1777431.html]  
某变量正常情况下是external属性，在其前加上static关键字可以使它的链接属性变为internal。static只对缺省链接属性为external的声明才有改变链接属性的效果。  
**extern关键字：**  
为一个标识符指定external链接属性，这样就可以访问在其他任何位置定义的这个实体； 提示编译器在遇到extern标示的变量或函数在其他模块中寻找其定义。  
**static关键字：**  
当它用于函数定义或代码块之外的变量声明时，static关键字用于修改标识符的连接属性，从external改为internal，但标识符的存储类型和作用域不受影响。用这种方式声明的函数或变量只能在声明它的源文件中访问。  
当它用于代码块内部的变量声明时，static关键字用于修改变量的存储类型，从自动修改为静态变量，但链接属性和作用域不变。  
  
 二、跳出多层嵌套的循环的几种方法  
1. 使用goto语句。尽管goto要尽量少用。break语句只会影响它的最内层的循环，要想立即从深层嵌套的循环中退出可以goto：  
while (condition1) \{  
while (condition2) \{  
while (condition3) \{  
if (disaster)  
goto quit;  
\}  
\}  
\}  
quit: ;  
  
2. 要避免使用goto，可以当希望退出所有循环时设置一个状态标志，但这个标志要在没个循环中都进行测试：  
enum \{ EXIT, OK\} status;  
...  
status = OK;  
while (status == OK && condition1) \{  
while (status == OK && condition2) \{  
while (condition3) \{  
if (disaster) \{  
status = EXIT;  
break;  
\}  
\}  
\}  
\}  
  
3. 也可以将所有的循环都放在一个单独的函数里，当灾难降临到最内层的循环时，可以使用return语句离开这个函数。  
  
**goto仅能在一个函数内实现跳转；要实现在多层函数调用间实现跳转**，参考文章 [setjmp和longjmp函数][setjmp_longjmp]

[http_www.cnblogs.com_yc_sunniwell_archive_2010_07_14_1777431.html]: http://www.cnblogs.com/yc_sunniwell/archive/2010/07/14/1777431.html
[setjmp_longjmp]: http://blog.csdn.net/u013074465/article/details/45932127