Verwirren über Array-Parameter

Question

Dies ist eine Übung von C++ Primer 5. Auflage, das geht:

Übung 6.24: Erklären Sie das Verhalten der folgenden Funktion. Wenn es im Code Probleme gibt, erkläre, was sie sind und wie du sie beheben kannst.

void print(const int ia[10]) 
{ 
    for (size_t i = 0; i != 10; ++i) 
     cout << ia[i] << endl; 
} 

ich in den Codes kein Problem finden können. Was ist der Sinn dieser Übung?

Answer 1

Das allgemeine Problem ist, dass in C++ Deklarationssyntax, Array-Typen in Funktionsparameter Deklarationen etwas nicht-intuitive bedeuten: ein Parameter als T[] deklariert oder als T[10] oder als T[1279] tatsächlich deklariert als T* – alle diese Parameter Erklärungen identisch sind. *

Denken Sie daran, dass in C++ keine Prvalues ​​des Array-Typs vorhanden sind und Array-Typen daher keine Funktionsparameter oder Rückgabetypen sein können. (Bei Verwendung als prvalue verwendet, ein Array abklingt auf einen Zeiger auf das erste Element.)

Daher Funktionsdeklaration tatsächlich ist (mit T = const int):

void print(const int *); 

Dieser Parametertyp spielt gut mit das Verkleinern von Array zu Pointer, aber jetzt ist klar, dass Sie beliebige Zeiger auf int zu dieser Funktion übergeben können, und die Richtigkeit der Funktionsausführung kann nicht aus der Funktionsdefinition allein bestimmt werden.

_{*) Es ist ein wenig more complicated in C99.}

---

Auf einer Seite beachten, Array glvalues ​​ sind völlig in Ordnung, wie die folgende Funktion ist, die einen Parameter aufweist, deren Typ "Bezug auf Array":

void print10(const int (&a)[10]) 
{ 
    for (auto i : a) { std::cout << i << "\n"; } 
}