Eine pathologische Art und Weise eine Anordnung von übergeben wird: durch Bezugnahme auf das erste Elemente

Question

Es scheint ein ein Array durch Bezugnahme auf das erste Element hindurchgehen kann:

void passMe(int& firstElement) 
{ 
    int* p=&firstElement; 
    cout << p[0] << p[1]; 
} 

Hauptprogramm:

int hat[]={ 5,2,8 }; 
passMe(hat[0]); 

Normalerweise anstelle der obigen Funktionsdefinition würde ich void passMe(int* myArray) oder void passMe(int[] myArray) tun. Aber würde die obige Methode irgendwelche Probleme verursachen? Wenn ich die Antwort kenne, kann ich die Dinge, die hier spielen, besser verstehen.

Answer 1

Soweit die Sprache-Anwälte und der Compiler betroffen sind, ist es in Ordnung. Das Hauptproblem wird mit den menschlichen Programmierern sein (einschließlich zukünftiger Versionen von dir selbst). Wenn Ihre Standard-C++ Programmierer dies in einem Programm sehen:

void passMe(int& firstElement); // function declaration (in a .h file) 

int hat[]={ 5,2,8 }; 
passMe(hat[0]); 

Er wird erwarten, dass PassMe() lesen könnte und/oder modifizieren Hut [0]. Er ist definitiv nicht gehen zu erwarten, dass passMe() könnte lesen und/oder ändern Hut [1]. Und wenn er schließlich herausfindet, was du tust, wird er sehr wütend auf dich sein, weil er ihn durch unnötig "cleveren" Code irregeführt hat. :) Wenn ein anderer Programmierer (der seinen Trick nicht kennt) versucht, seine Funktion von seinem eigenen Code aus aufzurufen, nachdem er nur die Funktionsdeklaration in der Kopfzeile gesehen hat, wird er wahrscheinlich versuchen, so etwas zu tun :

int cane = 5; 
passMe(cane); 

..., die direkt auf mysteriöse undefinierten Verhalten zur Laufzeit führen wird, wenn PassMe() versucht, das zweite Element im Array nach cane, deren Ausnutzung existiert nicht wirklich, weil Zuckerrohr in ein nicht wirklich ist Array.