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

Question

在 C++ 中，Type ** 到 Type const ** 的转换是被禁止的。此外，不允许从derived ** 转换为Base **。

为什么这些转换是 wtong ？还有其他不能发生指针转换的例子吗？

有没有办法解决：如何将指向Type类型的非常量对象的指针转换为指向Type类型的const对象的指针，因为Type **--> Type const ** 不成功？

Answer 1

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 * 指向Derived2。

将 Type ** 设为指向 const 的指针的正确方法是将其设为 Type const* const*。