'char **' 和 'const char **'的兼容性问题

有时候必须非常专注的阅读ANSI C 标准才能找到某个问题的答案。一位销售工程师把下面的代码作为测试例子发给SUN的编译器小组。<!----><o:p></o:p>

#include<stdio.h><o:p></o:p>

<o:p> </o:p>

void foo( const char **P )<o:p></o:p>

{}<o:p></o:p>

<o:p> </o:p>

int main( int argc, char **argv )<o:p></o:p>

{<o:p></o:p>

    foo( argv );<o:p></o:p>

return 0;<o:p></o:p>

}<o:p></o:p>

<o:p> </o:p>

在VC6.0下编译这段代码，编译器会发出警告：<o:p></o:p>

cannot convert parameter 1 from char ** to const char **

<o:p></o:p><o:p></o:p><o:p></o:p>

<o:p> </o:p>

<o:p> </o:p>

提交代码的工程师想知道为什么会产生类似的警告，他认为，实参char *s 与形参 const char *p 应该是相容的，标准库中所有的字符串处理函数都是这样的。那么，为什么实参 char **argv 与形参 const char **P实际上不能相容呢？答案是肯定的，它们并不相容。现在我们回顾一下标准中有关简单赋值的部分，它位于ANSI C 第<!----><st1:chsdate isrocdate="False" month="12" w:st="on" islunardate="False" day="30" year="1899">6.3.16</st1:chsdate>.1节，描述了下列约束条件：<o:p></o:p>

要使上述赋值形式合法，必须满足下列条件之一：<o:p></o:p>

两个操作数都是指向有限定符或无限定符的相容类型的指针，左边指针所指向的类型必须具有右边指针<o:p></o:p>

所指向类型的全部限定符。<o:p></o:p>

正是这个条件，使得函数调用中实参char*能够与形参const char*匹配。它之所以合法，是因为在下面的代码中：<o:p></o:p>

char *cp;<o:p></o:p>

const char *cpp;<o:p></o:p>

cpp = cp;<o:p></o:p>

    左操作数是一个指向有const限定符的char的指针；<o:p></o:p>

    右操作数是一个指向没有限定符的char的指针；<o:p></o:p>

    char类型和char类型是相容的，左操作数所指向的类型具有右操作数所指向类型的限定符(无), 再加上自身的限定符 const (注意反过来不能赋值)。<o:p></o:p>

<o:p> </o:p>

标准第<st1:chsdate isrocdate="False" month="12" w:st="on" islunardate="False" day="30" year="1899">6.3.16</st1:chsdate>.1节没有说明char **实参与const char **形参是否相容。标准6.1.2.5节中讲述实例的部分声称：const float * 类型并不是一个有限定符的类型，它的类型是“指向一个具有const限定符的float类型的指针”，也就是说const限定符是修饰指针所指向的类型，而不是指针。类似地，const char **也是一个没有限定符的指针类型，它的类型是“指向有const限定符的char类型的指针的指针”。 由于char ** 和const char ** 都是没有限定符的指针类型，但它们所指向的类型不一样（前者指向char *，后者指向 const char *）,因此它们是不相容的。因此类型为char **的实参和类型为 const char **的形参是不相容的，编译器会产生一条诊断信息。

<o:p></o:p> 

备注：解释的有些牵强，目前记住结果就可以了

 

<o:p></o:p>