编译器对代码的检查

来源:互联网 发布:华为视频会议软件下载 编辑:程序博客网 时间:2024/05/16 05:38

1.C++是静态语言,在编译阶段进行错误检查,对于动态语言来说,他们在执行阶段进行错误检查。对于编译器的检查主要包含三个方面:

语法检查

类型检查

声明检查

对于代码而言,时刻想着编译器的行为,想着编译器会如何如何,编译器与语言同行;另一方面而言,编译器要与C++最新标准保持一致,对于最新的C++2011标准,对编译器也提出了要求,C++2011标准增加的一些新的语言,在VS2010上无法编译成功,典型的一个例子就是C++2011标准中提出了使用花括号初始化以及赋值对象变量的方式,在VS2010编译器中无法编译通过,类似的一些编译器与语法标准不匹配的可能要特别留意。


2.预处理器的工作是进行相关替换:(1)对于头文件的替换(2)对于条件编译的预处理(3)对于宏的替换(4)对于const对象的常量替换工作

3.编译过程

4.汇编过程

5.连接过程:链接成可执行文件


6.当然对于编程过程中的各类BUG,编译器不能检查功能性BUG,进行判断算法的正确与否,但可以对代码形式进行检查。但编译器并不是所有的错误都能检查,需要程序员自己在写代码的过程中利用经验,避免一些编译器无法检查出来的错误,但对程序的执行产生错误的一些编码行为:

(1)对于变量的未定义,此时变量可能含有不确定值,对不确定值变量的访问和拷贝是会带来错误

(2)对于指针而言,访问以及拷贝无效指针,访问未指向任何对象的指针,将带来错误。

(2)对于引用而言,必须初始化;对于指针而言,不一定非要初始化,默认初始化中块作用域内定义的指针没有初始化,将有一个不确定的值,而访问未初始化的指针将引发无法预计的后果。

(2)对于指针而言:初始化指针,指针值就是地址,指向特定类型的对象,指针值:(1)指向某个对象(2)指向紧邻对象所占空间的下一个位置(3)nullptr空指针(4)无效指针

(3)对于带符号类型的变量值溢出时将会带有一个不确定的值。

(4)修改const对象将引发错误,它的值在程序运行过程中是不能改变的,故对于const对象而言,必须初始化,可以使用任意复杂的表达式初始化,可以编译初始化(常量表达式),也可以在运行时求值初始化。

(5)……

0 0
原创粉丝点击