C/C++随笔：指针与const、const数组

一、指针是const：

表示一旦得到了某个变量的地址，便不能再指向其他变量。

示例：

#include 
using namespace std;
 
int main() {
    int x = 1;
    int *const q = &x;
    *q = 26;    // ok
    q++;        // error
 
    return 0;
}

我们可以看到的是，当指针变量是const时，这个指针将不能指向其他变量，指针指向的地址是不可改变的，但是仍然可以通过这个指针改变指向的变量的值。

二、指针所指是const：

表示不能通过这个指针去修改那个变量（但是并不能使得那个变量成为const）。

示例：

#include 
using namespace std;
 
int main() {
    int x = 1, y = 1;
    int const *q = &x;
    const int *p = &x;
 
    *q = 26;     // error
    x = 123123;     // ok
    q = &y;         // ok
 
    *p = 26;        // error
    y = 123123;     // ok
    p = &y;         // ok
 
    return 0;
}

我们可以看到无论是int const *q还是const int *p都是可行的，只要const在*前，就是同样的效果。

当所指是const时，我们可以改变指针的指向，但是不可以通过这个指针修改所指变量，不过我们直接改变那个变量还是可行的。

三、在函数传参时转换

#include 
using namespace std;
int v = 132123;
 
void f(const int *p) {
    cout << p << endl;  // 输出p
    p = &v;     // ok
    cout << &v << endl; // 输出v的地址值
    cout << p << endl;  // 会发现此时p等于v的地址
    // p = 111;   // error，const在*左边，代表指针所指是const，不允许通过这个指针修改变量的值
}
 
void f1(int *const p) {
    // p = &v;    // error，cosnt在*右边，代表指针是const，不允许修改这个指针去指向别的变量
    *p = 111;     // ok
}
 
int main() {
    int a = 15;
    f(&a);
    cout << a << endl;  // a = 15，因为传入的地址值是形参，其本身也跟普通变量一样只是“值传递”，f函数内对地址本身进行修改并不能影响到main函数里的指针变量
 
    int b = 15;
    f1(&b);
    cout << b << endl;  // b = 111，在f1函数内，我们通过指针改变了b的值
 
    return 0;
}

当要传递的参数类型的内存占用比地址更大的时候（地址的大小为4字节或者8字节，取决于编译环境），这是常用的手段。至于const在*左边还是右边，取决于你的需求，如果你需要的是既能用比较少的内存将参数传递给函数，又不想通过指针改变该变量的值，那么const在*左边；如果你需要这个指针能改变变量的值，但是又不希望这个指针被修改去指向别的变量，那么const在*右边。

四、const数组 

const int a[] = {1,2,3,4,5};

数组变量已经是const的指针了，这里的const表明数组的每个单元都是const int。

所以必须通过初始化进行赋值。

五、在函数传参时保护数组值

因为把数组传入函数时传递的时地址，所以那个函数内部可以修改数组的值。

为了保护数组不被函数破坏，可以设置参数为const。

例如：

int sum(const int a[], int length);