《C专家编程》随笔3：赋值传递

而 char *cp；

    const char *ccp;

   ccp = cp;

是合法的。why？

解读：

    要使赋值形式合法，必须满足下列条件之一：两个操作数都是指向有限定符或无限定符的相容类型的指针，左边指针所指向的类型必须具有右边指针所指向类型的全部限定符。

    假设，左操作数的类型是FOO2，它是指向FOO的指针，而FOO是一个没有限定符的指针，它指向一个带有const限定符的char型，而且......

    右操作数的类型是BAZ2，它是指向BAZ的指针，而BAZ是一个没有限定符的指针，它指向一个没有限定符的支付类型。

    FOO和BAZ指向的类型是相容的，而且它们本身都没有限定符，所以符合约束条件，两者之间进行赋值是合法的。但FOO2和BAZ2之间的关系又有不同，由于相容性不能传递，虽然FOO2和BAZ2都没有限定符，但他们之间不能进行赋值。也就是说，它们都是不带限定符的指针，但是它们所指向的对象是不同的，所以它们之间不能进行赋值，也就不能分别作为函数的形参和实参。。这个约束条件令人恼火，也很容易让人混淆，所以，折衷赋值方式目前基于Cfront的C++编译器是合法的（虽然这在将来可能会改变）。