一个C++程序编译失败引发的思考 - feellin的专栏 - CSDN博客

来源：百度文库编辑：神马文学网时间：2024/04/19 09:24:11

一个C++程序编译失败引发的思考收藏
昨天同事写一程序，里面一行std::map> oFuzzyMap;报错，而改成std::map > oFuzzyMap;让他很迷惑。为什么一定要在右边的">"中间加空格才行呢。其实，且不说《C++ primer》里面有提到这点，其实从编译的角度来说，是必然会引发问题，导致编译不通过的。因为编译时，词法分析的时候，会遵从贪心法则，就是扫描器尽量往前扫描，直到遇到一个不能和前面字符组成词为止。也就是说，">>"可以当成一个词（右移操作符），就不会将">>"当成两个词。而词法分析时">>"被当成一个右移操作符，在语法分析阶段，就会找不到与前面的"<"号相匹配的词，从而引发编译错误。同事问，那为什么在词法分析时"<>"不能被配对成一个词呢？其实且不说词法分析是顺序扫描，中间有其他字符，会将这两个隔成两个词。"<"与">"跟其他括号一样，必须是两个词法单元，才能在语法分析时被配对。而且，"<"与">"在语法分析时，还具有不同的优先级关系。是不能被配对成一个词法单元的。
又想起去年看到过的一个C++程序：
这个程序编译后运行，结果是什么呢？初看时会让人纠结，编译运行后，得到结果：
可是这又为什么呢？为什么那不是一句变量的声明语句呢？其实再从编译的角度想想，也是必然的。在语义扫描时，进入一个程序块，就会产生一个对应的符号表，在编译器语义分析到main函数里面时，其符号表链是这样子的：
若在main函数中有语句块，又会再生成一个符号表，挂到链上去。在分析vector foo;这句时，编译器以从里向外的顺序在符号表链中找各个标识符的语义信息，找到之后就开始找下一个标识符，因此，stl里面的vector就被shadow了，编译器只会认为它是一个变量。同理，UINT4也是被覆盖了。所以，那语句就被解释成operator > ( operator<(vector, UINT4), foo );所以，像以下程序中，类型的声明是会被覆盖的，
结果为：
以前看编程的书，总说什么变量名覆盖，严谨来说，其实是标识符覆盖。如果是团队合作写代码，一定要遵循命名规范，以免因为这种标识符覆盖，写出执行起来让人莫名其妙的程序。当初学C++，就记住了《C++ primer》里面提到的当模板两个右尖括号在一起时，中间要加空格。就记住了，也没深究。后来痴迷过编译器，倒是没想到能够用学到的编译原理来解释这些问题。昨天被些个问题一带，自已倒是豁然开朗。本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/feellin/archive/2010/11/26/6037612.aspx

一个C++程序编译失败引发的思考 - feellin的专栏 - CSDN博客 Android编译环境配置 - vrix的专栏 - CSDN博客程序为什么要模块化 - dadalan的专栏 - CSDN博客 VC++ 安装程序制作 - zhongyhc的专栏 - CSDN博客 C语言宏的学习： - henry19850318的专栏 - CSDN博客 C语言宏的学习： - henry19850318的专栏 - CSDN博客异常处理 - [C++] - guomei的专栏 - CSDN博客 C Recommend Book List - ehui928的专栏 - CSDN博客 C语言字符串函数大全 - amossavez的专栏 - CSDN博客 javacard mask.c 文件结构 - tccth4091的专栏 - CSDN博客 baozhengw的专栏 - CSDN博客 gcc编译c语言中内嵌汇编 - fifan的专栏 - CSDNBlog C/C++编译的程序占用内存的划分调试游戏程序的学问 - 水上漂的专栏 - CSDN博客小细节大问题——程序的效率 - winnie的专栏 - CSDN博客如何从程序集中加载及卸载插件 - BearTang的专栏 - CSDN博客程序员，当你写程序写累了怎么办。 - 王福朋的专栏 - CSDN博客在基于对话框程序中使用WM_KICKIDLE消息 - ruo_gu的专栏 - CSDN博客用C++写Java Style程序 - 薛笛的专栏 - CSDN博客技术就是一个大大的迷宫 - 思考-jinxfei - CSDN博客 C-Free4.1专业版注册码破解 - xiufeng_wang的专栏 - CSDN博客 keil c编译器错误与解决方法 - babylon_0049的专栏 - CSDN博客 AGPS简介 - kv110的专栏 - CSDN博客 OpenMAX简介 - shenbin1430的专栏 - CSDN博客