前言

本文需要读者对指针有一定理解，关于指针部分，您可以参考：
Pointers in 5 minutes.

关于ANSI C标准

int main(int argc, char** argv)
{
    char *cp;
    const char *cpp;
    cpp = cp;
    cp = cpp;//产生编译警告
}

运行以上小小代码，会发现编译器会关于注释行报错

初见此代码，我们会觉得cpp具有const修饰符，应该为read-only
(我们都知道，const并不能将变量变为常量，只是表示当前符号不能被赋值)
而cp可以自由修改

但是，结果却与我们预期的不同

那么为什么会这样呢，这一切还是要从ANSI C标准里找出答案

const char *类型并不是一个有限定符的类型，它的类型是“指向一个具有限定符的char类型的指针”，即const修饰的是指针所指向的类型，而不是指针本身(指针指向一个带有const限定符的char类型)

原来是这样，只有被指向的类型不可被赋值，而指针本身可以被改变

现在看来，我们已经可以大概理解cpp = cp的成立，那么注释行的报错又要怎么解释呢？

cp = cpp是指针的赋值运算
要想使其赋值形式合法，必须满足下列条件之一：
- 两个操作数都是指向有限定符或无限定符的相容类型的指针
- 左边指针所指向的类型必须具有右边指针所指类型的全部限定符
我们可以看出：
- 左操作数是一个指向没有限定符的char的类型
- 右操作数是一个指向指向有const限定符的char的指针
- 左操作数并不具有右操作数所指向类型的全部限定符，所以赋值失败

到此，一切都通畅了起来
那么，cpp = cp可以成功的逻辑即是：