Różnice w niepełnych regułach tablicy wskaźnika między C i C++

Question

Gdy skompiluję następujący kod z gcc i g++, g++ daje błąd, a nie gcc. Zauważ, że kod konwertuje z int (*)[4] na int (*)[] (który jest wskaźnikiem na niekompletny typ tablicy).

int arr[4]; 
int (*p_arr)[] = &arr; 

Jak omówiono w Incomplete array type?, C język pozwala tej konwersji. Ale dlaczego C++ tego nie akceptuje i podaje błąd error: cannot convert ‘int (*)[4]’ to ‘int (*)[]’ in assignment. Wiem, że C++ jest bardziej bezpieczny dla typu niż C, ale czy to przypisanie jest naprawdę niebezpieczne dla typu, ponieważ późniejszy dereferencja wskaźnika (np. sizeof(*p_arr)) w każdym razie daje również błąd w C?

Answer 1

Konwersja sama w sobie jest bezpieczne, ale należy pamiętać, że ta sama zasada w C, który pozwala tej konwersji to pozwala również w odwrotnym kierunku.

int main() { 
    int array[4] = {0}; 
    int (*ptr4)[4] = &array; 
    int (*ptrN)[] = ptr4; 
    int (*ptr5)[5] = ptrN; /* oh dear */ 
} 

To jest wyraźnie złe. C++ usunęło tę regułę, reguła mówiąca, że ​​int[4] i int[] są zgodnymi typami i całkiem pozbyła się pojęcia kompatybilnego typu.

Niektóre określone konwersje, które są bezpieczne are being considered for inclusion in a future version of C++. Obejmują one także twoją konwersję.

Answer 2

Tak, to zadanie naprawdę nie jest bezpieczne.

W C++ typy tablic zawierają ten wymiar. Zawsze.

(w większości).