JavaScript의 eval()_javascript 팁에서 함수 사용에 대한 추가 논의

var func = eval("(function(){})");
alert(typeof func);
———————————
또 다른 문제는 이 책이 익명을 처리하며 JScript 및 SpiderMonkey에서 명명된 함수의 동작은 충분히 명확하게 설명되지 않습니다
. 자, 이 글에서는 이 문제에 대해 심도 있게 논의하고 있습니다. 책에 있는 내용뿐만 아니라 JS에 대한 좀 더 심층적인
설명과 실행 과정을 알려줍니다. 사실 모든 내용이 책에 담겨 있습니다. 하지만 너무 분산되어 있어서 특정 문제를 구체적으로 분석하기에는 불편합니다
.

우선 표현과 진술이 명확해야 합니다. JS의 경우 eval()은 항상 문장 실행을 시도하기 때문에
먼저 실행 텍스트를 문장으로 이해해야 합니다. 다음과 같습니다:
---------
eval("1")
---------
JS의 관점에서 보면 eval()은 반드시 명령문을 실행하므로 "1"은 더 이상 직접 표현이 아니라 "1;"과 동일한 직접 표현 문장이 됩니다. 이러한 내용은 "5.2.2 동적 실행 중 명령문, 표현식 및 값"
에서 자세히 설명합니다.

따라서 eval()의 반환 값은 실제로 문의 마지막(유효한) 절의 반환 값입니다. 다음으로
"선언문"과 "표현식"을 이해해야 합니다. 예:
───────
function x() {
//....
}
───────
물론입니다. 명명된 함수의 "선언문"입니다."선언문"은 값을 반환하지 않습니다. 즉, 선언문은 구문 해석 기간 동안 사전 컴파일러에 의해 처리되지만 실행 기간 동안에는
값과 반환 값이 없으므로 의미가 없습니다. 예를 들어 단순히 "var 이면
값(후자 값)을 반환합니다.

위 규칙은 JScript와 SpiderMonkey 모두 동일하며 차이가 없습니다. 차이점은 다음
내용입니다. 우선 SpiderMonkey는 이러한
기능을 직접 구현하기 위해 "함수 표현식"에 나타나는 "함수 이름"이 유효하지 않다고 가정합니다. "함수명"은 "선언
문장"에 명시되어 있고, "표현식"은 문장보다 낮은 수준(또는 하위 수준)이므로 "표현식
표현식"에 들어갈 수 없습니다. 선언"이 나타나므로 표현식에서 함수 이름을 무시해야 합니다. 이런 방식으로 SpiderMonkey의
다음 문은 다음과 같습니다.
-------
x = "1234" (function X() {});
기능 더 자세히 말하면:
-------
var X = 100;
x = "1234" (function
이 두 줄의 코드에서 변수 X는 두 번째 줄의 함수 이름 X가 유효하지 않기 때문에 다시 작성되었습니다. 이러한 내용
에 대해서는 책 "5.4.2.1 문법적 진술과 진술 의미의 불일치 문제"에 자세한 설명이 있습니다.

이 문제에 대한 MS JScript의 처리 방법도 위 섹션에서 논의되었습니다. JScript는 코드 본문
내 어디에나 나타나는 함수 식별자 선언을 인식합니다. 즉, 위의 식별자가 유효하므로 전역 변수
의 "X"가 다시 작성됩니다. 그러나 이러한 이유로 JScript에서는 다음 문제를 설명해야 합니다.
----
eval("(function(){})")
eval("( function SpiderMonkey는 함수 표현식을 인식하므로
를 표현식의 피연산자로 해석하고 JScript는 코드의 두 번째 줄에서 변수 이름 X를 인식해야 하므로
를 모두 명령문으로 해석해야 합니다. 즉, 기본적으로 JScript는 첫 번째 줄을 익명 함수 "선언문"으로 간주하고 두 번째 줄
을 명명된 함수 선언문으로 간주합니다. 따라서 앞서 언급한 것처럼 "선언문"은 값을 반환하지 않으므로 JScript의
코드 줄은 모두 정의되지 않은 값을 반환하고 코드의 두 번째 줄은 변수 이름 X를 선언합니다.

이 문제에 대해서는 각주에서 '함수 선언문의 의미'가 좀 모호하다고 말씀드렸는데요. 어쨌든
만 간단히 이해하면 JScript에서는 이를 "함수 명령문 선언"으로 생각하고 SpiderMonkey에서는 "함수 식
선언"으로 생각하기 때문입니다.

알겠습니다. 지금까지는 명확하게만 설명했을 것입니다:
--
eval("(function(){})")
eval("(function X(){}) ") ;
------
이 두 줄의 진술이 미치는 영향과 그 이유. 하지만 내 책에 있는 예와 각주에 대해서는 여전히 질문이 있습니다. 이는 다음 텍스트와 코드에서 나온 것입니다.
————————
그러나 JScript에는 예외가 있습니다. 함수 리터럴(여기서는 익명 함수)은 이런 방식으로 얻을 수 없습니다. 예를 들어 다음 코드는 다음과 같습니다.
var func = eval("(function() { })");
// "undefine" 출력
alert(typeof func)
, 명명된 함수(*)를 사용하여 얻을 수 있습니다. 예를 들면 다음과 같습니다. ………………
-------
먼저 이 텍스트는 상황에 맞는 텍스트라는 점에 유의하세요. 저는 변수 "func"에 유효한 값을 할당하는 방법을 보여드리고 싶습니다. 여기에는
두 가지 방법이 포함됩니다:
----
//방법 1, 익명 함수 사용
var func = eval("(function() { })"); (typeof func);

// 방법 2, 명명된 함수
var func
eval("function func() { }"); 🎜>—————
이 구절의 의미는 "JScript에서는 방법 1(익명 함수 사용)을 사용할 수 없으므로 두 번째 방법을 사용해야 합니다.",
그리고 각주에 , SpiderMonkey는 정반대라고 하며 이 예만 참조합니다. SpiderMonkey에서는 두 번째 방법은 유효하지 않지만 첫 번째 방법은 유효합니다.

이전 내용과 조금 다른 점은 메소드 2에서는 "반환 값"을 사용하지 않고 eval() 문에서 함수 이름 선언의 효과만 사용하여 전역 변수 func 에 영향을 준다는 점입니다. 그리고 이는 정확하게 SpiderMonkey가 이 선언의
식별자를 인식하지 못하기 때문에 유효하지 않습니다.

같은 이유로 독자 I22141님이 다음과 같이 바꾸라고 하더군요.
---- －－－－
SpiderMonkey에서는 반환값을 사용하는데, 더 이상 동일하지 않습니다. 위의 예와 같은 문제입니다. 그래서 I22141
이 "(그래서 SpiderMonkey에서 eval()을 사용하여 익명 함수를 반환할 수 있지만 명명된 함수는
정의되지 않은 함수만 반환할 수 있다는 말은 무슨 뜻인가요?)"라고 질문한 것도 이와 별개입니다. 예시 질문입니다.

마지막으로 세부적인 문제를 말씀드리자면, 이 사건 역시 책에는 언급되지 않은 사건입니다. 우선,
에서 위에서 JScript로 말했습니다:
--------
// 첫 번째 경우
var func = eval("(function(){}) ");
alert(typeof func); // "정의되지 않음" 표시
--------
JScript가 다음 함수를 익명 함수 선언으로 해석하므로 여기에 정의되지 않음이 표시됩니다. 가치가 없습니다. 사실
보다 좀 더 억지스럽습니다. 수정해 보겠습니다.
————————————
// 두 번째 경우
var func = eval("(1, function(){})")
alert (typeof func); // "함수" 표시
------
가 다릅니다. 그렇다면 첫 번째 경우 JScript를 표현식이 아닌 "선언문"으로 이해해야 하는 이유는 무엇일까요? 나는 확실히 모른다. 그냥 시작합니다:
-------
// 세 번째 경우
var X
eval("(function X(){})"); 경고(유형 더 이상한 점은 JScript가 표현식 연산자 "(...)" 내에 "문"을 허용하는 이유를 모르겠다는 것입니다. 왜냐하면 이론적으로 이 상황은
문법 분석으로는 해석하기 어렵기 때문입니다. "5.4.2.1 구문 선언과 명령문 의미의 불일치 문제"에서 다음 코드를 언급하기도 했습니다.
---------
// 예제 5: 구문 선언 단계에서 다시 작성
// 다시 작성
(function Object(){
}).prototype.value = 100;

// 표시 값이 정의되지 않음
var obj = new Object(); >alert(obj.value);
--------
실행 기간 및 명령문 분석 기간 동안 "(X).prototype.value"의 함수 X가 전역을 다루기 때문입니다. 개체 식별자
의 기능은 동일하지 않습니다. 그러나 JScript가 표현식에 선언문을 허용하는 이유를 아직도 이해하지 못합니다.
이와 더욱 반대되는 점은 그러한 가정이 인정된다면 왜 다음 명령문을 실행할 수 없다는 것입니다.
---------
(var x=100 );
-------- 🎜>--------
아... 이 질문에 대한 최종 답은 아직도 헷갈립니다.