char **p和const char **p是两种不相容的类型,因为它们是两种不同的类型。如果你理解这句话,可以不用往下看了。
先看这个代码:
1 foo(const char **p){ }
2
3 void main(int argc, char **argv)
4 {
5 foo(arvg);
6 }
如果编译这段代码,编译器会发出一条警告消息:
line 5:warning argument is incompatible with prototype
(第5行:警告:参数与原型不匹配)。
疑问是:实参char *s与形参const char *p是相容的(标准库中所有的字符串处理函数都是这个样子的),为什么实参char **argv与形参const char **p不相容呢?
答案是,它们并不相容。
在ANSI C标准中有这么一句话:每个实参都应该具有自己的类型,这样它的值就可以赋值给与它所对应的形参类型的对象(该对象的类型不能含有限定符)。
这就是说参数传递过程类似于赋值。所以,除非一个类型为char **的值可以赋值给一个const char **类型的对象,否则肯定会产生一条诊断信息。要使以上赋值合法,必须满足下列条件之一:
两个操作数都是指向有限定符或无限定符的相容类型的指针,左边指针所指向的类型必须具有右边指针所指向类型的全部限定符。
正是这个条件,使得函数调用中实参char *能够与形参const char*匹配。
1 char *cp;
2 const char *ccp;
3 ccp = cp; //right
4 cp = ccp; //产生编译警告
要想彻底理解为何char ** 与 const char **是不相容的,我们得先回顾一下const float *:它并不是一个有限定符的类型——它的类型是“指向一个具有const限定符的float类型的指针”,也就是说const限定符是修饰指针所指向的类型,而不是指针本身。
类似的,const char **也是一个没有限定符的指针类型。它的类型是“指向有const限定符的char类型的指针的指针”。
由于char **和const char **都是没有限定符的指针类型,但它们所指向的类型不一样(前者指向char*,后者指向const char*),因此它们是两种不同的类型,是不相容的。因此,类型为char **的实参与类型为const char **的形参是不相容的。它违反了上文黑体字所列出的约束。
说明:在VC、VS里面编译第一个程序的话,0个warning,0个错误。在Linux下面用gcc编译的话,会给出实参和形参不相容的warning。 这是不是说明微软家的编译器不好呢?