赋值约束，限定符

楼主,原帖里面是说:
如 void f( const char *input[] ){...}
char *p[3]={"test1","test2","test3"};
f(p);//error
const char *p[3]={"test1","test2","test3"};
f(p);//ok

这里首先涉及到作为函数的参数的时候,数组退化为指针,即参数const char *input[]可以改为
const char **input
所以本题等价于问为什么
char **类型不能赋值给  const char **类型.

根据ANSI C标准的赋值约束条件：

    1. 两个操作数都是指向有限定符活无限定符的相容类型的指针。

    2. 左边指针所指向的类型必须具有右边指针所指向类型的全部限定符。

为了理解这个规定先看
一、const char*和char*

    const char*的类型是：“指向一个具有const限定符的char类型的指针”。（不能修改其值）

    char*的类型是：“指向一个char类型的指针”。

    因此const char*和char*都是指向char类型的指针，只不过const char*指向的char类型是const的。

    因此对于代码：

char* src; 
const char* dest ; 
dest = src;

    这样赋值是正确的，因为:

    * 左操作数指向的都是char类型，因此是相容的

    * 左操作数具有有操作数所指向类型的全部限定符（右操作数没有限定符），同时自己有限定符（const）

    如果反过来赋值就违反了赋值的约束条件：src指向的对象的值可以修改，而dest指向的对象的值不可修改
如果让src去指向dest所指向的那个不可修改的对象，如果合法，岂不是变得可修改了？


src = dest; // 这样赋值，左操作数指向的类型没有右操作数指向类型的const限定符，不符合约束条件2
2. const char** 和char**

    const char**的类型是：“指向一个有const限定符的char类型的指针的指针”。

    char**的类型是：“指向一个char类型的指针的指针”。

    对于const char** 和char**来说，二者都是没有限定符的指针类型，但是它们指向的类型不一样，前者指向char*，    而后者指向const char*，因此它们不相容，所以char**类型的操作数不能赋值给const char**类型的操作数。

    即对于下列代码，编译器会报错：char** src; 
const char** dest; 

dest = src; 

转载自http://bbs.youkuaiyun.com/topics/330113526