使用const提高函数的健壮性

     看到const关键字，C++程序员首先想到的可能是const常量。这可不是良好的条件
反射。如果只知道用const定义常量，那么相当于把火药仅用于制作鞭炮。const更大的
魅力是它可以修饰函数的参数、返回值，甚至函数的定义体。
    const是constant的缩写，“恒定不变”的意思。被const修饰的东西都受到强制保
护，可以预防意外的变动，能提高程序的健壮性。所以很多C++程序设计书籍建议：“Use
const whenever you need”。

  １　用ｃｏｎｓｔ修饰函数的参数　
  如果参数作输出用，不论它是什么数据类型，也不论它采用“指针传递”还是“引
用传递”，都不能加ｃｏｎｓｔ修饰，否则该参数将失去输出功能。　
  ｃｏｎｓｔ只能修饰输入参数：　　
u 如果输入参数采用“指针传递”，那么加ｃｏｎｓｔ修饰可以防止意外地改动该指针，起
  到保护作用。　
  例如ＳｔｒｉｎｇＣｏｐｙ函数：　
　　ｖｏｉｄ　ＳｔｒｉｎｇＣｏｐｙ（ｃｈａｒ　＊ｓｔｒＤｅｓｔｉｎａｔｉｏｎ，　ｃｏｎｓｔ　ｃｈａｒ　＊ｓｔｒＳｏｕｒｃｅ）；　
其中ｓｔｒＳｏｕｒｃｅ是输入参数，ｓｔｒＤｅｓｔｉｎａｔｉｏｎ是输出参数。给ｓｔｒＳｏｕｒｃｅ加上ｃｏｎｓｔ修
饰后，如果函数体内的语句试图改动ｓｔｒＳｏｕｒｃｅ的内容，编译器将指出错误。

u 如果输入参数采用“值传递”，由于函数将自动产生临时变量用于复制该参数，该输
  入参数本来就无需保护，所以不要加ｃｏｎｓｔ修饰。　
  例如不要将函数ｖｏｉｄ　Ｆｕｎｃ１（ｉｎｔ　ｘ）　写成ｖｏｉｄ　Ｆｕｎｃ１（ｃｏｎｓｔ　ｉｎｔ　ｘ）。同理不要将
函数ｖｏｉｄ　Ｆｕｎｃ２（Ａ　ａ）　写成ｖｏｉｄ　Ｆｕｎｃ２（ｃｏｎｓｔ　Ａ　ａ）。其中Ａ为用户自定义的数据类型。　
  　
u 对于非内部数据类型的参数而言，象ｖｏｉｄ　Ｆｕｎｃ（Ａ　ａ）　这样声明的函数注定效率比
  较底。因为函数体内将产生Ａ类型的临时对象用于复制参数ａ，而临时对象的构造、
  复制、析构过程都将消耗时间。
 为了提高效率，可以将函数声明改为ｖｏｉｄ　Ｆｕｎｃ（Ａ　＆ａ），因为“引用传递”仅借用
一下参数的别名而已，不需要产生临时对象。但是函数ｖｏｉｄ　Ｆｕｎｃ（Ａ　＆ａ）　存在一个缺点：
“引用传递”有可能改变参数ａ，这是我们不期望的。解决这个问题很容易，加ｃｏｎｓｔ
修饰即可，因此函数最终成为ｖｏｉｄ　Ｆｕｎｃ（ｃｏｎｓｔ　Ａ　＆ａ）。　
 以此类推，是否应将ｖｏｉｄ　Ｆｕｎｃ（ｉｎｔ　ｘ）　改写为ｖｏｉｄ　Ｆｕｎｃ（ｃｏｎｓｔ　ｉｎｔ　＆ｘ），以便提
高效率？完全没有必要，因为内部数据类型的参数不存在构造、析构的过程，而复制也
非常快，“值传递”和“引用传递”的效率几乎相当。　
　问题是如此的缠绵，我只好将“ｃｏｎｓｔ　＆”修饰输入参数的用法总结一下，如下

所示。　
　
 对于非内部数据类型的输入参数，应该将“值传递”的方式改为“ｃｏｎｓｔ引用传
递”，目的是提高效率。例如将ｖｏｉｄ　Ｆｕｎｃ（Ａ　ａ）　改为ｖｏｉｄ　Ｆｕｎｃ（ｃｏｎｓｔ　Ａ　＆ａ）。　
 　
 对于内部数据类型的输入参数，不要将“值传递”的方式改为“ｃｏｎｓｔ引用传递”。
否则既达不到提高效率的目的，又降低了函数的可理解性。例如ｖｏｉｄ　Ｆｕｎｃ（ｉｎｔ　ｘ）　不
应该改为ｖｏｉｄ　Ｆｕｎｃ（ｃｏｎｓｔ　ｉｎｔ　＆ｘ）。　

  ２　用ｃｏｎｓｔ修饰函数的返回值　
u 如果给以“指针传递”方式的函数返回值加ｃｏｎｓｔ修饰，那么函数返回值（即指针）
  的内容不能被修改，该返回值只能被赋给加ｃｏｎｓｔ修饰的同类型指针。　
  例如函数　
　　ｃｏｎｓｔ　ｃｈａｒ　＊　ＧｅｔＳｔｒｉｎｇ（ｖｏｉｄ）；　
  如下语句将出现编译错误：　
　　ｃｈａｒ　＊ｓｔｒ　＝　ＧｅｔＳｔｒｉｎｇ（）；　
  正确的用法是　
　　ｃｏｎｓｔ　ｃｈａｒ　＊ｓｔｒ　＝　ＧｅｔＳｔｒｉｎｇ（）；　
u 如果函数返回值采用“值传递方式”，由于函数会把返回值复制到外部临时的存储单
  元中，加ｃｏｎｓｔ修饰没有任何价值。　
　例如不要把函数ｉｎｔ　ＧｅｔＩｎｔ（ｖｏｉｄ）　写成ｃｏｎｓｔ　ｉｎｔ　ＧｅｔＩｎｔ（ｖｏｉｄ）。　
　同理不要把函数Ａ　ＧｅｔＡ（ｖｏｉｄ）　写成ｃｏｎｓｔ　Ａ　ＧｅｔＡ（ｖｏｉｄ），其中Ａ为用户自定义的
数据类型。　
　如果返回值不是内部数据类型，将函数Ａ　ＧｅｔＡ（ｖｏｉｄ）　改写为ｃｏｎｓｔ　Ａ　＆　ＧｅｔＡ（ｖｏｉｄ）
的确能提高效率。但此时千万千万要小心，一定要搞清楚函数究竟是想返回一个对象的
“拷贝”还是仅返回“别名”就可以了，否则程序会出错。

 

u 函数返回值采用“引用传递”的场合并不多，这种方式一般只出现在类的赋值函数
  中，目的是为了实现链式表达。　
  例如　
　ｃｌａｓｓ　Ａ　
　｛…　
　　Ａ　＆　ｏｐｅｒａｔｅ　＝　（ｃｏｎｓｔ　Ａ　＆ｏｔｈｅｒ）；　／／　赋值函数　
　｝；　
　Ａ　ａ，　ｂ，　ｃ；　　　／／　ａ，　ｂ，　ｃ　为Ａ的对象　
　…　
　ａ　＝　ｂ　＝　ｃ；　　　／／　正常的链式赋值　
（ａ　＝　ｂ）　＝　ｃ；　　／／　不正常的链式赋值，但合法　
如果将赋值函数的返回值加ｃｏｎｓｔ修饰，那么该返回值的内容不允许被改动。上例
中，语句　ａ　＝　ｂ　＝　ｃ仍然正确，但是语句　（ａ　＝　ｂ）　＝　ｃ　则是非法的。　

 ３　ｃｏｎｓｔ成员函数　
　任何不会修改数据成员的函数都应该声明为ｃｏｎｓｔ类型。如果在编写ｃｏｎｓｔ成员函
数时，不慎修改了数据成员，或者调用了其它非ｃｏｎｓｔ成员函数，编译器将指出错误，
这无疑会提高程序的健壮性。　
以下程序中，类stack的成员函数GetCount仅用于计数，从逻辑上讲GetCount应
当为const函数。编译器将指出GetCount函数中的错误。
ｃｌａｓｓ　Ｓｔａｃｋ　
｛　
　　　ｐｕｂｌｉｃ：　
　　ｖｏｉｄ　　Ｐｕｓｈ（ｉｎｔ　ｅｌｅｍ）；　
　　ｉｎｔ　　Ｐｏｐ（ｖｏｉｄ）；　
　　ｉｎｔ　　ＧｅｔＣｏｕｎｔ（ｖｏｉｄ）　　ｃｏｎｓｔ；　／／　ｃｏｎｓｔ成员函数　
　　　ｐｒｉｖａｔｅ：　
　　ｉｎｔ　　ｍ＿ｎｕｍ；　
　　ｉｎｔ　　ｍ＿ｄａｔａ［１００］；　
｝；　
ｉｎｔ　Ｓｔａｃｋ：：ＧｅｔＣｏｕｎｔ（ｖｏｉｄ）　　ｃｏｎｓｔ　
｛　
　　＋＋　ｍ＿ｎｕｍ；　／／　编译错误，企图修改数据成员ｍ＿ｎｕｍ　
　Ｐｏｐ（）；　　／／　编译错误，企图调用非ｃｏｎｓｔ函数　
　ｒｅｔｕｒｎ　ｍ＿ｎｕｍ；　
　｝　
　ｃｏｎｓｔ成员函数的声明看起来怪怪的：ｃｏｎｓｔ关键字只能放在函数声明的尾部，大概
是因为其它地方都已经被占用了。