为什么 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**'.

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

随后给出了合理的解释，同时上的也用代码进行了说明。

用代码来说明最直观了：
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 *，哈哈！


2007-10-30记：
同样
 char* p = 0;
 const char* (&pref) = p; 也是错误的

--------------------next---------------------