本小节主要介绍const修饰符在函数声明以及作为形参和变量等地方的具体含义。
参考链接:
0. 什么是const?
C++中,我们通过#define 和 const关键字来定义常量,即常类型是指使用类型修饰符const说明的类型,常类型的变量或对象的值是不能被更新的。(指针的方式有特殊,后续说明)
1. 为什么使用const?
const 推出的初始目的,正是为了取代预编译指令,消除它的缺点,同时继承它的优点。
2. const使用场景和作用
2.1 const指针
a. 指向const的指针,有2种写法【此时p所指向的内容无法改变,但是p自身是可以改变的,且可以不初始化】:
int const* p; //2种方式下,p可以不初始化
const int* p;
b. const指针【此时指针自己无法改变,但是可以通过访问指针的内容并改变其内容,必须初始化】
int a = 9;
int* const p = &a; //此时p必须初始化
c. 指向const的const指针,同样有2种方式【此时指针自身和指向的内容都无法修改,且必须初始化】
int a = 9;
const int* const p = &a;
int const* const p = &a;
2.2 const函数
const修饰函数有两种形式:函数名前与函数名后,意义也大不相同。
a. const位于函数名前面,表示函数返回值是const常量
const int f(int a )
{
int p = 3;
return p;
}
int main()
{
int x = 3;
const int p = f(x);
p = 5;//错误,无法修改p
}
b. const位于函数名后面,表示该函数是常函数,函数不会改变成员变量的值,一般作为只读函数,当成员函数被声明为const时,如果试图修改对象的数据,编译器将视为错误。
class base
{
public:
bool IsActive () const
{
m_IsActive = true; //错误,const修饰后,无法修改成员变量
return m_IsActive;
}
private:
bool m_IsActive = false;
};
2.3 const对象
如果声明了一个指向const对象的指针,则通过该指针只能调用const方法(成员函数)
class Basetest
{
public:
void Configure(int input)
{
param1 = input;
}
int show() const
{
return param1;
}
private:
int param1;
};
int main()
{
Basetest* ptest1 = new Basetest;
const Basetest* ptest2 = new Basetest;
//ptest1可以使用所有成员函数
ptest1->Configure(2);
ptest1->show();
//ptest2是const对象指针,只能使用声明为const的成员函数,如show()
ptest2->show();
}
ptest1可以使用所有成员函数,而ptest2是const对象指针,只能使用声明为const的成员函数,如show()
1. const对象只能访问const成员函数,而非const对象可以访问任意的成员函数,包括const成员函数。//ptest1 ptest2区别
2. const对象的成员是不可修改的,然而const对象通过指针维护的对象却是可以修改的。//上图红线部分
3. const成员函数不可以修改对象的数据,不管对象是否具有const性质.它在编译时,以是否修改成员数据为依据,进行检查。
4. 然而加上mutable修饰符的数据成员,对于任何情况下通过任何手段都可修改,自然此时的const成员函数是可以修改它的。
2.4 const参数
1、如果参数作输出用,不论它是什么数据类型,也不论它采用“指针传递”还是“引用传递”,都不能加const 修饰,否则该参数将失去输出功能。
2、const 只能修饰输入参数:如果输入参数采用“指针传递”,那么加const 修饰可以防止意外地改动该指针,起到保护作用。
a、对于非内部数据类型的输入参数,应该将“值传递”的方式改为“const 引用传递”,目的是提高效率。例如:
void Func(A a) {}//值传递需要大量复制操作
void Func(const A &a){}//const引用传递,提升性能,同时保证安全
b、对于内部数据类型的输入参数,不要将“值传递”的方式改为“const 引用传递”。否则既达不到提高效率的目的,又降低了函数的可理解性。例如:
void Func(int a) {}//常规写法
void Func(const int &a){}//没有意义
2.5 const返回值
a、如果给以“指针传递”方式的函数返回值加const 修饰,那么函数返回值(即指针)的内容不能被修改,该返回值只能被赋给加const 修饰的同类型指针。例如:
const char * GetString(void);
char *str = GetString();//语句将出现编译错误:
const char *str = GetString();//正确的用法
b、如果返回值不是内部数据类型,将函数A GetA(void) 改写为const A & GetA(void)的确能提高效率。但此时千万千万要小心,一定要搞清楚函数究竟是想返回一个对象的“拷贝”还是仅返回“别名”就可以了,否则程序会出错。
函数返回值采用“引用传递”的场合并不多,这种方式一般只出现在类的赋值函数中,目的是为了实现链式表达。
class A
{
A & operate = (const A &other); // 赋值函数
};
A a, b, c; // a, b, c 为A 的对象
a = b = c; // 正常的链式赋值
(a = b) = c; // 不正常的链式赋值,但合法