const和指针的那些事

写过一篇关于c++中const的总结，这里详细总结一下const和指针之间的关系

首先我们看一段代码，就是字符数组的初始化问题

#include <iostream>
using namespace std;

int main()
{
    const char *s = "const object";
    //in C, we can use char *s
    char s1[] = "const object";
    const char s2[] = "const object";

    //s[0] = 'C';//错误，修改字符常量
    s1[0] = 'C';
    //s2[0] = 'C';//错误，虽然是字符数组，但是有cosnt修饰

    /*char s2[];     s3 = "const object";错误，字符数组不能这样初始化*/
    const char *s4;
    s4 = "const object";//上面那种情况不可以，但是这种情况可以哦

    return 0;
}

以上虽然问题不大，编译器都会报错，但是笔试的时候遇到了呢？还是注意为妙

另外注意一点：在ｃ++中，const char *s = "const object"和char *s = "const object"是一样的，后者会产生warning ，但是在Ｃ程序中，后者没问题

下面我们看const和指针之间纠缠不清的关系：

第一种情况：指向常量的非常量指针

#include <iostream>
using namespace std;

int main()
{
    const char* coptr;//一个指向const对象的指针
    coptr = "cosnt object";
    cout<<coptr<<endl;
    
    coptr[0] = 'C';//error:can't change the content of the const object
    coptr = "Const object";//right
    cout<<coptr<<endl;

     char cptr1[] = "non-const object";//warning:should be const char *coptr1
     //gcc will not warning

     cptr1 = coptr;//把常量对象地址赋给非常量对象地址是错误的,想一下，如果我们修
改非常量对象是不是把常量对象修改了，这样当然不可以了
     coptr = cptr1;//把非常量对象地址赋给常量对象却可以
    return 0;
}

总结一下：指向常量对象的指针可以修改改指针的值，但是不能修改该指针指所向的值的值

第二种情况：指向非常量的常量指针

#include <iostream>
using namespace std;

int main()
{
    char s[] = "const pointer";
    char *const cptr = s;//指向非常量对象的const指针

    cptr[0] = 'C';//right
    char t[] = "another string";
    //cptr = t;//error cptr is const

    return 0;
}

总结一下：指向非常量的常量指针可以修改指针指向的值的值，但是不能修改指针的值，即初始化之后，指针只能指向这个值

第三种情况：指向常量的常量指针，当然是融合了上面两种情况的特性

#include <iostream>
using namespace std;

int main()
{
    const char *const cocptr = "const pointer to const object";
    cocptr[0] = 'C';//error

    char t[] = "another string";
    cocptr = t;//error

    return 0;
}

另外要注意：

指针常量的申明：const 放在* 和指针名之间 Type* const     pointer ;
常量指针的申明：const放在类型说明符之前 const Type*     pointer ;

我们可以这样记忆：  type* 为指针 ，const为常量 ， type* const是指针常量，const type*是常量指针   详见《c++ primer》p180

最后加上我的理解，为什么c/c++中要用这个const，因为这和数据的属性有关，有些数据可变，有些不可变，在程序的运行中这都是未知的，如果我们想要以可预见的方式控制程序的流程和数据的变动，就需要这种常量关键字的机制