Macht die Dereferenzierung eines Zeigers eine Kopie davon?

Question

Dereferenziert ein Zeiger und übergibt das an eine Funktion, die sein Argument durch Verweis annimmt, eine Kopie des Objekts erstellen?

Answer 1

In diesem Fall wird der Wert am Zeiger kopiert (obwohl dies nicht unbedingt der Fall ist, da der Optimierer dies optimieren kann).

int val = *pPtr; 

In diesem Fall wird jedoch keine Kopie statt:

int& rVal = *pPtr; 

Der Grund keine Kopie stattfindet, weil ein Verweis kein Maschinencode-Ebene Konstrukt ist. Es ist ein Konstrukt auf höherer Ebene und wird daher vom Compiler intern verwendet, anstatt dafür spezifischen Code zu generieren.

Das gleiche gilt natürlich für Funktionsparameter.

Answer 2

Hoffentlich tut es nicht: es wäre, wenn die aufgerufene Funktion ihr Argument nach Wert nimmt.

Außerdem, das ist das erwartete Verhalten einer Referenz:

void inc(int &i) { ++i; } 

int main() 
{ 
    int i = 0; 
    int *j = &i; 
    inc(*j); 
    std::cout << i << std::endl; 
} 

Dieser Code wird erwartet 1weilinc nimmt ihr Argument durch Bezugnahme zu drucken. Wäre eine Kopie unter inc Aufruf erstellt worden, würde der Code 0 drucken.

Answer 3

Nein. Eine Referenz ist mehr oder weniger genau wie ein Zeiger mit unterschiedlicher Schreibweise und der Einschränkung, dass es keine Nullreferenz gibt. Aber wie ein Zeiger enthält es nur die Adresse eines Objekts.

Answer 4

Im einfachen Fall, nein. Es gibt kompliziertere Fälle, aber:

void foo(float const& arg); 
int * p = new int(7); 
foo(*p); 

Hier wird ein temporäres Objekt erstellt wird, weil der Typ des dereferenzierten Zeigers (int) Art des Funktionsparameters der Basis stimmt nicht überein (float). Es existiert eine Konvertierungssequenz, und das konvertierte temporäre Objekt kann an arg gebunden werden, da dies eine konstante Referenz ist.