Gán con trỏ để trỏ có hoặc không có vòng loại

Question

Trong khi điều này biên dịch:

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

vì LHS nhọn loại có tất cả các vòng loại của RHS loại nhọn, điều này không:

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

nhưng điều này không:

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

Tại sao điều này lại xảy ra?

Answer 1

này không hoạt động:

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

Nếu được cho phép, bạn sẽ được phép phá vỡ const-đúng đắn:

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; 

Nếu việc chuyển nhượng được cho phép, bạn sẽ cho phép thiết lập một con trỏ không const (trung gian) để tham chiếu đến một giá trị không đổi, có thể gây ra hành vi không xác định trong một không rõ ràng để xem cách. Bằng cách không cho phép hoạt động đó, hệ thống kiểu an toàn hơn.

nhưng điều này không:

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

này là tốt, kể từ khi con trỏ trung gian là cố định, nó là không thể để thiết lập lại con trỏ trung gian để đề cập đến một đối tượng const và phá vỡ const-đúng đắn

Answer 2

cdecl thực sự giúp trong các trường hợp như thế này.

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

và

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

Như bạn có thể thấy, phiên bản thứ hai có nội VÀ con trỏ const bên ngoài, có nghĩa là nó không thể thay đổi một trong hai. Phiên bản đầu tiên có const con trỏ INNER và non-const bên ngoài do đó phá vỡ constnes.

Mặt khác, hoạt động này:

char** const p = p2p2c;