1、定义常对象
定义:在定义对象时加关键字const,指定对象为常对象。
Time const t1(12, 34,46);//定义t1是常对象
凡希望保证数据成员不被改变的对象,可以声明为常对象
定义常对象的一般形式为:
类名 const 对象名[(实参表)];
也可以把const写在最左面:
const 类名 对象名[(实参表)];
两者等价。
(说明:如果一个对象被声明为常对象,则通过该对象只能调用它的常函数成员,而不能调用该对象的普通成员函数(除了由系统自动调用的隐式的构造函数和析构函数)。
const Time t1(10,15,36);//定义常对象t1
t1.get_time();//企图调用常对象t1中的普通成员函数,非法
为了防止普通成员函数会修改常对象中数据成员的值。
现在, 编译系统只检查函数的声明,只要发现调用了常对象的成员函数,而且该函数未被声明为const,就报错。
那么就将该成员函数声明为const即可:
void get_time() const;//将函数声明为const
//表示get_time是一个const型函数,即常成员函数
常成员函数可以访问常对象中的数据成员,但不允许修改常对象的数据成员的值。
修改常对象某个数据成员的值:
用mutable.
mutable int hight;//修改hight的值
2、定义常对象成员
1、常数据成员
注意:只能通过构造函数的参数初始化对常数据成员进行初始化,任何其他函数都不能对常数据成员赋值。
const int hour;//定义hour为常数据成员
//不能采用在构造函数中对成数据成员赋值,下面的是非法的
Time::Time(int h)
{hour=h;}
//应该写成下面的形式
Time::Time(int h):hour(h){}//通过参数初始化表对常成员hour初始化
构造函数只能用参数初始化表对长函数成员进行初始化。
2、常成员函数
如果将成员函数声明为常成员函数,则只能引用本类中的数据成员,而不能修改他们。
声明常成员函数的一般格式为:
类型名 函数名(参数表) const
数据成员 | 非const的普通成员函数 | const成员函数 |
非const的普通数据成员 | 可以引用,也可以改变值 | 可以引用,但不可以改变值 |
const数据成员 | 可以引用,但不可以改变值 | 可以引用,但不可以改变值 |
const对象 | 不允许引用 | 可以引用,但不可以改变值 |
注意:常成员函数不能调用另一个非const成员函数。
3、指向对象的常指针
将指针变量声明为const型,这样指针变量始终保持为初值,不能改变。
Time t1(10,12,15),t2;//定义对象
Time *const ptr1;//const位置在指针变量前面,指定ptr1是常指针变量
ptr1=&t1;//ptr1指向对象t1,此后不能改变指向
ptr1=&t2;//错误,ptr1不能改变指向
定义指向对象的常指针变量的一般形式为:
类名 *const 指针变量名;
合并上面2、3行为:
Time *const ptr1=&t1;//ptr1指向t1
注:指向对象的常指针变量的值不能改变,即始终指向同一个对象,但可以改变其所指向对象(如t1)的值。
4、指向常对象的指针变量
const char*ptr;//指向常变量的指针变量ptr
定义指向长变量的指针变量的一般形式为:
const 类型名 *指针变量名;
若,如果一个变量已被声明为常变量,只能用指向常变量的指针变量指向它,而不能用一般的(指向非const型变量的)指针变量去指向它。
const char c[]="boy";//定义const型的char数组
const cahr *p1;//定义p1指向const型的char变量的指针变量
p1=c;//合法,p1指向常变量
char *p2=c;//非法,p2不是指向常变量的指针变量
//指向常变量的指针不仅可以指向常变量还可以指向未被声明为const的变量,但不能通过该指针改变该变量的值。
char c1='a';//定义字符变量c1,它为被声明为const
const char *p;//定义一个指向常变量的指针变量p
p=&c1;//使p指向字符变量c1
*p='b';//非法,不能通过p改变变量c1的值
c1='b';//合法,没有通过p访问c1,c1不是常变量
形参 | 实参 | 合法否 | 改变指针变量指向的变量的值 |
指向非const型变量的指针 | 非cosnt变量的地址 | 合法 | 可以 |
指向非const型变量的指针 | const变量的地址 | 非法 | —— |
指向const型变量的指针 | const变量的地址 | 合法 | 不可以 |
指向const型变量的指针 | 非const变量的地址 | 合法 | 不可以 |
当希望在调用函数时对象的值不被修改,就应当把形参定义为指向常对象的指针变量,同时用对象地址作实参(对象可以时const或非const型)
const Time *p=&t1;//定义指向常对象的指针变量p,并指向对象t1
p=&t2;//p改为指向t2,合法
5、对象的常引用
一个变量的引用就是变量的别名,把引用声明为const,即常引用。
//使用对象的引用,输出时间(时、分、秒)
#include <iostream>
using namespace std;
class Time
{
public:
Time(int,int,int);
int hour;
int minute;
int sec;
};
Time::Time(int h,int m,int s)//定义构造函数
{
hour=h;
minute=m;
sec=s;
}
void fun(Time &t)//形参t是Time类对象的引用
{t.hour=18;}
int main()
{
Time t1(10,13,56);//t1是Time类对象
fun(t1);//实参是Time类对象,可以通过引用来修改实参t1的值
cout<<t1.hour<<endl;
return 0;
}
//输出的值为18
//如果不想修改实参t1的值,把fun函数的形参t声明为const
void fun(const Time &t);
6、小结
形式 | 含义 |
Time const t1; | t1是常对象,其值任何情况下都不能改变 |
void Time ::fun ()const: | fun是Time类中的常成员函数,可以引用,但不能修改本类中的数据成员 |
Time *const p; | p是指向Time类对象的常指针变量,p的值(p的指向)不能改变 |
const Time *p; | p是指向Time类常对象的指针变量,p指向的类对象的值不能通过p来改变 |
const Time &t1=t; | t1是Time类对象t 的引用,二者指向同一存储空间,t的值不能改变 |