zuweisen Zeiger auf Zeiger mit oder ohne Qualifikations

Question

Während diese kompiliert:

char* p2c; 
const char* p2cc = p2c; //fine 

weil lhs spitzen Typ alle Qualifier von rhs spitzen Typ hat, dies nicht:

char** p2p2c; 
const char** p2p2cc = p2p2c; //fail 

aber dies tut:

const char * const * p2cp2cc = p2p2c; //fine 

Warum genau passiert das?

Answer 1

funktioniert das nicht:

char** p2p2c; 
const char** p2p2cc = p2p2c; //fail 

Wenn das durfte man const-Korrektheit zu brechen erlaubt sein würde:

const int k = 10; 
int *p; 
int **pp = &p; 
int const **kpp = pp;  // Should this be allowed, if so: 
*kpp = &k;    // fine, kpp promises not to change it 
          // yet this does p = &k; 
          // p made no such promise! this is a hidden const_cast! 
*p = 5; 

Wenn die Zuweisung erlaubt wurde, würde es Ihnen ermöglichen, Setzen eines nichtkonstanten Zeigers (intermediate), um auf einen konstanten Wert zu verweisen, was möglicherweise undefiniertes Verhalten in einem nicht offensichtlichen Weg verursacht. Durch das Verbot dieser Operation ist das Typsystem sicherer.

aber dies tut:

const char * const * p2cp2cc = p2p2c; //fine 

Das ist in Ordnung, da die Zwischenzeiger befestigt ist, ist es unmöglich, den Zwischen Zeiger zurückgesetzt auf ein konstantes Objekt zu beziehen und brechen const-Korrektheit

Answer 2

cdecl hilft wirklich in Fällen wie diesem.

const char** p2p2cc = declare p2p2cc as pointer to pointer to const char 

und

const char * const * p2cp2cc = declare p2cp2cc as pointer to const pointer to const char 

Wie Sie sehen können, ist die zweite Version hat die innere und die äußere Zeiger const, dh es ist auch nicht ändern können. Die erste Version hat den INNER-Zeiger const und den äußeren non-const, wodurch constnes gebrochen wird.

Auf der anderen Seite, das funktioniert:

char** const p = p2p2c;