C++ #3: call by value, address, reference

call by ...

함수의 매개변수 전달을 설명할 때,

주로 swap 함수를 이용해 call by value, call by address, call by reference를 설명한다.

 

c++에서 설명하는 call by address는 포인터 변수를 이용한 것으로

일반적으로 c에서 설명하는 call by reference와 동일하다.

(이게 헷갈리는 점인데, 개념과 용어 정리에 약간 논란의 여지가 있는 듯 하다.)

 

또한 레퍼런스 변수가 메모리 할당을 받느냐 받지 않느냐에 따라 설명이 엇갈리는데

메모리 할당을 받지 않고 원본 변수의 별칭으로서 행동한다는 설명도 있고,

메모리 할당을 받아 원본 변수의 주소값을 저장하고 있다가

레퍼런스 변수의 값이 수정되면 레퍼런스 변수에 저장되어 있는 주소에 있는 값을 수정한다는 설명도 있다.

 

실제로는 메모리 할당을 받을 수도 있고 받지 않을 수도 있다고 한다.

레퍼런스 변수는 객체가 아니기 때문에 반드시 메모리 할당을 받아야하는 것은 아니나,

컴파일러가 필요하다면 구현에 따라 저장 공간을 차지할 수 있다고 한다.

 

또한 c++11부터 상수도 레퍼런스로 전달할 수 있다고 한다.

 

레퍼런스 변수는 생각보다 헷갈리고 복잡한 것이 많아보이나,

코테를 준비하면서 꼭 필요한 내용은 아닐 것 같아서 여기서 일단 마무리한다..

 

call by value: 일반 변수

#include<iostream>
using namespace std;

void swap(int a, int b)
{
    int t;
    t = a;
    a = b;
    b = t;
}

int main()
{
    int a = 10, b = 20;
    cout << "Before: " << a << ", " << b << endl;
    swap(a, b);
    cout << "After: " << a << ", " << b << endl;
}

 

call by address: 포인터 변수

#include<iostream>
using namespace std;

void swap(int *pa, int *pb)
{
    int t;
    t = *pa;
    *pa = *pb;
    *pb = t;
}

int main()
{
    int a = 10, b = 20;
    cout << "Before: a = " << a << ", b = " << b << endl;
    swap(a, b);
    cout << "After: a = " << a << ", b = " << b << endl;
}

=> swap(&a, &b)가 아닌 swap(a, b)로 써도 에러가 안난다. 왜지?

 

call by reference: 레퍼런스 변수

#include<iostream>
using namespace std;

void swap(int &ra, int &ra)
{
    int t;
    t = ra;
    ra = rb;
    rb = t;
}

int main()
{
    int a = 10, b = 20;
    cout << "Before: " << a << ", " << b << endl;
    swap(a, b);
    cout << "After: " << a << ", " << b << endl;
}

 

물론 call by value로는 swap 되지 않는다.

 

References

http://blog.naver.com/lee9742/80157306799 (call by ...)

https://m.blog.naver.com/dntkrl79/70180305431 (call by ...)

https://hashcode.co.kr/questions/5146/ (call by...)