Zeiger auf Array von nicht näherer Größe "(* p) []" illegal in C++, aber legal in C

Question

Ich habe gerade herausgefunden, dass dies in C++ illegal ist (aber legal in C):

#include <stdio.h> 
#include <stdlib.h> 
#define ARRAY_LENGTH(A) (sizeof(A)/sizeof(A[0])) 

int accumulate(int n, const int (*array)[]) 
{ 
    int i; 
    int sum = 0; 
    for (i = 0; i < n; ++i) { 
     sum += (*array)[i]; 
    } 
    return sum; 
} 

int main(void) 
{ 
    int a[] = {3, 4, 2, 4, 6, 1, -40, 23, 35}; 
    printf("%d\n", accumulate(ARRAY_LENGTH(a), &a)); 
    return 0; 
} 

Es kompiliert ohne Probleme mit gcc -std=c89 -pedantic aber nicht kompilieren mit g++. Wenn ich versuche, es zu kompilieren g++ mit erhalte ich diese Fehlermeldung:

main.cpp:5:37: error: parameter 'array' includes pointer to array of unknown bound 'int []' 
int accumulate(int n, int (*array)[]) 
            ^
main.cpp: In function 'int main()': 
main.cpp:18:50: error: cannot convert 'int (*)[9]' to 'int (*)[]' for argument '2' to 'int accumulate(int, int (*)[])' 
    printf("%d\n", accumulate(ARRAY_LENGTH(a), &a)); 

Ich habe für eine lange Zeit in meinem C-Code mit dieser und ich hatte keine Ahnung, dass es in C++ illegal war. Für mich scheint dies eine nützliche Möglichkeit zu sein, zu dokumentieren, dass eine Funktion ein Array benötigt, dessen Größe vorher nicht bekannt ist.

Ich möchte wissen, warum dies legal C ist, aber C++ ungültig. Ich frage mich auch, was das C++ - Komitee dazu gebracht hat, es wegzunehmen (und diese Kompatibilität mit C zu brechen).

Warum ist dieser legale C-Code aber illegaler C++ - Code?

Answer 1

Dan Saks wrote about this in 1995, während der Spitze bis zu C++ Standardisierung:

Die Ausschüsse entschieden, dass Funktionen wie diese, die einen Zeiger oder eine Referenz auf ein Array mit unbekannter gebunden akzeptieren, Erklärung Anpassungs- und Überladungsauflösung erschweren Regeln in C++. Die Komitees stimmten darin überein, dass, da solche Funktionen wenig nützlich und ziemlich ungewöhnlich sind, es am einfachsten wäre, sie einfach zu verbieten. Damit nun der C++ Entwurf bestimmt:

Wenn der Typ eines Parameters eines Typs der Form Zeiger auf Array mit unbekannter von T oder Verweis auf Array mit unbekannter von T gebunden gebunden enthält, ist das Programm schlecht geformt.

Answer 2

C++ nicht über C Begriff der "kompatiblen Typ". In C, das ist eine absolut gültige Neudeklaration einer Variablen:

extern int (*a)[]; 
extern int (*a)[3]; 

in C, das ist eine absolut gültige Neudeklaration der gleichen Funktion:

extern void f(); 
extern void f(int); 

in C, dies ist durch die Implementierung spezifische, aber normalerweise eine gültige Deklaration derselben Variablen:

enum E { A, B, C }; 
extern enum E a; 
extern unsigned int a; 

C++ hat nichts davon. In C++ sind Typen entweder gleich oder unterschiedlich, und wenn sie unterschiedlich sind, gibt es wenig Bedenken, wie unterschiedlich sie sind.

ähnlich

int main() { 
    const char array[] = "Hello"; 
    const char (*pointer)[] = &array; 
} 

gilt in C, aber ungültiger in C++: array trotz der [], als ein Array von Länge deklariert ist 6. pointer wird als ein Zeiger auf ein Feld von nicht spezifizierten Länge erklärt , das ist ein anderer Typ. Es gibt keine implizite Konvertierung von const char (*)[6] zu const char (*)[].

Aus diesem Grund sind Funktionen, die Zeiger auf Arrays nicht näher spezifizierter Länge verwenden, in C++ ziemlich nutzlos und mit ziemlicher Sicherheit ein Fehler des Programmierers. Wenn Sie von einer konkreten Array-Instanz ausgehen, haben Sie fast immer bereits die Größe, daher können Sie ihre Adresse nicht übernehmen, um sie an Ihre Funktion zu übergeben, da Sie eine Typabweichung haben würden.

Und es gibt keine Notwendigkeit für Zeiger auf Arrays nicht näher bezeichneter Länge in Ihrem Beispiel entweder die normale Art und Weise, dass in C zu schreiben, was auch geschieht in C++ gültig ist, ist

int accumulate(int n, int *array) 
{ 
    int i; 
    int sum = 0; 
    for (i = 0; i < n; ++i) { 
     sum += array[i]; 
    } 
    return sum; 
} 

aufgerufen werden als accumulate(ARRAY_LENGTH(a), a).