const char **p 与 char **argv的关系
看了c专家编程中,
- C/C++ code
foo(const char **p){}main(int argc, char **argv){ foo(argv);}自己编译了一下,确实是有错误。
书上解释:char ** 和 const char **都是没有限定符的指针类型,但他们所指向的类型不一样。因此他们是不相容的。
解释的很晦涩,,,,能不能解释的详细些。
[解决办法]
那是因为你没学好指针, 推荐一本书给你吧:<<C和指针>>.
- C/C++ code
foo(char* const *p) //char*不能变,但char可以变 { const char *pchar = (const char*)*p; //这里才是char不可变}main(int argc, char **argv) { foo(argv); }
[解决办法]
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 **的形参是不相容的。它违反了上文黑体字所列出的约束。
[解决办法]
[解决办法]
char** 转化成 const char**在C++中是不合法的。(在C里好像可以)
有个一个简单的理解方法。主要原因是这样做会导致char**指向一个常量而编译器无法给出任何错误。
假设有个两个char,一个const,一个非const
const char myConst[] = "do not change";
char myNonConst[] = "change me";
char **p = &myNonConst;
然后你调一个函数
myFunc(const char ** p)
{
*p = myConst;
}
这个函数看似加强了约束,但它可以改变*p,让他指向一个常量。当然在这个函数内部是没有问题的。问题是出了这个函数之后,p是char**,可以修改的
**p = 'a';
这样的话,myConst实际上是被修改了。问题是你还不知道。