JavaScript의 값이 값으로 전달되는지 아니면 reference_javascript 기술로 전달되는지에 대한 토론

최근 흥미로운 질문을 접했습니다. "JS의 값은 값으로 전달됩니까, 아니면 참조로 전달됩니까?"

이 문제를 분석하기 전에 값에 의한 호출(call by value)이 무엇인지, 참조에 의한 호출(call by reference)이 무엇인지 이해해야 합니다. 컴퓨터 과학에서는 이 부분을 평가 전략(Evaluation Strategy)이라고 합니다. 함수를 호출할 때 변수 간, 실제 매개변수와 형식 매개변수 간에 값이 전달되는 방식을 결정합니다.

값으로 전달 VS. 참조로 전달

값에 의한 호출은 가장 일반적으로 사용되는 평가 전략입니다. 함수의 형식 매개변수는 호출 시 전달된 실제 매개변수의 복사본입니다. 형식 매개변수의 값을 변경해도 실제 매개변수에는 영향을 주지 않습니다.

참조로 전달(참조로 호출)할 때 함수의 형식 매개변수는 복사본이 아닌 실제 매개변수에 대한 암시적 참조를 받습니다. 즉, 함수 매개변수의 값이 수정되면 실제 매개변수도 수정된다는 의미입니다. 동시에 둘 다 동일한 값을 가리킵니다.

참조로 전달하면 함수 호출을 추적하기가 더 어려워지고 때로는 미묘한 버그가 발생합니다.

값을 전달하려면 매번 복제본이 필요하므로 일부 복잡한 유형의 경우 성능이 저하됩니다. 값을 전달하는 두 가지 방법 모두 고유한 문제가 있습니다.

값 전달과 참조 전달의 차이점을 이해하기 위해 먼저 C 예제를 살펴보겠습니다.

코드 복사 코드는 다음과 같습니다.

무효 수정(int p, int * q)
{
p = 27; // 값으로 전달 - p는 실제 매개변수 a의 복사본이며 p만 수정됩니다.
*q = 27; // q는 b에 대한 참조이며, q와 b는 모두 수정됩니다.
}
정수 메인()
{
int a = 1;
int b = 1;
Modify(a, &b); // a는 값으로 전달되고, b는 참조로 전달됩니다.
// a는 변경되지 않았고, b는 변경되었습니다
반품(0);
}

여기에서 확인할 수 있습니다.

a => p가 값으로 전달되는 경우 형식 매개변수 p의 값을 수정해도 a의 복사본인 실제 매개변수 a에는 영향을 주지 않습니다.
b => q는 참조로 전달됩니다. 형식 매개변수 q의 값을 수정하면 실제 매개변수 b의 값에도 영향을 줍니다.
JS 값이 어떻게 전달되는지 살펴보세요
JS의 기본 유형은 값으로 전달됩니다.

코드 복사 코드는 다음과 같습니다.

var a = 1;
함수 foo(x) {
x = 2;
}
foo(a);
console.log(a); // 여전히 1, x = 2 할당의 영향을 받지 않음

물체를 다시 살펴보겠습니다:

코드 복사 코드는 다음과 같습니다.

var obj = {x : 1};
함수 foo(o) {
o.x = 3;
}
foo(obj);
console.log(obj.x); // 3, 수정됨!

o와 obj는 동일한 객체이고 o는 obj의 복사본이 아니라는 점을 설명합니다. 따라서 값이 전달되지 않습니다. 하지만 이것이 JS 객체가 참조로 전달된다는 뜻인가요? 다음 예를 살펴보겠습니다.

코드 복사 코드는 다음과 같습니다.

var obj = {x : 1};
함수 foo(o) {
o = 100;
}
foo(obj);
console.log(obj.x); // 여전히 1, obj는 100으로 수정되지 않았습니다.

참조로 전달되는 경우 형식 매개변수 o의 값을 수정하면 실제 매개변수에 영향을 미칩니다. 그러나 여기서 o 값을 수정해도 obj에는 영향을 미치지 않습니다. 따라서 JS의 객체는 참조로 전달되지 않습니다. 그렇다면 JS에서 객체의 값은 어떻게 전송되나요?

공유로 전화

정확하게 말하면 JS의 기본 유형은 값으로 전달되고, 객체 유형은 공유로 전달됩니다(공유별 호출, 객체 전달, 객체 공유 전달이라고도 함). 1974년 Barbara Liskov가 GLU 언어로 처음 제안했습니다. 이 평가 전략은 Python, Java, Ruby, JS 및 기타 언어에서 사용됩니다.

이 전략의 핵심은 매개변수를 전달하기 위해 함수를 호출할 때 함수가 객체 인수 참조의 복사본을 허용한다는 것입니다(값으로 전달된 객체의 복사본도 참조로 전달된 암시적 참조도 아님). 참조에 의한 전달과의 차이점은 공유 전송에서 기능 매개변수의 할당이 실제 매개변수의 값에 영향을 미치지 않는다는 것입니다. 다음 예에서와 같이 형식 매개변수 o의 값을 수정하여 obj의 값을 수정할 수 없습니다.

코드 복사 코드는 다음과 같습니다.

var obj = {x : 1};
함수 foo(o) {
o = 100;
}
foo(obj);
console.log(obj.x); // 여전히 1, obj는 100으로 수정되지 않았습니다.

그러나 참조는 복사본이지만 참조되는 개체는 동일합니다. 동일한 객체를 공유하므로 형식 매개변수 객체의 속성값을 수정하면 실제 매개변수의 속성값에도 영향을 미치게 됩니다.

코드 복사 코드는 다음과 같습니다.

var obj = {x : 1};
함수 foo(o) {
o.x = 3;
}
foo(obj);
console.log(obj.x); // 3, 수정됨!

객체 유형의 경우 객체가 변경 가능하므로 객체 자체를 수정하면 객체를 공유하는 참조 및 참조 사본에 영향을 미칩니다. 기본 유형의 경우 모두 불변이므로 공유에 의한 전달과 값에 의한 전달(값에 의한 호출) 사이에 차이가 없습니다. 따라서 JS 기본 유형은 값에 의한 전달과 공유에 의한 전달을 모두 준수합니다.

코드 복사 코드는 다음과 같습니다.

var a = 1; // 1은 숫자 유형이며 불변입니다. var b = a; b = 6;

Pass-by-Share 평가 전략에 따르면 a와 b는 서로 다른 두 참조(b는 a의 참조 복사본)이지만 동일한 값을 참조합니다. 여기서 기본타입 1번은 immutable이기 때문에 값으로 전달하는 것과 공유로 전달하는 것에는 차이가 없습니다.

기본 유형의 불변성

기본 유형은 불변(immutable), 객체만 가변(mutable)입니다. 예를 들어 숫자 값이 100, 부울 값이 true, false이면 이러한 값을 수정합니다(예: 1을 3으로 변경, 변경). 100에 해당)에는 의미가 없습니다. 오해하기 쉬운 것은 JS의 문자열입니다. 때때로 우리는 문자열의 내용을 "변경"하려고 시도하지만 JS에서는 문자열 값을 "수정"하는 것처럼 보이는 모든 작업이 실제로는 새로운 문자열 값을 생성합니다.

코드 복사 코드는 다음과 같습니다.

var str = "abc";
str[0]; // "a"
str[0] = “d”;
str; // 여전히 "abc" 할당이 유효하지 않습니다. 문자열
의 내용을 수정할 수 있는 방법은 없습니다.

그러나 객체는 다릅니다. 객체는 변경 가능합니다.

코드 복사 코드는 다음과 같습니다.

var obj = {x : 1};
obj.x = 100;
var o = obj;
o.x = 1;
obj.x; // 1, 수정됨
o = 사실;
obj.x; // 1, o = true로 인해 변경되지 않습니다

여기서는 변수 obj를 정의하고 값은 object이며 obj.x 속성의 값을 100으로 설정합니다. 그런 다음 값이 여전히 객체 객체인 또 다른 변수 o를 정의합니다. 이때 두 변수 obj와 o의 값은 동일한 객체를 가리킵니다(동일한 객체에 대한 참조를 공유합니다). 따라서 객체의 내용을 수정하면 obj와 o 모두에 영향을 미칩니다. 그러나 객체는 참조로 전달되지 않습니다. o 값은 o = true로 수정되며 이는 obj에 영향을 주지 않습니다.