c++中的常对象__2018.05.14

1.在定义对象时加关键字const，指定对象为常对象。常对象必须要有初值，如：

Time const t1(12,34,46);//定义t1是常对象

这样，在t1的整个生命周期中，对象t1中的所有数据成员的值都不能被修改。凡是希望成员不被改变的对象，可以声明为常对象。

因为常对象的成员变量是不能修改的，所有只能通过构造函数的参数初始化表对常成员进行初始化，任何其他函数都不能对常成员赋值。

注意：定义常对象时，必须同时对之初始化，之后不能再改变。

#include <iostream>

using namespace std;

class Time
{
public:
	Time(int,int,int);//声明结构成员函数
	int hour;
	int minute;
	int sec;
	void GetTime();//声明公有成员函数
};

Time::Time(int h, int m, int s)
{
	hour = h;
	minute = m;
	sec = s;
}

void Time::GetTime()
{
	cout << hour << ":" << minute << ":" << sec << ":" << endl;
}

int main()
{
	Time t0(13,26,12);
	t0.GetTime();
}

常对象：

当t1被声明为常对象时，则通过该对象只能调用它的常成员方法，而不能够调用该对象的的普通成员函数（除了有系统自动调用的隐式构造函数和析构函数）。常成员函数是常对象唯一的对外接口。

这是为了防止普通成员函数会修改常对象中的数据成员的值。有人可能会提出这样一个问题：在GetTime()函数中并没有修改常对象中数据成员的值啊，为什么也不允许呢？因为编译器要对所有不安全的因素予以拦截。只要发现调用常对象的成员函数，而该函数并没有被声明为const，就报错。

那么应该怎样访问常对象的成员方法呢？则必须将成员函数声明成常成员函数才行。

#include <iostream>

using namespace std;

class Time
{
public:
	Time(int,int,int);//声明结构成员函数
	int hour;
	int minute;
	int sec;
	void GetTime() const;//声明公有成员函数
};

Time::Time(int h, int m, int s)
{
	hour = h;
	minute = m;
	sec = s;
}

void Time::GetTime() const
{
	cout << hour << ":" << minute << ":" << sec << ":" << endl;
}

int main()
{
	Time t0(13,26,12);
	Time const t1(17,05,16);//定义常对象t1
	t0.GetTime();
	t1.GetTime();//试图调用常对象t1中的普通成员方法，非法
}

常成员函数：可以访问常对象中的数据成员，但不允许修改常对象中数据成员的值。

有时在编程时有要求，一定要修改常对象中的某个数据成员的值（例如类中有一个用于计数的变量count，其值应当能不断变化），c++考虑到实际编程时的需要，对此作了特殊的处理，对该数据成员声明为mutable，如 mutable int count ;

#include <iostream>

using namespace std;

class Time
{
public:
	Time(int,int,int,int);//声明结构成员函数
	int hour;
	int minute;
	int sec;
	mutable int count;
	void GetTime() const;//声明公有成员函数
};

Time::Time(int h, int m, int s,int c)
{
	hour = h;
	minute = m;
	sec = s;
	count = c;
}

void Time::GetTime() const
{
	cout << hour << ":" << minute << ":" << sec << "**" <<count<< endl;
}

int main()
{
	Time t0(13,26,12,0);
	Time const t1(17,05,16,1);//定义常对象t1
	t1.count = 10;
	t0.GetTime();
	t1.GetTime();//试图调用常对象t1中的普通成员方法，非法
}

我们可以看到，t1虽然被声明为常对象，但经过mutable修饰后，count的值一样是可以修改的。

如果在类体中定义了常数据成员hour：

const int hour;    //定义hour为常数据成员

不能采用在构造函数中对常数据成员赋初值的方法，下面的方法时非法的：

Time::Time(int h)

{hour=h;}    //非法，不能对之赋值。

因为常数据成员是不能被赋值的。

构造函数只能用参数初始化表对常数据成员进行初始化。

Time::Time(int h):hour(h){}    //通过参数初始化表对常数据成员hour初始化

声明常成员函数的一般形式为：

类型名+函数名（参数表）const