为什么 char** 不能自动转化为 const char**

 

为什么 char** 不能自动转化为 const char**

一次偶然的情况下我发现以下代码竟然无法被编译通过（如果你的编译器，比如 VC6 或 VC2003 ，允许它编译通过，我想你首先应该换个编译器，比如 GCC 或 VC2005 ）：
void foo( const char* [] ) { }
int main( void )
{
    char* s[2];
    foo( s );
}
简化成更一般的形式是：
char** p1 = 0;
const char** p2 = p1;
错误是： invalid conversion from `char**' to `const char**' .

lostpencil 更加仔细，使用 C 编译器给出的是一个警告：
initialization from incompatible pointer type.

随后 hpho 给出了合理的解释，同时 comp.lang.c++.moderated 上的 Ulrich Eckhardt 也用代码进行了说明。

用代码来说明最直观了：
const char* s = "abc";
int main( void )
{
    char* p0 = 0;
    char** p1 = &p0;
    const char** p2 = p1; // 先假设这一句是合法的 ( 测试时，可以先强制类型转化一下 )
    *p2 = s;
    *p0 = 'A'; // 通过 p0 在修改不应该被修改的 s ，这显然和 const 相违背，其运行结果不可知。
}

：）实际上 const char** 不是 char** 的 const 形式， char** 的 const 形式应该是 char* const * ，哈哈！