참조에 의한 호출

1. 개요

2. 설명

2.1. 컴퓨터 메모리 단계에서의 이해

• 함수에서 변경한 내용이 다른 함수에 적용되지 않음 vs 함수에서 변경한 내용이 다른 함수에도 적용됨
• 인자를 다루는 메모리 위치가 다름 vs 인자를 다루는 메모리 위치가 같음

3. 예시

#!syntax cpp
void functionA(int v) {
    v++;
}

int main(void) {
    int a = 10;

    functionA(a);

    printf("%d", a);
}

#!syntax cpp
void functionB(int& v) {
    v++;
}

int main(void) {
    int a = 10;

    functionB(a);

    printf("%d", a);
}

#!syntax cpp
void functionC(int& v) {
    (*(&v+1))++;
}

int main(void) {
    int a = 10;
    int b = 1;

    functionC(a);

    printf("%d, %d", a, b);
}

4. 주소에 의한 호출과의 차이

4.1. 상세한 설명

#!syntax cpp
void functionD(int* v) {
    (*v)++;
}

int main(void) {
    int a = 10;

    functionD(&a);

    printf("%d", a);
}

• 주소 참조 연산자인 & 연산자는 a의 값이 아니라 a의 주소를 반환하는 연산자이다. 그런데 선언할 때는 주소를 반환하라는 의미가 아니라 해당 타입의 참조자( C++에서)를 사용한다는 의미로 바뀌어 버린다.
• int *v 의 의미는 v라는 이름의 포인터 변수를 선언한다는 의미이다. 이 포인터 변수의 값(v)은 64비트 정수값(메모리 주소)[3]으로 이루어지며 이 포인터 변수 자체의 주소(&v)는 따로 존재한다.[4]
• typeof(v)는 int * 타입(int의 포인터 타입)으로 설정된다.[5] 하지만 선언문이 아닌 곳에서 *v의 의미는 v라는 포인터 변수가 가리키는 주소를 찾아가서 해당 값을 읽어라이다. 즉 선언할 때와 사용할 때의 문법이 반대이다.

4.2. 코드를 이용한 비교

#!syntax cpp
void testFunc(int& pRef) {
    pRef = 20;
}

int main(void) {
    int num = 0;
    int& ref = num;

    cout << ref << endl;
    testFunc(ref);
    cout << ref << endl;
}

#!syntax cpp
void testFunc(int* pPtr) {
    pPtr = NULL;
}

int main(void) {
    int num = 0;
    int* ptr = #

    cout << ptr << endl;
    testFunc(ptr);
    cout << ptr << endl;
}

#!syntax cpp
#include <stdio.h> // printf()

void testFunc(int** pPtr) {
    *pPtr = NULL; // Dereferencing. main()의 int* ptr := NULL
}

int main(void) {
    int num = 0;
    int* ptr = &num;

    printf("%p \n", ptr);
    testFunc(&ptr); // int* ptr; 의 내용이 아닌 주소 자체를 전달한다.
    printf("%p", ptr);
}