C++禁止指针到指针的转换

Type * 到 const Type* 允许:

Type t;
Type *p = &t;
const Type*q = p;

*p 可以通过修改 p 但不是通过 q .

如果 Type ** 到 const Type** 转换是允许的,我们可能已经

const Type t_const;

Type* p;
Type** ptrtop = &p;

const Type** constp = ptrtop ; // this is not allowed
*constp = t_const; // then p points to t_const, right ?

p->mutate(); // with mutate a mutator, 
// that can be called on pointer to non-const p

最后一行可能会改变 const t_const !

对于 derived ** 到 Base ** 转换,当 Derived1 和 Derived2 类型派生自相同 Base 然后

Derived1 d1;
Derived1* ptrtod1 = &d1;
Derived1** ptrtoptrtod1 = &ptrtod1 ;

Derived2 d2;
Derived2* ptrtod2 = &d2;

Base** ptrtoptrtobase = ptrtoptrtod1 ;
*ptrtoptrtobase  = ptrtod2 ;

和一个 Derived1 * 指向a 衍生2 .

正确的方式 类型** 指向const的指针的指针使其成为 Type const* const* .