C++的修饰符const（精华版）

---

1 概述

1.1 定义

• 关键字const用来修饰变量，其修饰变量的种类主要有：常量、常量指针和指针常量三种。

1.2 作用

• const使得被修饰的变量不能被改变。
• 在函数中const可以使函数中被修饰的形参不会被改变。
• 在函数中const和&（实参传入）结合可以减少不必要的内存，同时不会改变实参。

1.3 头文件

• #include <iostream>

1.4 编译

• 预编译指令只是对值进行简单的替换，不能进行类型检查。
• 编译器通常不为普通的const常量分配内存，而是将它们保存在符号表中，使得常量成为一个编译期间的常量，没有了存储与读内存的操作，提高了它的利用效率。

---

2 修饰变量的种类

2.1 总结

• 常量不能被改变，不是常量的指针可以被改变。

2.2 常量

2.2.1 作用

• const使得变量不能被改变。

2.2.2 代码讲解

• 常量需要初始化。（1）
• 不能改变变量。（2）
• 两种相同的写法。（3）
  

2.3 常量指针

2.3.1 作用

• 使得指针所访问的对象不能被改变。

2.3.2 代码讲解

• 常量指针可以不用初始化。（1）
• 指针可以被改变。（2） 常量指针的意思是：本身是指针，指针访问的对象是常量，故指针可以被改变。
• 不能直接改变其访问的对象。（3）
• 可以间接改变其访问的对象。（4） 但一般不会这样做。
• 两种相同的写法。（5）
  

2.4 指针常量

2.4.1 作用

• 使得指针不能被改变。

2.4.2 代码讲解

• 指针常量需要初始化。（1）
• 不能改变指针。（2） 指针常量的意思是：指针是常量，故不能改变指针。
• 可改变其访问的对象。（3）
  

---

3 修饰函数的变量

3.1 总结

• copy一份主函数实参的值作为函数的形参。
• 防止函数的、被修饰的形参被改变。
• 和2 修饰变量的种类的理解一样。

3.2 值传入

3.2.1 常量传入

3.2.2 常量指针传入

3.2.3 指针常量传入

3.3 实参传入（&）

3.3.1 总结

• 直接利用实参，减少不必要的内存。
• 防止被修饰的实参被改变。
• 和值传入的唯一区别就是：实参传入不会copy一份主函数的实参，而是直接地去利用主函数的实参，减少不必要的内存。

3.3.2 代码讲解

• 下面只给出常量传入函数的例子，剩下两种的情况理解一样。
  
  

3.4 总代码

#include <iostream>
using namespace std;

void tesk_const(const int a_c)
{
    //a_c = 0; //# error！不能改变变量
}

void tesk_const_ptr(const int* p_c)
{
    //(*p_c) = 0; //# error！不能改变常量指针所访问的对象
}

void tesk_ptr_const(int* const c_p)
{
    //c_p = NULL; //# error！不能改变指针常量
}

void tesk_const_actual(const int &a_c)
{
    //a_c = 0; //# error！不能改变变量
}

int main()
{
    //@ 常量
    //@brief (1) 常量需要初始化 (2) 不能改变变量 (3) 两种相同的写法
    const int a1_c = 1; //# (1)
    //int const a1_c; //# error！，(1)
    //a1_c = 2; //# error！(2)
    //int const a1_c = 1; //# ok，(3)

    //@ 常量指针
    //@brief (1) 常量指针可以不用初始化 (2) 常量指针的意思是：本身是指针，指针访问的对象是常量，故指针可以被改变 (3) 但其不能直接改变其访问的对象 (4) 可以间接改变其访问的对象，但一般不会这样做 (5) 两种相同的写法
    //const int* p_c; //# ok，(1)
    int n = 2;
    const int* p1_c = &n; //（*p1_c = 2）
    p1_c = &a1_c; //# ok，(2)（*p1_c = 1）
    //(*p1_c) = 3; //# error！(3) 
    n = 3; //# ok，(4)（*p1_c = 3）
    //int const *p_c2; //# (5) 一般不这样写

    //@ 指针常量
    //@brief (1) 指针常量需要初始化 (2) 指针常量的意思是：指针是常量，故不能改变指针 (3) 但可改变其访问的对象
    int* const c_p = &n; //# (1)（*c_p = 3）（n的定义在上面）
    //c_p = NULL; //# error！(2)
    *c_p = 4; //# (3)

    //@ 将常量传入函数（值传入）
    tesk_const(a1_c);

    //@ 将常量指针传入函数（值传入）
    tesk_const_ptr(p1_c);

    //@ 将量指针传入函数（值传入）
    tesk_ptr_const(c_p);

    //@ 将常量传入函数（实参传入）
    //@brief 和值传入的唯一区别：不会copy主函数的实参，而是直接利用它
    tesk_const_actual(a1_c);

    return 0;
}

---

4 实例分析

4.1 ORB-SLAM2源码

• Tracking线程中的GrabImageStereo(a,b,c)函数
  
  （1）实参传入&。左右图像imRectLeft和imRectRight是较大的矩阵，实参传入而不是copy一份，减少了创造不必要的内存。但需要注意一个问题：由于是实参传入，如果在函数中改变实参，那么在主函数里的实参也会受到影响，为了减少不必要的内存同时不改变左右图像imRectLeft、imRectRight以及timestamp，则除了要实参传入，还需要const对变量进行修饰，就出现了下面的（2）。
  （2）函数的参数均为常量。保护imRectLeft和imRectRight左右图像这两个矩阵不会因函数而改变，保护timestamp时间戳不会因函数而改变。

---

5 总结

• 我好菜。