Type *
toconst 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 **
toBase **
変換の場合、 と の型が同じ から派生する場合に問題が発生Derived1
しDerived2
ますBase
。それで、
Derived1 d1;
Derived1* ptrtod1 = &d1;
Derived1** ptrtoptrtod1 = &ptrtod1 ;
Derived2 d2;
Derived2* ptrtod2 = &d2;
Base** ptrtoptrtobase = ptrtoptrtod1 ;
*ptrtoptrtobase = ptrtod2 ;
そして a は aDerived1 *
を指しDerived2
ます。
Type **
const へのポインターへのポインターを作成する正しい方法は、それを にすることType const* const*
です。