《Expert C Programming 》学习笔记

以下代码均在  VS2005 里面编译，

一、P19

      将 char ** 类型 传给 const char **  

 

      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 **的形参是不相容的。它违反了上文黑体字所列出的约束。

      上面的阐述，看得不太懂！！！

编译结果：

用c编译     0个warning，0个错误。(看来没有遵守 ANSI C)

用c++编译 e