const关键字与数组指针

Posted bobliao

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了const关键字与数组指针相关的知识,希望对你有一定的参考价值。

目录

@
开始回顾C基础知识。C中使用指针是很危险的事情,一个不慎就会造成程序崩溃,因此对于传入函数的参数进行保护就是必须的了,特别是针对数组。

const关键字

const关键字用于将一个变量声明为只读,也就是常量,无法被修改。

const int constant = 10;//声明constant为常量的同时对它进行初始化赋值
int const constant = 10;//也可以将const放在int后面

const修饰数组

使用const来修饰数组声明了一个数组常量,是对数组里面数据的一种保护,当试图修改一个被const修饰的数组内容时,编译时会产生错误。

const int days[5] = {1,2,3,4,5};//int const days[5]一样
//想要把days[0]重新赋值为6,报错
days[0] = 6;
//Cannot assign to variable 'days' with const-qualified type 'const int [5]'

但是我们有一点要注意,是不是days里面的数据一定无法修改呢?我们做个试验:

    const int days[5] = {1,2,3,4,5};
    int * p = days;
    *p = 6;
    for (int i = 0; i < 5; ++i) {
        printf("%d
",*p++);
    }

结果:

6
2
3
4
5

所以虽然数组days被声明为只读的,但是如果通过指针去访问数组,还是可以改变数组元素的,这也就是指针的强大与易错。

const修饰指针

const修饰指针创建了一个指针常量,但是const的位置会导致这个指针常量有不同的含义。

    int days[5] = {1,2,3,4,5};
    const int *p1;//const修饰的是int,表示p1指向的变量值不可改变,指针本身可以改变
    //p1指向的值为常量
    p1 = days;
    *p1 = 6;//报错,不允许修改指针指向的值。Read-only variable is not assignable
    p1[1] = 7;//报错,不允许修改
    days[0] = 6;//允许,days不是常量
    p1++;//合法,p1这个指针本身是可以修改的,这里让其指向days的第二个元素
    
    
    int * const p2 = days;//const修饰的是p2,表示p2这个指针本身是无法修改的,但是其指向的值是可以修改的
    //这里p2本身是常量,因此声明p2的时候就要初始化,否则后面无法对p2进行初始化
    *p2 = 10;//合法,p2指向的值可以修改
    p2 = &days[1];//不合法,报错,p2是常量,因此想要修改指针的值使其指向days[1]不合法。
    //Cannot assign to variable 'p2' with const-qualified type 'int *const'

上面就说明了两种const修饰的指针常量的区别。这里有以下几点需要注意:

  • 将常量或非常量数据的地址赋值给指向常量的的指针是合法的。但是非常量数据的地址可以赋值给普通指针,而常量数据的地址就不可以赋值给普通指针。这样做只会提示不合法,却仍然可以这样操作,但最好不要这样做,数据既然数据已经被声明为常量,那么就不要试图去修改,因此指针不要这样赋值,以免修改了倡廉打个值,就像上面const修饰数组里面说的。
    double un_locked[3] = {1.2,2.3,3.1};
    const double locked[3] = {1.0,2.0,3.0};
    const double * p3 = locked;//合法
    p3 = un_locked;//合法
    p3 = &un_locked[1];//合法
    double *p4;
    p4 = un_locked;//合法
    p4 = locked;//非法,但是程序可以运行,
  • const用来修饰形式参量。C语言的传参特性这里不提,如果函数并不想修改本来的数据,一般会把相应的形式参量修饰为const的,告诉编译器这里要把传进来的指针地址当做常量来对待,不允许修改,当函数体内部想要做修改时,编译器会报错。需要注意的是并不要求传进来的参数是常量,而是编译器这样做保证函数执行过程中对源数据不会修改而已。
void foo(const int *bar);
//foo接受一个指针,并把这个指针当做常量对待
void foo1(int *bar);
//foo1声明接受一个普通指针
int main() {
    int test1[2] = {1,2};
    const int test2[2] = {3,4};
    
    foo(test1);//合法
    foo(test2);//合法
    foo1(test1);//合法
    foo1(test2);//不合法,不提倡这样做。Passing 'const int [2]' to parameter of type 'int *' discards qualifiers
}

void foo(const int *bar){
}
void foo1(int *bar){
}

用两个const修饰指针

用两个const修饰符修饰指针会使得这个指针本身既不可以更改所指向的地址,也无法修改所指向的数据。

    int days[3] = {1,2,3};
    const int * const p = days;
    
    p = &days[2];//不合法
    *p = 6;//不合法

const修饰函数本身我还没用过,碰到了再来补上。

以上是关于const关键字与数组指针的主要内容,如果未能解决你的问题,请参考以下文章

const关键字与指针

const 指针和 const 数组的输出

C++中的const关键字深入理解(关于引用指针顶层const)

如何利用指针改变const类型的值

const关键字总结

const修饰符使用