作用
- 修饰变量,说明该变量不可以被改变。如果修饰全局变量,还表示内部链接(internal linkage)
- 修饰指针,分为指向常量的指针(pointer to const)和自身是常量的指针(常量指针,const pointer);
- 修饰引用,指向常量的引用(reference to const),用于形参类型,即避免了拷贝,又避免了函数对值的修改;
- 修饰成员函数,说明该成员函数内不能修改成员变量;
相关连接C++ const修饰函数、函数参数、函数返回值
// 类
class A
{
private:
const int a; // 常对象成员,只能在初始化列表赋值
public:
// 构造函数
A() : a(0) { };
A(int x) : a(x) { }; // 初始化列表
// const可用于对重载函数的区分
int getValue(); // 普通成员函数
int getValue() const; // 常成员函数,不得修改类中的任何数据成员的值
};
void function()
{
// 对象
A b; // 普通对象,可以调用全部成员函数、更新常成员变量
const A a; // 常对象,只能调用常成员函数
const A *p = &a; // 指针变量,指向常对象
const A &q = a; // 指向常对象的引用
// 指针
char greeting[] = "Hello";
char* p1 = greeting; // 指针变量,指向字符数组变量
const char* p2 = greeting; // 指针变量,指向字符数组常量(const 后面是 char,说明指向的字符(char)不可改变)
char* const p3 = greeting; // 自身是常量的指针,指向字符数组变量(const 后面是 p3,说明 p3 指针自身不可改变)
const char* const p4 = greeting; // 自身是常量的指针,指向字符数组常量
}
// 函数
void function1(const int Var); // 传递过来的参数在函数内不可变
void function2(const char* Var); // 参数指针所指内容为常量
void function3(char* const Var); // 参数指针为常量
void function4(const int& Var); // 引用参数在函数内为常量
// 函数返回值
const int function5(); // 返回一个常数
const int* function6(); // 返回一个指向常量的指针变量,使用:const int *p = function6();
int* const function7(); // 返回一个指向变量的常指针,使用:int* const p = function7();
避免返回值作为左值使用(*function6() = 123)
#include <iostream>
using namespace std;
class A {
private:
int i;
public:
A(){i=0;}
int & get(){
return i;
}
};
void main(){
A a;
cout<<a.get()<<endl; //数据成员值为0
a.get()=1; //尝试修改a对象的数据成员为1,而且是用函数调用表达式作为左值。
cout<<a.get()<<endl; //数据成员真的被改为1了,返回指针的情况也可以修改成员i的值,所以为了安全起见最好在返回值加上const,使得函数调用表达式不能作为左值
}
特性
- const对象不能调用该对象的非const函数(无法在不加const_cast的情况下把const指针赋值位非const指针)
obj - const; print-非const
obj.print(); 相当于print(&obj1);
即把当前的对象obj的this指针传递到print()函数。如果obj为const对象,
传递的是const this 指针,而print接受的是this指针。无法把const this
指针转化为this指针,但反过来可以。
- const对象必须列表初始化,static const的整型和枚举可以直接在头文件初始化
- const 关键字不能与 static 关键字同时修饰函数,因为static 关键字修饰静态成员函数,静态成员函数不含有 this
指针,不能实例化,而const 成员函数必须具体到某一实例;
const与宏常量的区别
- const常量有数据类型,宏常量没有数据类型,所以没有类型的检查,是不安全的;
- const可以进行调试,宏不可以调试,无法检查错误。
与constexpr的区别
- constexpr必须在编译的时候就确定为常量,其类型必须是字面类型 (LiteralType)
int a = 5;
int b[a];
- const修饰的变量侧重于read-only,可以是编译时初始化(整型),可以是运行时初始化。
- static const的整型和枚举可以直接在头文件初始化;static constexpr(默认inline)可以直接在头文件初始化;c++17中非static成员变量都可以直接在定义的时候初始化