我们都知道定义一定是声明,而声明未必是定义。也就是说两者是包含与被包含的关系。但今天主要是谈一下“声明”这一概念存在的意义。
1、谁会看到声明
在生成可执行文件前,声明语句会被剔除,因此他并不存在可执行文件中。也就是说编译器会看到声明,而CPU却看不到。
2、声明的用途
综上所述,声明就是用来提前告知编译器有哪些元素(比如变量、函数等等)已存在。用一个成语来形容的话,我个人认为“瞒天过海”非常合适。既然声明语句在生成可执行文件之前会被剔除,那么他存在的作用是什么呢?这其实要涉及到编译器的一个检错标准:使用之前,必须定义。以下几种情况将会出现问题:
- 前向引用:在定义之前就要使用,比如交叉引用;
- 跨文件使用:不知道是否已经定义
- 其他情况。。。
为了解决这些问题,引出了“声明”这一概念,他负责告诉编译器这些元素(比如变量、函数等等)已被定义,先不要报错。至于这些元素是否真的已被定义,就不是声明所要解决的了,而是由定义来完成。
string的拼接操作符下节分析