JavaScript ECMA-262-3 심층 분석 3장. this_javascript 기술.

소개
이 기사에서는 실행 컨텍스트와 직접적으로 관련된 자세한 내용을 논의하겠습니다. 토론 주제는 바로 이 키워드입니다.
실습을 통해 이 주제가 어렵다는 것이 입증되었으며, 다양한 실행 상황에서 이 주제의 가치를 결정하는 데 문제가 자주 발생합니다.
많은 프로그래머는 프로그래밍 언어에서 this 키워드가 객체 지향 프로그램 개발과 밀접하게 관련되어 있으며 생성자가 새로 생성한 객체를 완전히 가리킨다고 믿는 데 익숙합니다. 이는 ECMAScript 사양에서도 구현되지만 앞으로 살펴보겠지만 ECMAScript에서는 새로 생성된 객체를 가리키는 것에만 국한되지 않습니다.
ECMAScript에서 this의 값이 무엇인지 자세히 살펴보겠습니다.
정의
실행 컨텍스트의 속성입니다.

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

activeExecutionContext = {
VO: {...},
this: thisValue
};

여기서 VO는 우리가 논의한 변수 객체입니다. 이전 장.
이는 컨텍스트 내 실행 코드(유형)와 직접적으로 관련됩니다. 이 값은 컨텍스트에 들어갈 때 결정되며 컨텍스트가 코드를 실행하는 동안에는 변경되지 않습니다.
이러한 시나리오를 더 자세히 살펴보겠습니다.
글로벌 코드에서 이것의 가치
여기에서는 모든 것이 간단합니다. 전역 코드에서는 항상 전역 객체 자체이므로 간접적으로 참조하는 것이 가능합니다.

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

//
의 명시적 속성 정의 // 전역 객체
this.a = 10; // global.a = 10
alert(a); // 10
// 정규화되지 않은 식별자에 할당을 통한 암시적 정의
b = 20;
alert(this.b); // 20
// 변수 선언을 통해 암시적임
// 전역 컨텍스트의 변수 객체
//가 전역 객체이기 때문 그 자체
var c = 30;
alert(this.c); // 30

함수 코드에서 this의 값
이것을 함수 코드에서 사용하는 것은 흥미롭습니다. , 이러한 종류의 응용 프로그램 시나리오는 어렵고 많은 문제를 야기합니다.
이 유형의 코드에서 this 값의 첫 번째(아마도 가장 중요한) 특징은 함수에 정적으로 바인딩되지 않는다는 것입니다.
위에서 언급했듯이 this의 값은 context에 들어갈 때 결정됩니다. 함수 코드에서는 this의 값이 매번(context에 들어갈 때) 완전히 다를 수 있습니다.
무슨 일이 있어도 코드가 실행되는 동안 this의 값은 변경되지 않습니다. 즉, 변수가 아니기 때문에 새 값을 할당하는 것은 불가능합니다. (반대로 Python 프로그래밍 언어에서는 객체 자체로 명시적으로 정의되며 런타임 중에 지속적으로 변경될 수 있습니다.)

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

var foo = {x: 10};
var bar = {
x: 20,
test: function () {
alert(this === bar); // true
alert(this.x) // 20
this = foo; // 오류
alert(this.x); // 오류가 없으면 10이 아닌 20
}
}// 컨텍스트에 들어가면 이 값은
// "bar" 객체로 결정됩니다. 왜 그럴까요?
// 아래에서 자세히 설명합니다.
bar.test() // true, 20
foo .test = bar.test;
// 하지만 여기서 이 값은 이제
// "foo"를 참조합니다.
foo.test() // false , 10


그럼 함수 코드에서 변경되는 this의 값에 어떤 영향을 미치나요? 몇 가지 요인이 있습니다.

우선 일반 함수 호출에서는 컨텍스트 코드, 즉 호출 함수의 상위 컨텍스트를 활성화하는 호출자가 이를 제공합니다. 이는 함수가 어떻게 호출되는지에 따라 다릅니다. (번역자 주: 여기를 참고하세요)
어떤 상황에서도 this의 값을 정확하게 판단하기 위해서는 이 중요한 점을 이해하고 기억해야 합니다. 함수를 호출하는 방식이 this의 값에 영향을 미치기 때문입니다. 호출의 맥락에서. 다른 것은 없습니다(일부 기사, 심지어 자바스크립트에 관한 책에서도 다음과 같이 주장하는 것을 볼 수 있습니다. "이 값은 함수가 정의되는 방식에 따라 달라집니다. 전역 함수인 경우 다음으로 설정됩니다." 전역 개체, 함수가 개체의 메서드인 경우 이는 항상 개체를 가리킬 것입니다. 이는 절대 사실이 아닙니다.") 주제를 계속 진행하면 일반적인 전역 함수도 다양한 호출 방법으로 인해 활성화되며 이러한 다양한 호출 방법이 이에 대한 다른 값을 생성한다는 것을 알 수 있습니다.

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

function foo() {
alert(this);
}
foo(); // 전역
alert(foo === foo.prototype.constructor); / true
// 그러나 동일한 함수의 호출 표현식
//의 다른 형식에서는 이 값이 다릅니다.
foo.prototype.constructor() // foo.prototype

때때로 어떤 객체의 메소드로 함수가 호출될 수 있는데, 이 객체에는 this의 값이 설정되지 않습니다.

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

var foo = {
bar: function () {
alert(this);
alert(this === foo);
}
}; // foo, true
var exampleFunc = foo.bar;
alert(exampleFunc === foo.bar); // true
// 동일한 함수의 다른 형식의 호출 표현식을 사용하면
// this value
exampleFunc(); // global, false

그럼 함수 호출 방식이 this 값에 어떤 영향을 미칠까요? 이것의 가치가 어떻게 결정되는지 완전히 이해하기 위해서는 내부 유형(참조 유형)을 자세히 분석해야 합니다.
참조 유형
의사 코드를 사용하면 참조 유형은 두 가지 속성, 즉 기본(즉, 속성이 있는 개체)과 기본에 있는 propertyName을 갖는 개체로 표현될 수 있습니다.

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

var valueOfReferenceType = {
base: ,
propertyName:
}

참조 유형 값은 다음 두 가지 상황에서만 존재합니다.
1. 식별자 언제;(식별자를 다룰 때;)
2. 또는 속성 접근자를 사용하여;(또는 속성 접근자를 사용합니다.)
식별자 처리는 4장에서 설명합니다. 이 메서드를 사용하는 반환 값은 항상 참조 유형 값이라는 점만 알아두세요(이 점이 중요합니다).
식별자는 전역 개체의 변수 이름, 함수 이름, 함수 매개변수 이름 및 인식할 수 없는 속성 이름입니다. 예를 들어 다음 식별자의 값은 다음과 같습니다.
var foo = 10;
function bar() {}
작업의 중간 결과에서 참조 유형의 해당 값은 다음과 같습니다. 🎜>

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

var fooReference = {

base: global ,
propertyName: 'foo'
};
var barReference = {
base: global,
propertyName: 'bar'
}


참조 유형에서 객체의 실제 객체를 가져오기 위해 Value는 다음과 같이 의사 코드로 GetValue 메서드(번역자 주: 11.1.6)로 표현할 수 있습니다.

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

function GetValue(value) {

if (Type(value) != Reference) {
return value;
}
var base = GetBase( value);
if (base === null) {
throw new ReferenceError;
}
return base.[[ Get]](GetPropertyName(value));
}


내부 [[Get]] 메서드는 프로토타입 체인에서 상속된 속성 분석을 포함하여 개체 속성의 실제 값을 반환합니다.

GetValue(fooReference); // 10
GetValue(barReference); // 함수 객체 "bar"
속성 접근자는 모두 익숙해야 합니다. 여기에는 점(.) 구문(속성 이름이 올바른 식별자이고 미리 알려진 경우) 또는 대괄호 구문([])의 두 가지 변형이 있습니다.
foo.bar();
foo['bar']();
중간 반환값 계산에서 참조 유형에 해당하는 값은 다음과 같습니다.

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

var fooBarReference = {

base: foo,
속성 이름: '바'
}


GetValue(fooBarReference); // 함수 객체 "bar"
그렇다면 가장 중요한 의미에서 참조 유형의 값은 함수 컨텍스트에서 this의 값과 어떤 관련이 있습니까? 이러한 연합 과정이 이 글의 핵심이다. (주어진 순간이 이 글의 주요 내용입니다.) 함수 컨텍스트에서 this 값을 결정하는 일반적인 규칙은 다음과 같습니다.
함수 컨텍스트에서 this 값은 호출자가 제공하며 다음에 의해 결정됩니다. 함수가 호출되는 방식. 호출 대괄호()의 왼쪽이 참조 유형 값인 경우 이는 참조 유형 값의 기본 객체로 설정됩니다(참조 유형과 다른 다른 속성). 널. 그러나 this 값이 null인 실제 상황은 없습니다. 왜냐하면 this 값이 null이면 해당 값이 암시적으로 전역 개체로 변환되기 때문입니다.
예제를 살펴보겠습니다.

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

function foo () {
return this;
}
foo(); // global

호출 괄호의 왼쪽에는 참조 유형이 있습니다. 값(foo는 식별자이기 때문에):

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

var fooReference = {
base : global,
propertyName: 'foo'
};

이 역시 참조 유형의 기본 객체로 설정됩니다. 그것이 전역 객체입니다.
마찬가지로 속성 접근자를 사용합니다.

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

var foo = {
bar: function () {
return this;
}
} // foo

마찬가지로, 기본이 foo 객체인 참조 유형 값이 있습니다. 함수 표시줄이 활성화되면 기본이 이것으로 설정됩니다.

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

var fooBarReference = {
base: foo,
propertyName: 'bar'
};

단, 동일한 함수가 다른 방식으로 활성화되면 this의 값이 달라집니다.
var test = foo.bar;
test(); // global
test는 식별자로 사용되기 때문에 다른 참조형 값을 생성하고 이 값의 기본(전역 객체)이 설정됩니다. 이 값.

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

var testReference = {
base: global,
propertyName: 'test'
};

이제 동일한 기능을 다른 형식으로 활성화하면 다른 참조가 생성되는 이유를 명확하게 설명할 수 있습니다. 유형의 중간 값(Reference 유형)입니다.

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

function foo() {
alert (this) ;
}
foo(); // 전역, 왜냐하면
var fooReference = {
base: global,
propertyName: 'foo'
Alert(foo === foo.prototype.constructor); // true
// 호출 표현식의 다른 형태
foo.prototype.constructor(); // foo.prototype, 왜냐하면
var fooPrototypeConstructorReference = {
base: foo.prototype,
propertyName: 'constructor'
};


다음을 호출하여 이 값을 동적으로 결정하는 또 다른 전형적인 예:

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

function foo() {

alert(this.bar );
}
var x = {bar: 10};
var y = {bar: 20}
x.test =
y.test = foo; >x.test( ; 그러나 다른 유형의 경우 this 값은 자동으로 null로 설정되고 this 값은 실제로 암시적으로 전역 개체로 변환됩니다.
다음 함수 표현식을 생각해보자:

코드 복사


코드는 다음과 같다:

(function () { alert(this); // null => 전역 })()
이 예에서는 함수 객체가 있지만 참조 유형 객체는 없습니다(식별자나 속성 접근자가 아니기 때문입니다). 따라서 이 값은 궁극적으로 전역 객체로 설정됩니다.
더 복잡한 예:

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

var foo = {
bar: function () {
alert(this)
}
}
foo.bar(); // 참고, OK => (foo .bar)(); // 참조, OK => foo
(foo.bar = foo.bar)() // 전역?
(false || foo.bar)(); / global?
(foo.bar, foo.bar)(); // 전역?

그럼 중간 값이 참조 유형 값이어야 하는 속성 접근자가 있는 이유는 무엇입니까? , 그러나 일부 호출에서는 this 값이 기본 개체가 아니라 전역 개체라는 것을 알 수 있습니다.
다음 세 번의 호출에서 문제가 발생합니다. 특정 작업을 수행한 후 호출 괄호 왼쪽의 값이 더 이상 참조 유형이 아닙니다.
첫 번째 예는 명백합니다. 즉, 명백한 참조 유형입니다. 결과적으로 이것이 기본 개체인 foo입니다.
두 번째 예에서 그룹화 연산자(번역자 참고: 여기에서 그룹화 연산자는 foo.bar 외부의 대괄호 "()"를 나타냄)는 참조 유형 획득 방법에서 위에서 언급한 내용을 생각해 보면 실질적인 의미가 없습니다. GetValue(11.1.6 참조)와 같은 객체의 실제 값. 이에 따라 그룹화 작업의 반환 값에서 우리가 얻는 것은 여전히 ​​참조 유형입니다. 이것이 바로 this 값이 기본 개체인 foo로 다시 설정되는 이유입니다.
세 번째 예에서는 그룹화 연산자와 달리 할당 연산자가 GetValue 메서드를 호출합니다(11.13.1의 세 번째 단계 참조). 반환된 결과는 이미 함수 객체(참조 유형이 아님)입니다. 즉, 이 값은 null로 설정되고 실제 최종 결과는 전역 객체로 설정됩니다.
네 번째와 다섯 번째는 동일합니다. 쉼표 연산자와 논리 연산자(OR)가 GetValue 메서드를 호출합니다. 이에 따라 참조 유형 값을 잃고 함수 유형 값을 가져오므로 이 값이 다시 글로벌 객체.
참조 유형이며 이는 null입니다.
호출 표현식의 왼쪽에서 참조 유형의 값을 호출 괄호로 결정하는 상황이 있습니다. 번역가의 메모, 원본 텍스트는 약간 지연됩니다!), 어떤 경우에도 마찬가지입니다. , 이 값이 null로 설정되어 있는 한 결국 암시적으로 전역으로 변환됩니다. 이러한 상황은 참조 유형 값의 기본 개체가 활성화 개체일 때 발생합니다.
다음 예에서는 부모 함수에 의해 내부 함수가 호출되는 경우 위에서 언급한 특별한 상황을 볼 수 있습니다. 2장에서 배운 것처럼 지역 변수, 내부 함수, 형식 매개변수는 해당 함수의 활성화 개체에 저장됩니다.

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

function foo() {
function bar() {
alert(this); // 전역
}
bar(); // AO.bar()와 동일
}

활성화됨 객체는 항상 반환됩니다. 반환 - 이 값은 null입니다(즉, 의사 코드 AO.bar()는 null.bar()와 동일합니다). (번역자 주: 이해가 안 간다면 여기를 참고하세요.) 여기서 다시 위에서 설명한 상황으로 돌아가서 결국 this의 값이 전역 객체로 설정됩니다.
예외가 있습니다: "with 문에서 함수가 호출되고 함수 이름 속성이 with 객체에 포함되는 경우(번역자 참고 사항: 아래 예에서는 __withObject)". with 문은 범위 체인의 앞, 즉 활성화 개체 앞에 해당 개체를 추가합니다. 이에 따라 참조 유형에는 (식별자 또는 속성 접근자를 통해) 값이 있으며 해당 기본 개체는 더 이상 활성화 개체가 아니라 with 문의 개체입니다. 그런데 이 상황은 내부 함수뿐만 아니라 전역 함수에도 관련이 있습니다. 왜냐하면 with 개체가 범위 체인의 맨 앞 개체(전역 개체 또는 활성화 개체)보다 빠르기 때문입니다.

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

var x = 10>with ({
foo: function () {
alert(this.x);
},
x: 20
}) {
foo(); >}
// 왜냐하면
var fooReference = {
base: __withObject,
propertyName: 'foo'
};


실제 매개변수의 함수 catch 문 비슷한 상황이 호출에 존재합니다. 이 경우 catch 개체는 범위 앞, 즉 활성화 개체나 전역 개체 앞에 추가됩니다. 그러나 이 특정 동작은 ECMA-262-3의 버그로 확인되었으며, 이는 ECMA-262-5의 새 버전에서 수정되었습니다. 수정 후 특정 활성화 개체에서 이는 전역 개체를 가리킵니다. 캐치 개체가 아닌.

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

try {
throw function () {
alert(this)
}
} catch (e) {
e(); ES3, 전역 - ES5에서 수정됨
}
// 아이디어
var eReference = {
base: __catchObject,
propertyName: 'e'
}// 하지만 이것은 버그이므로
// 이 값은 전역
// null => global
var eReference = {
base: global,
propertyName: 'e '
};

이름이 지정된 함수에 대한 재귀 호출에서도 동일한 상황이 발생합니다(함수에 대한 자세한 내용은 5장. 함수 참조). 함수의 첫 번째 호출에서 기본 개체는 상위 활성화 개체(또는 전역 개체)입니다. 재귀 호출에서 기본 개체는 함수 표현식의 선택적 이름을 저장하는 특정 개체여야 합니다. 그러나 이 경우 this 값은 항상 전역으로 설정됩니다.

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

(function foo(bar) {
alert( this);
!bar && foo(1); // "는" 특수 객체여야 하지만 항상 (올바른) 전역
})(); 🎜>this 생성자로 호출되는 함수의 값
함수 컨텍스트에서 this 값이 관련된 또 다른 상황은 함수가 생성자로 호출되는 경우입니다.

코드 복사

코드는 다음과 같습니다. function A() { alert (this) ; // 새로 생성된 객체, 아래 - "a" 객체

this.x = 10

}
var a = new A()
alert(a.x); 10


이 예에서 new 연산자는 "A" 함수 내에서 [[Construct]] 메서드를 호출한 다음 개체가 생성된 후 내부 [[Call]] 메서드를 호출합니다. , 모두 동일한 함수 "A"는 모두 새로 생성된 개체에 이 값을 설정합니다.
함수 호출의 this를 수동으로 설정합니다.
Function.prototype에는 함수가 호출될 때 this 값을 수동으로 설정할 수 있도록 .apply 및 .call 메서드가 정의되어 있습니다(모든 함수는 가능). 액세스하세요). 호출 범위에서 사용되는 this 값으로 허용되는 첫 번째 인수를 사용합니다. 두 메서드 사이에는 큰 차이가 없습니다. .apply의 경우 두 번째 매개 변수는 배열(또는 인수와 같은 배열과 유사한 개체)이어야 합니다. 반대로 .call은 모든 매개 변수를 허용할 수 있습니다. 두 메서드의 필수 매개 변수 첫 번째 ——this.

function a(c) {
alert(this.b)
alert(c)
a(20); this === 전역, this .b == 10, c == 20
a.call({b: 20}, 30) // this === {b: 20}, this.b == 20, c == 30
a.apply({b: 30}, [40]) // this === {b: 30}, this.b == 30, c == 40

결론이 기사에서는 ECMAScript에서 이 키워드의 특성에 대해 논의합니다(그리고 실제로는 C나 Java의 기능과 대조적입니다. 번역가의 참고: 이 문장은 별로 유용하지 않습니다. 아직은 모르겠습니다) 지금은 읽지 않겠습니다.) 이 글이 ECMAScript에서 이 키워드가 어떻게 작동하는지 정확히 이해하는 데 도움이 되기를 바랍니다. 마찬가지로 댓글을 통해 귀하의 질문에 답변해 드리겠습니다. 기타 참고문헌 10.1.7 – This; 11.1.1 – this 키워드;

11.2.2 – 새로운 연산자;

11.2.3 – 함수 호출: ECMA- 262-3장 자세히.
중국어 주소: [JavaScript]ECMA-262-3 심층 분석. 3장.이
번역 내용:
1. 그래서 이 번역은 일부 장에서 그의 번역을 참고하고 있으며, 참고 부분이 전체 기사의 약 30%를 차지하고 나머지 70%는 완전히 재번역되었습니다
2. 번역 과정에서 제가 컨설팅한 내용은 다음과 같습니다. 번역본을 읽으실 때 원문목록을 참고하시면 됩니다.
3. 아무리 좋은 번역이라도 원문과 일치할 수 없으니 꼭 읽어보시길 권합니다. 번역본을 꼼꼼히 읽어보세요