const修饰实参形参

    实参char *s与形参const char *p是相容的，标准库字符串函数很多都是。但实参char **s与形参const char **p并不相容。
    在ASCI C标准中讲述约束条件的小结中有这么一句话：每个实参都应该具有自己的类型，这样它的值就可以赋值给与它所对应的形参类型对象（该对象的类型不能含有限定符）。
    所以说参数传递过程类似于赋值。
    标准中关于简单赋值的部分描述下列约束条件：要时赋值形式合法必须满足两个操作数都是指向有限定符或无限定符的相容类型的指针，左边指针所指向的类型必须具有右边指针所指向类型的全部限定符。
    所以说实参char *能与形参const char *匹配（标准库字符串处理函数很多都是），即
    char *cp;
    const char *cpp;
    cpp = cp;（左操作数是一个指向有const限定符的char的指针，右操作数是一个指向没有限定符的char的指针）
    但反过来是不行的，编译警告。

标准中实例中有：const float *类型并不是一个有限定符的类型，它的类型是“指向一个具有const限定符的float类型的指针”，也就是说const限定符是修饰指针所执行的类型，而不是指针本身。也就是说const char **p中指针p的类型是const char *，就像char *s中是指针s的类型是char，而const char *是一个没有限定符的指针类型，它的类型是“指向有const限定符的char类型的指针的指针"。
    所以说char **s和const char **p都是没有限定符的指针类型，但它们所指向的类型不一样，因此它们是不相容的。

摘自《c专家编程》

转载于:https://www.cnblogs.com/kevin-kang/archive/2012/07/11/3150486.html