C++常成员

        虽然数据隐藏保证了数据的安全性，但各种形式的数据共享却又不同程度地破坏了数据的安全性。因此对于既需要共享又需要防止改变的数据应该定义为常量进行保护，以保证它在整个程序运行期间是不可改变的。这些常量需要使用const修饰符进行定义。const关键字不仅可以修饰类对象本身，也可以修饰类对象的成员函数和数据成员，分别称为常对象、常成员函数和常数据成员。
        10.1        常对象
        使用const关键字修饰的对象称为常对象，它的定义格式如下：
                <类名>const<对象名>
        或
                const<类名><对象名>
        常对象在定义时必须进行初始化，而且不能被更新。
        例如：
 

class A
{
private:
	int x, y;
public:
	A(int i, int j) :x(i), y(j) {}
};
const A a(1, 2);

        10.2        常成员函数
        使用const关键字说明的成员函数称为常成员函数，常成员函数的说明格式如下：
                <返回类型><成员函数名>(<参数表>)const;
        const是函数组成的一个组成部分，因此在函数实现部分也要带有const关键字；如果在定义常成员函数时丢失了const关键字，程序会产生错误。
        由于常对象不能被更新，因此在将一个对象说明为常对象后，通过这个常对象只能调用它的常成员函数，而不能调用其他成员函数。
        当成员函数是常成员函数时，常对象和一般对象都可以调用它；而对于一般成员函数，则只有一般对象可以调用，常对象调用它将产生错误。因此如果成员函数不能修改对象时，最好将其声明为const成员函数。
        例1        判断下列程序是否正确
 

#include<iostream>
using namespace std;
class Point
{
private:
	int X, Y;
public:
	Point(int x = 0, int y = 0) :X(x), Y(y) {}
	void move(int x, int y)
	{
		X += x;
		Y += y;
	}
	void print() const { cout << "(" << X << "," << Y << ")" << endl; }
};
int main()
{
	Point p1(1, 2);
	const Point p2(3, 4);
	p1.move(5, 6);
	p1.print();
	p2.move(7,8);
	p2.print();
	return 0;
}

        分析上面的程序可知道，该程序在编译时出错，出错的语句是p2.move(7,8);，出错的主要原因就在于p2是一个常对象，它的值不能更新，而move不是一个常成员函数，它修改了调用它的对象的数据成员的值。
        例2        分析下列程序的输出结果
 

#include<iostream>
using namespace std;
class Point
{
private:
	int X, Y;
public:
	Point(int x = 0, int y = 0) :X(x), Y(y) {}
	void print() { cout << "(" << X << "," << Y << ")" << endl; }
	void print() const{ cout << "(" << X << "," << Y << ")" << endl; }
};
int main()
{
	Point p1(1, 2);
	const Point p2(3, 4);
	p1.print();
	p2.print();
	return 0;

        上述程序中，这两个对象调用成员函数Print时，通过对象p1调用的是没有const修饰的一般成员函数，而通过对象p2调用的是const修饰的成员函数。
        这一结果表明，const关键字可以用于参与对重载函数的区分。重载的原则是：常对象调用常成员函数，一般对象调用一般成员函数。
        这里需要注意的是：当类中只有一个常成员函数时，一般对象也可以调用该常成员函数。但当两个同名的一般成员函数和常成员函数同时存在时遵循上述重载原则。
        10.3        常数据成员
        使用const说明的数据成员称为常数据成员。常数据成员同样也必须进行初始化，并且不能被更新。但常数据成员的初始化只能通过构造函数的成员初始化列表显式进行。
        例3        分析下列程序的输出结果
 

#include<iostream>
using namespace std;
class Myclass
{
private:
	const int a;
	int b;
public:
	Myclass(int x, int y) :a(x), b(y) {}
	void print() { cout << "(" << a << "," << b << ")" << endl; }
};
int main()
{
	Myclass obj1(1, 2);
	obj1.print();
	return 0;
}

        上述程序中定义了一个常数据成员a。它在构造函数中进行初始化。执行带有初始化列表的构造函数时，要注意首先执行的是初始化列表，然后才执行构造函数体。在执行初始化列表时，不管各项的排序顺序如何，都将按照类中数据成员定义的先后顺序给数据成员赋初值。而在执行构造函数体时，则是按照语句的顺序自上而下进行的。

参考《全国计算机等级考试二级教程——C++语言程序设计》