JavaScript 시리즈의 심층적 이해(19): 평가 전략에 대한 자세한 설명

소개

이 장에서는 ECMAScript의 함수에 매개변수를 전달하는 전략을 설명합니다.

컴퓨터 과학에서는 이 전략을 일반적으로 '평가 전략'이라고 부릅니다. (삼촌주: 어떤 분은 평가 전략으로 번역한다고도 하고, 어떤 분은 과제 전략으로 번역하기도 합니다. 다음 내용을 보면 '평가 전략'이라고 부르는 것 같아요. 과제 전략이 더 적절하지만 어쨌든 제목은 프로그래밍 언어에서 표현식을 평가하거나 계산하기 위한 규칙을 설정하는 등 누구나 쉽게 이해할 수 있는 평가 전략으로 작성해야 합니다. 인수를 함수에 전달하는 전략은 특별한 경우입니다.

http://dmitrysoshnikov.com/ecmascript/chapter-8-evaluation-strategy/
이 글을 쓴 이유는 포럼의 누군가가 일부 매개변수 전달 전략에 대한 정확한 설명을 요청했기 때문입니다. 우리는 모든 사람에게 도움이 되기를 바라며 여기에 해당 정의를 제공했습니다.

많은 프로그래머는 JavaScript(및 일부 다른 언어)에서는 객체가 참조로 전달되는 반면 기본 값 유형은 값으로 전달된다고 확신합니다. 또한 많은 기사에서 이 "사실"을 언급하지만 많은 사람들이 실제로 그렇게 생각합니다. 이 용어를 이해하고, 어느 정도가 맞는지 이 글에서 하나씩 설명하겠습니다.

일반이론

할당 이론에는 일반적으로 두 가지 할당 전략이 있다는 점에 유의해야 합니다. 즉, 프로그램에 들어가기 전에 매개변수가 계산된다는 엄격한 의미와 계산 요구 사항에 따라 매개변수가 계산된다는 의미입니다. 지연된 계산과 동일합니다).

그런 다음 여기서는 ECMAScript 시작점에서 매우 중요한 기본 함수 매개변수 전달 전략을 고려합니다. 가장 먼저 주목해야 할 점은 ECMAScript(및 C, JAVA, Python 및 Ruby와 같은 다른 언어)도 엄격한 매개변수 전달 전략을 사용한다는 것입니다.

게다가 전달된 매개변수의 계산 순서도 매우 중요합니다. ECMAScript에서는 왼쪽에서 오른쪽으로, 다른 언어에서 구현된 반영 순서(오른쪽부터)도 사용할 수 있습니다.

엄격한 매개변수 전달 전략은 여러 하위 전략으로 나누어지는데, 이 장에서 가장 중요한 전략에 대해 자세히 설명합니다.

아래에 설명된 모든 전략이 ECMAScript에서 사용되는 것은 아니므로 이러한 전략의 특정 동작을 논의할 때 의사 코드를 사용하여 이를 보여줍니다.

값으로 전달

많은 개발자가 잘 알고 있듯이 값에 의한 전달은 호출자가 전달한 개체 값의 복사본입니다. 함수 내부에서 매개 변수 값을 변경해도 외부 개체에는 영향이 없습니다. 매개변수는 외부 값에 있음) 일반적으로 새 메모리가 재할당됩니다(할당된 메모리가 어떻게 구현되는지는 신경 쓰지 않습니다. 이는 스택 또는 동적 메모리 할당이기도 함). 새 메모리 블록의 값은 다음의 복사본입니다. 외부 객체이며 그 값은 함수 내부에서 사용됩니다.

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

바 = 10

절차 foo(barArg):

barArg = 20;

끝

foo(바)

// foo 내부의 값을 변경해도 내부 bar의 값에는 영향을 미치지 않습니다 

print(bar) // 10

그러나 함수의 매개변수가 원시값이 아니고 복잡한 구조체 객체라면 성능상 큰 문제가 발생하는데, C에서는 구조체를 값으로 함수에 전달하면 완전한 복사본이 된다.

일반적인 예를 들어 다음 할당 전략을 사용하여 테스트해 보겠습니다. 첫 번째 매개 변수는 개체의 값이고 두 번째 매개 변수는 전달 여부를 표시합니다. 개체가 완전히 수정되거나(객체에 값이 다시 할당됨) 개체의 일부 속성만 수정됩니다.

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

// 참고: 다음은 JS 구현이 아닌 의사코드입니다

바 = {

x:10,

y: 20

}

절차 foo(barArg, isFullChange):

isFullChange인 경우:

barArg = {z: 1, q: 2}

나가세요

끝

barArg.x = 100

barArg.y = 200

끝

foo(바)

// 값으로 전달, 외부 개체는 변경되지 않음 

print(bar) // {x: 10, y: 20}

// 객체를 완전히 변경합니다(새 값 할당) 

foo(바, 참)

//변경 없음

print(bar) // {z: 1, q: 2} 대신 {x: 10, y: 20}

참조로 전달

잘 알려진 또 다른 참조별 전달 방법은 값의 복사본이 아니라 객체의 직접적인 외부 참조 주소와 같은 객체에 대한 암시적 참조를 받습니다. 함수 내부의 매개변수에 대한 모든 변경사항은 함수 외부의 개체 값에 영향을 미칩니다. 왜냐하면 둘 다 동일한 개체를 참조하기 때문입니다. 즉, 현재 매개변수는 외부 개체의 별칭과 동일합니다.

의사 코드:

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

절차 foo(barArg, isFullChange):

isFullChange인 경우:

barArg = {z: 1, q: 2}

나가세요

끝

barArg.x = 100

barArg.y = 200

끝

//위와 동일한 객체를 사용합니다 

바 = {

x:10,

y: 20

}

// 참조로 호출한 결과는 다음과 같습니다. 

foo(바)

//객체의 속성값이 변경되었습니다 

print(bar) // {x: 100, y: 200}

// 새 값을 다시 할당하면 객체에도 영향을 줍니다

foo(바, 참)

// 객체는 이제 새로운 객체입니다 

print(bar) // {z: 1, q: 2}

이 전략을 사용하면 대량의 속성을 가진 대형 구조 객체와 같은 복잡한 객체를 보다 효율적으로 전달할 수 있습니다.

공유로 통화
위의 두 가지 전략은 누구나 알고 있지만, 여기서 이야기하고 싶은 전략은 모든 사람이 잘 이해하지 못할 수도 있습니다(사실 학문적인 전략입니다). 그러나 이것이 바로 ECMAScript의 매개변수 전달 전략에서 핵심 역할을 하는 전략이라는 것을 곧 알게 될 것입니다.

이 전략에는 '객체 통과' 또는 '객체 공유 통과'와 같은 동의어도 있습니다.

이 전략은 1974년 Barbara Liskov가 CLU 프로그래밍 언어에 대해 제안한 것입니다.

이 전략의 핵심은 함수가 객체의 복사본(복사본)을 수신하고 참조 복사본이 형식 매개변수 및 해당 값과 연결된다는 것입니다.

여기에 나타나는 참조를 "참조에 의한 전달"이라고 부를 수는 없습니다. 함수가 수신한 매개변수는 직접 개체 별칭이 아니라 참조 주소의 복사본이기 때문입니다.

가장 중요한 차이점은 함수 내부의 매개변수에 새로운 값을 재할당하면 외부 개체에 영향을 미치지 않는다는 점입니다(위 예에서 참조로 전달하는 경우와 유사). 그러나 매개변수는 주소 복사이기 때문에 외부와 내부에서 동일한 객체에 접근할 수 없으며(예: 외부 객체는 값 전달과 같은 완전한 복사본이 아님) 매개변수 객체의 속성 값을 변경하면 외부 객체에 영향을 미칩니다.

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

절차 foo(barArg, isFullChange):

isFullChange인 경우:
barArg = {z: 1, q: 2}
나가세요
끝

barArg.x = 100
barArg.y = 200

끝

//여전히 이 객체 구조를 사용하세요
바 = {
x:10,
y: 20
}

// 기여를 전달하면 개체에 영향을 미칩니다
foo(바)

// 객체의 속성이 수정되었습니다
print(bar) // {x: 100, y: 200}

// 재할당은 효과가 없습니다
foo(바, 참)

// 여전히 위의 값
print(bar) // {x: 100, y: 200}

이 처리에서는 기본 값이 아닌 대부분의 언어에서 객체가 사용된다고 가정합니다.

Pass by share는 Pass by value의 특별한 경우입니다

통과별 공유 전략은 Java, ECMAScript, Python, Ruby, Visual Basic 등 다양한 언어에서 사용됩니다. 게다가 Python 커뮤니티에서는 이 용어를 채택하고 있으며, 다른 이름이 혼동을 일으키는 경향이 있으므로 다른 언어에서도 이 용어를 사용할 수 있습니다. Java, ECMAScript 또는 Visual Basic과 같은 대부분의 경우 이 전략은 값별 전달(pass-by-value)이라고도 합니다. 즉, 특수 값 참조 복사를 의미합니다.

한편으로는 이렇습니다. 함수에 전달된 매개변수는 바인딩된 값(참조 주소)의 이름일 뿐이며 외부 개체에 영향을 주지 않습니다.

반면에 많은 포럼에서 객체를 JavaScript 함수에 전달하는 방법에 대해 이야기하기 때문에 이러한 용어는 더 깊이 파고들지 않고도 잘못된 것으로 간주됩니다.

일반 이론에서는 값으로 전달된다고 하는데 이때 값은 우리가 주소 복사(복사)라고 부르는 것이므로 규칙을 어기지 않습니다.

Ruby에서는 이 전략을 참조 전달(pass by reference)이라고 합니다. 다시 말하지만, 이는 큰 구조의 복사본으로 전달되지 않으며(즉, 값으로 전달되지 않음), 반면에 원본 개체에 대한 참조를 처리하지 않으므로 수정할 수 없습니다. - 용어 개념은 더 많은 문제를 야기할 수 있습니다.

이론적으로는 값 전달의 특별한 경우처럼 참조 전달의 특별한 경우가 없습니다.

그러나 위에서 언급한 기술(Java, ECMAScript, Python, Ruby 등)에서 실제로 그들이 사용하는 전략은 공유별로 전달된다는 점을 이해해야 합니다.

공유 및 포인터 누르기

С/С의 경우 이 전략은 이념적으로 포인터별 값 전달과 동일하지만 한 가지 중요한 차이점이 있습니다. 이 전략은 포인터를 역참조하고 개체를 완전히 변경할 수 있다는 것입니다. 그러나 일반적으로 값(주소) 포인터는 새 메모리 블록에 할당됩니다(즉, 이전에 참조된 메모리 블록은 변경되지 않은 상태로 유지됨). 포인터를 통해 개체 속성을 변경하면 Adon 외부 개체에 영향을 미칩니다.

그래서 포인터 카테고리를 보면 이것이 주소 값으로 전달되는 것을 분명히 알 수 있습니다. 이 경우 공유별 전달은 포인터 할당처럼 작동하지만(그러나 역참조할 수 없음) 참조와 같은 속성을 수정하는(역참조 작업이 필요하지 않음) "안전 포인터"라고 명명될 수 있습니다. ".

그러나 С/С에는 명시적인 포인터 역참조 없이 개체 속성을 참조할 때 특수 구문 설탕도 있습니다.

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

(*obj).x 대신 obj->x

이 이데올로기는 C와 가장 밀접하게 연관되어 있으며 예를 들어 할당 연산자와 복사 생성자를 오버로드하고 개체의 참조 카운터를 사용하는 Boost::shared_ptr의 "스마트 포인터" 구현에서 볼 수 있습니다. GC. 이 데이터 유형은 shared_ptr이라는 비슷한 이름을 갖습니다.

ECMA스크립트 구현

이제 우리는 ECMAScript에서 객체를 매개변수로 전달하는 전략을 알았습니다. 공유를 통해 전달합니다. 매개변수의 속성을 수정하면 외부에 영향을 주지만 재할당하면 외부 객체에 영향을 주지 않습니다. 그러나 위에서 언급했듯이 ECMAScript 개발자는 일반적으로 값이 참조 주소의 복사본이라는 점을 제외하고 값으로 전달이라고 부릅니다.

JavaScript 발명가 Brendan Ash도 다음과 같이 썼습니다. 전달되는 것은 참조 사본(주소 사본)입니다. 따라서 포럼의 모든 사람들이 한때 가치 전달에 관해 말한 내용도 이 설명에 따르면 정확합니다.

더 정확하게 말하면 이 동작은 단순한 할당으로 이해될 수 있습니다. 내부에는 완전히 다른 개체가 있지만 동일한 값, 즉 주소의 복사본을 참조한다는 것을 알 수 있습니다.

ECMA스크립트 코드:

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

var foo = {x: 10, y: 20};

var bar = foo;

Alert(bar === foo); // 참

bar.x = 100;

bar.y = 200;

경보([foo.x, foo.y]) // [100, 200]

즉, 두 개의 식별자(이름 바인딩)가 메모리의 동일한 개체에 바인딩되어 이 개체를 공유합니다.

foo 값: addr(0xFF) => {x: 100, y: 200} (주소 0xFF) <= bar 값: addr(0xFF)
재할당을 사용하면 이전에 바인딩된 개체에 영향을 주지 않고 새 개체 식별자(새 주소)에 바인딩됩니다.

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

바 = {z: 1, q: 2};

Alert([foo.x, foo.y]); // [100, 200] – 변경되지 않음 

Alert([bar.z, bar.q]); // [1, 2] – 이제 새 객체를 참조합니다

즉, 이제 foo와 bar는 서로 다른 값과 주소를 갖습니다.

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

foo 값: addr(0xFF) => {x: 100, y: 200} (주소 0xFF)
막대 값: addr(0xFA) => {z: 1, q: 2} (주소 0xFA)

다시 강조하지만, 여기서 언급하는 객체의 값은 객체 구조 자체가 아니라 주소(주소)입니다. 변수를 다른 변수에 할당하는 것은 할당된 값을 참조하는 것입니다. 따라서 두 변수는 모두 동일한 메모리 주소를 참조합니다. 다음 할당은 새 주소로, 이전 개체에 대한 주소 바인딩을 확인한 다음 이를 새 개체의 주소에 바인딩합니다. 이는 참조를 통한 전달과의 가장 중요한 차이점입니다.

또한 ECMA-262 표준에서 제공하는 추상화 수준만 고려하면 알고리즘에서 볼 수 있는 것은 "값"이라는 개념뿐이고 구현에서 전달되는 "값"(기본 값일 수 있음) 또는 객체), 그러나 위의 정의에 따르면 참조 주소도 값이기 때문에 "값에 의한 전달"이라고 부를 수도 있습니다.

그러나 오해(외부 개체의 속성이 함수 내에서 변경될 수 있는 이유)를 피하기 위해 여기에서 고려해야 할 구현 수준 세부 사항이 여전히 있습니다. 단어 - 안전 포인터를 전달하며 안전 포인터가 객체를 역참조하고 변경하는 것은 불가능하지만 객체의 속성 값을 수정할 수 있습니다.

기간 버전

ECMAScript에서 이 전략의 용어 버전을 정의해 보겠습니다.

"값 전달"이라고 할 수 있습니다. 여기서 언급된 값은 특별한 경우, 즉 값이 주소 복사본입니다. 이 수준에서 우리는 다음과 같이 말할 수 있습니다. 예외를 제외한 ECMAScript의 모든 객체는 값으로 전달됩니다. 이는 실제로 ECMAScript의 추상 수준입니다.

또는 이 경우에는 구체적으로 "공유에 의한 전달"이라고 합니다. 이를 통해 전통적인 값에 의한 전달과 참조에 의한 전달의 차이를 확인할 수 있습니다. 이 상황은 2가지 상황으로 나눌 수 있습니다. 1 : 원래 값 값으로 전달됩니다. 2: 개체가 공유를 통해 전달됩니다.

'객체를 참조 유형에 따라 함수로 변환한다'는 문장은 ECMAScript와 관련이 없으며 잘못된 것입니다.

결론

이 기사가 ECMAScript의 큰 그림과 구현에 대한 자세한 내용을 이해하는 데 도움이 되기를 바랍니다. 언제나 그렇듯, 질문이 있으시면 언제든지 토론해 주세요.