C/C++中指针和引用之相关问题研究
一、基本知识
指针和引用的声明方式：
声明指针：char* pc;
声明引用：char& rc = 0;
它们的区别：
①从现象上看，指针在运行时可以改变其所指向的值，而引用一旦和某个对象绑定后就不再改变。这句话可以理解为：指针可以被重新赋值以指向另一个不同的对象。但是引用则总是指向在初始化时被指定的对象，以后不能改变，但是指定的对象其内容可以改变。
②从内存分配上看，程序为指针变量分配内存区域，而不为引用分配内存区域，因为引用声明时必须初始化，从而指向一个已经存在的对象。引用不能指向空值。
③从编译上看，程序在编译时分别将指针和引用添加到符号表上，符号表上记录的是变量名及变量所对应地址。指针变量在符号表上对应的地址值为指针变量的地址值，而引用在符号表上对应的地址值为引用对象的地址值。符号表生成后就不会再改，因此指针可以改变指向的对象（指针变量中的值可以改），而引用对象不能改。这是使用指针不安全而使用引用安全的主要原因。从某种意义上来说引用可以被认为是不能改变的指针。
④不存在指向空值的引用这个事实意味着使用引用的代码效率比使用指针的要高。因为在使用引用之前不需要测试它的合法性。相反，指针则应该总是被测试，防止其为空。
⑤理论上，对于指针的级数没有限制，但是引用只能是一级。如下：
int** p1; // 合法。指向指针的指针
int*& p2; // 合法。指向指针的引用
int&* p3; // 非法。指向引用的指针是非法的
int&& p4; // 非法。指向引用的引用是非法的
注意上述读法是从左到右。
程序1：
#include "stdio.h"
int main(void)
{
// 声明一个char型指针pc，且让它指向空值
char* pc = 0;
char a = 'a';
// 声明一个引用rc，且让它引用变量a
char& rc = a;
printf("%d, %c\n", pc, rc);
char *pc2;
// 声明一个指针，但可以不初始化
pc2 = pc;
// char& rc2;
// 上面语句编译时，会产生如下错误：
// error C2530: 'rc2' : references must be initialized
// 即，应用必须初始
相关文档：
<<ISO/ANSI C标准译文与注解 C/C++预处理部分>>
内容简介：本文档完整翻译了C标准(99版)中预处理和相关章节的内容，并在许多必要之处附加了注解和程序示例，以帮助读者理解标准原文，同时制作了详细的中英文索引备查。
译者：胡彦
出处：http://blog.csdn.net/huyansoft
如果转载，请保留译者和出处信息，� ......
自己写的C/C++编译器Doctors[软件+文档]
http://blog.csdn.net/huyansoft/archive/2009/08/20/4464772.aspx
更新版本1.0.1：该版本解决了之前1.0.0版本中找不到链接库libc.lib的问题，以及IDE下点击Project菜单出现的BUG。下载地址：http://download.csdn.net/source/1597132
Doctors编译器内部实现
For version 1.0.1 ......
强制类型转换是通过类型转换运算来实现的。其一般形式为： (类型说明符) (表达式) 其功能是把表达式的运算结果强制转换成类型说明符所表示的类型。例如： (float) a 把a转换为实型(int)(x+y) 把x+y的结果转换为整型在使用强制转换时应注意以下问题：
1.类型说明符和表达式都必须加括号(单个变量可以不加括号)，如把(int) ......
VS2005中检测和更正 C/C++ 代码缺陷
2006-11-26 15:55
VS2005中提供的检测方法:
1 IDE（集成开发环境）集成
2 #pragma 支持
3 批注支持
4 作为签入策略的一部分运行分析工具
5 Team System 与 Team Build 的集成
6 命令行支持
一 代码分析工具用于检测常见的编码错误，例如缓冲区溢出、内存未初始化、空指针 ......
