为什么 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 *，哈哈！