前言
const 在 C++ 中很重要,也很基础,在实际编码中以及面试中都会被问到。下面做些总结,仅仅从我自己的角度出发,因为 const 本身已经被很多人都做了非常透彻的总结了。
内容
const 修饰变量
const 修饰的对象必须在初始化的时候赋值。
const int a; // 错误,编译器提示:常量变量“a”需要初始值设定项
const int b = 2; // 正确
const 修饰的对象在初始化之后,不能被赋值。
const int a = 2;
a = 3; // 错误,编译器提示:表达式必须是可修改的左值,a 不能给常量赋值
如果不存在指针或者引用符号,const 修饰符和类型的顺序可以互换。
const int a = 2;
int const b = 2;
const 和指针
const 的指针不一定需要在初始化的时候赋值,它指向的对象是可以修改的。
const int* a;
const int*
可以指向一个常量的 int
,或者普通的 int
。
const int* a;
const int b = 2;
int c = 2;
a = &b; // 可以改变 a 指向的对象
a = &c; // 可以改变 a 指向的对象
c = 4; // 通过 c 来改变 a 指向的对象的值是合法的
*a = 4; // 错误,编译器提示:表达式必须是可修改的左值,a 不能给常量赋值
对于数组, const int[]
。
const int a[] = { 1,2 ,3 };
a[1] = 2; // 错误,编译器提示:表达式必须是可修改的左值,a 不能给常量赋值
int* const
可以指向一个普通的 int
指针,且它必须被初始化。它不能指向一个 const int
。
int b = 2;
int* const a = &b;
*a = 4;
const int c = 3;
int* const d = &c; // "const int *" 类型的值不能用于初始化 "int *const" 类型的实体
int e = 5;
a = &e; // 错误,编译器提示:表达式必须是可修改的左值,a 不能给常量赋值
const int* const
可以指向一个普通的 int
指针或者 const int
指针,且它必须被初始化。它的值和指向的值都不能通过它修改。
int b = 2;
const int* const a = &b;
const 修饰函数
const 在函数中可以出现的位置,返回值、参数,以及修饰函数本身。
const int func(const int& input) const;
返回值可能的用法:
class ReturnValue {
public:
const int& returnIntValue() { return value; }
ReturnValue(int inputValue) { value = inputValue; }
private:
int value;
};
int main()
{
ReturnValue rv(10);
int a = rv.returnIntValue();
const int b = rv.returnIntValue();
int& c = rv.returnIntValue(); // 错误,无法从“const int”转换为“int &”
const int& d = rv.returnIntValue();
}
参数的行为,可以参考 const 修饰变量。
const 修饰的成员函数为了保护成员变量,要求const 函数不能修改成员变量,否则编译会报错。
class ReturnValue {
public:
ReturnValue(int inputValue) { value = inputValue; }
void changeValue() { value++; }
void changeValue() const { value++; } // 错误:由于正在通过常量对象访问“value”,因此无法对其进行修改
int& returnIntValue() { return value; }
int& returnIntValue() const { return value; } // 错误:“return”: 无法从“const int”转换为“int &”
private:
int value;
};
引用
引用必须被初始化。
int& c; // 错误:“c”: 必须初始化引用
引用可以被重新赋值。
int a = 2;
int& b = a;
int c = 4;
b = c;
参考
其他博主:
C++ const 详解