const使用辨析

const使用辨析 [原创] 楚云 2003-08-07 站长评论：C++程序设计语言作为一门兼有面向对象程序设计的优越性，又不失结构化程序设计语言的特点的语言，注定了他在相当长的一段时间内不可能被任何一门语言所取代。这点是毫无疑问的。《const使用辨析》是我们团队内部讨论一个经典的问题，现在由C++斑竹楚云整理出来并加以分析，以求能为大家对cconst的使用及其关键语法的理解有所帮助。 zengyi820 ------------------------------------------------------------------- const限定修饰符是C++学习的重点，它主要运用在函数中，用以保护它所修饰的对象，对提高代码的可靠性有很大帮助，所以“尽可能使用const”(见Effective C++)已经成为C++程序设计的一个准则。不过const的一些基本用法是初学者经常容易混淆的地方，本文就对const一些比较难理解的地方做一个介绍。 ------------------------------------------------------------------- 首先我们来关注一下const的两种写法： const int a = 1024; // 等同于 int const a = 1024; 这两种写法是等价的，一般大多数人都会选择第一种写法。不过我认为第二种写法比较好一点，我来举个例子： 看过C++ Primer的人应该记得，在讲typedef那一节的时候有这么一个语句： typedef char *cstring; const cstring cstr; // 你会理解成什么？ 我想很多人一看到上面这个声明就会认为这是const char *cstr;可惜错了，const修饰的是cstring，而cstring代表了char *不是char，也就是把指针转换为常量，即char *const cstr;(关于两者的区别我将会在下面一节说明)。 如果我们用const的第二种写法就不会产生误解了cstring const cstr;是不是很容易理解？所以我建议用第二种写法(其实我也不太习惯J)。 --------------------------------------------------------------------- 我们来看一行语句： const int p = 1024; // 如何定义一个指针来指向常量p 下面的定义对吗？ int *pi = &p // 错了，不能用一个非常量指针指向常量p const int *pi2 = &p // 毫无疑问，这是对的 让我们再看一个定义： // 是不是很奇怪？多加一个const，有什么不一样吗？ const int *const pi3 = &p 不一样，在回答这个问题之前，先解释一下const int *pi2的微妙之处: 我们可这样读这个语句，pi2是一个指针(pi2本身不是常量),它指向一个常量p(它指向的对象p是常量)。这下明白了吧!我们可以给pi2赋其它的值，使它指向不同的对象，却不能修改pi指向的对象，下面这个例子可以很好的说明这一点。 const int p = 1024;const int *pi2 = &p *pi2 = 0; // 错了，我们不可以修改p的值 int a = 2; pi2 = &a // 可以给pi2赋其它的值 注意：pi2指向的值可以不是const型，但我们仍然不能修改pi2指向的对象。 现在再来看看另一个语句int *const pi4;我们只要把上面的语句反过来想就行了，pi4是一个常量指针，我们不可以修改它，但却可以改变它指向的对象，HOHO，很简单吧!再把上面两个语句拼起来，得到一个const int *const pi3 = &p答案出来了J…… --------------------------------------------------------------------- 我们再看一个语句 const int &ir = 1024; 奇怪吗？这个语句是正确的! 原因是这样的，1024是一个不可寻址的值，对于这样的值要实现引用，编译器必需生成一个临时对象，用引用来指向这个临时对象才行。 int temp = 1024; // 给这个临时对象起个名字temp const int &ir = temp; // 引用指向的是它 那为什么一定要在int &ir前加一个const呢？假设int &ir正确，这时如果给ir赋个新值就会改变temp的值，是不是很糟糕! 所以要加上const，编译器才会认为是正确的。 --------------------------------------------------------------------- 有了上面两小节的准备，让我们来做这么一个题目： const int p = 1024; 要求用const对象p的地址来初始化一个引用？ 这道题有两个解法，先说第一种，分两步做： const int *pi = &p // pi本身是非常量指针，指向一个const对象p const int *&pp = pi; // 引用指向的是非常量指针pi 在这里，pp指向的指针pi是非常量指针，可以重新赋值，但不可以修改p的值。 再看第二种: const int *const &pi2 = &p 相信你已经能理解这个语句了^-^! --------------------------------------------------------------------- 好了，写的差不多了，再写下去怕人笑话^0^，谢谢你看完这篇小文章，希望能对你有一点帮助，呵呵!让我们共同进步。 本文的主要参考书籍是 C++ Primer