🔔 여러 자료들을 탐색하고, 개인 학습 용도로 정리한 포스트입니다.
잘못된 점이 있다면 피드백 해주시면 감사하겠습니다!

👻 배경지식

pass by reference란?

• 참조의 복사 가 없습니다.
• 단일 참조는 호출함수와 호출된 함수 모두에서 공유됩니다.
• 어떤 참조의 변화나 객체 데이터의 변화는 caller scope에 반영될 것입니다.
• C++에서 & 를 사용하여 pass by reference를 허용한다.
• args와 parm가 동일한 객체를 가리키는 것이 아닌, 동일한 변수이다.

Passing (Object references) By Value 란?

• 참조의 변경은 caller scope에 반영되지 않습니다, 하지만 그 객체의 변화는 반영됩니다.
• 왜냐하면, 참조가 복사되었지만 모두 같은 객체를 참조하고 있기 때문입니다.
• argument의 값을 복사하는 것을 의미한다.
• args와 parm가 동일하지 않다.
• call by value와 동의어
  • method 또는 argument의 시야에 따라 다르게 불리는 것 같다.

😥 Java가 pass by reference라고 오해를 사는 이유.

💨1. Reference(참조) 용어의 혼동

• 참조 라는 용어는 개별적인 의미로 오버로드 된 것이다.

• Java에서 Reference 란 단순히 포인터를 의미

  • C언어의 후손인 Java는 포인터 를 참조 로 호출한다는 점을 제외하고는 포인터를 메소드에 전달한다는 점을 차용했다고 한다.

• Java의 참조타입(Reference Type)
  - 객체의 주소를 참조하는 타입으로 배열, 열거, 클래스, 인터페이스 타입

• C++의 참조변수(&)

• Pass-by-reference 의 맥락에서는 오리지널 변수의 핸들링을 의미

• 이러한 용어의 혼동으로 call by sharing 이라는 용어가 생기기도 함.

  • call by value와 call by reference 의 각각 특징이 섞여있는 것을 말하는 것 같다.
  • args를 parm으로 복사는 하는데, 원본 객체의 접근을 공유해서 원복 객체의 상태 변경 가능하다.
  • 이러한 어중간한? 혼합된? Java와 같은 케이스를 설명하기 위해 생긴 용어 같은데, 잘쓰이진 않는다고 한다.

💨2. Java도 참조 타입은 call by reference "처럼" 동작

자바도 argument로 reference type을 보낼 수 있는데?에서 시작된 혼란 같다.

• 전달된 객체의 상태를 변경시킬 수 있기 때문이다.

  • 예) setter 함수

• 하지만, 아래 그림과 같이 참조변수 a가 가리키는 인스턴스의 주소값을 복사 하여,

• 동일한 인스턴스를 가리키고 있는 참조변수 b 라는 공간이 추가로 생성된 것이다.

  • 

• 따라서, 참조변수가 가리키는 객체의 상태를 변경을 하는 것은 가능하다.

• 하지만 참조변수 b 와 참조변수 a는 관계가 없는 개별적인 요소이다.

• 즉, 전달된 참조변수 a 자체를 변경할 수는 없다.

  • 예를들어, new 생성자를 통해 b에 새로운 인스턴스를 가리키게 한다면?
  • b의 상태를 변경하더라도, a가 가리키고 있는 인스턴스의 상태는 바뀌지 않는다.

결론

• Java는 C언어처럼 주소값을 다룰 수 없다.
• 별거 아닌대 각각의 언어에서 말하는 참조(Reference)의 정의가 조금씩 달라서 생긴 혼란이다.

• 자바는 Passing object references by value

Pyro님 자료 스크램
자바에서 pass by value 만을 허용하고,
call by reference 를 허용하지 않겠다는 소리는,
function call 로 인한 side effect 를 허용하지 않겠다는 언어 설계 철학을 이야기한 것이다.
그냥 swap 이 불가능하면 전부 call by value 라고 생각을 하자.

부록

C++ 예제

#include <iostream>

using namespace std;

void foo(int &x) { //참조 연산자
    x *= 10;
}

void bar(int *x) {
    *x *= 10;
}

int main(int argc, char const *argv[])
{
    int x = 10;
    int y = 10;
    foo(x); //call by reference
    bar(&y); //call by addresss
    cout << x << endl;
    cout << y << endl;

    return 0;
}

output

> 100
> 100

Java 햇갈리는 예제

class Company{
    private String name;
    
    public void setName(String name){
        this.name = name;
    }
    public String getName(){
        return name;
    }
}

public class copyEx2{
    public static void main(String[] args){
	Company com1 = new Company();
        com1.setName("Google");
        show(com1);
        System.out.println("main(): "+com1.getName());
    }
    public static void show(Company com){
        com = new Comapny(); // 🐔 주목!
        com.setName("Yahoo");
        System.out.println("show(): "+com.getName());
    }
}

output

> show():yahoo
> main():Google

• 💥 자바가 정말로 call by reference 였다면 main():yahoo 이어야 한다.

참고

• 생활코딩 JAVA - 참조
• https://blog.penjee.com/passing-by-value-vs-by-reference-java-graphical/
• https://stackoverflow.com/questions/40480/is-java-pass-by-reference-or-pass-by-value
• https://en.wikipedia.org/wiki/Evaluation_strategy#Call_by_sharing
• https://velog.io/@aiden/call-by-value-vs-call-by-reference-feat.-call-by-sharing
• https://www.youtube.com/watch?v=1It6RGBCDso&ab_channel=ProjectRin
• https://www.notion.so/Function-Call-Arugmetn-vs-Parameter-bef816be67974d4d8118f56fcafe4136