자바스크립트에서 함수 직렬화를 수행하는 방법 SpiderMonkey_기본 지식

Javascript에서는 함수를 쉽게 직렬화(문자열화)할 수 있습니다. 즉, 함수의 소스 코드를 얻을 수 있습니다. 하지만 실제로 이 작업의 내부 구현(엔진 구현)은 생각만큼 간단하지 않습니다. 두 가지는 SpiderMonkey에서 사용되는 세 가지 함수 직렬화 기술입니다. 하나는 디컴파일러를 사용하여 함수의 컴파일된 바이트코드를 소스 코드 문자열로 디컴파일하는 것이고, 다른 하나는 함수를 바이트코드로 컴파일하기 전에 함수 소스 코드를 압축하는 것입니다. 저장한 다음 사용 시 압축을 풀고 복원하세요.

함수 직렬화 방법
SpiderMonkey에는 함수를 직렬화할 수 있는 세 가지 메서드 또는 함수가 있습니다: Function.toString, Function.prototype.toSource, uneval. toString 메소드만 표준입니다. 즉, 모든 엔진에 공통입니다. 그러나 ES 표준(ES5 15.3.4.2)에는 Function.prototype.toString 메소드에 대한 몇 가지 단어만 있습니다. ) 즉, 기본적으로 표준이 없으며 이를 구현하는 방법을 엔진이 결정합니다.

함수 직렬화의 역할
함수 직렬화의 주요 역할은 다음과 같습니다. 직렬화 소스 코드에서 생성된 함수를 사용하여 이 함수를 재정의하세요.

코드를 복사하세요 코드는 다음과 같습니다.

function a() {
...
alert("a")
...
}

a() //"a" may 실행 중 팝업

a = eval("(" a.toString().replace('alert("a")', 'alert("b")') ")")

a() //"b"를 실행하면 팝업이 나타날 수 있습니다.

"나는 수년간 Javascript를 작성해왔는데 왜 이런 종류의 것을 접하지 못했을까?"라고 생각할 수도 있습니다. 수요?" 실제로 자신의 웹사이트라면 js 파일을 완전히 제어할 수 있으므로 이 패치 방법의 기능을 수정할 필요가 없으며 직접 수정하면 됩니다. 그러나 소스 파일이 사용자의 제어 하에 있지 않은 경우 예를 들어, Greasemonkey 스크립트가 일반적으로 사용됩니다. 웹 사이트의 기능을 비활성화하거나 수정해야 할 수도 있습니다. Firefox 확장도 있습니다. Firefox 자체의 특정 기능을 수정해야 합니다. Firefox는 JS로 작성되었다고 합니다.) 다음은 제가 직접 작성한 예입니다. Firefox 스크립트 예:

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

location == "chrome:/ /browser/content/browser.xul" && eval("gURLBar.handleCommand=" gURLBar.handleCommand.toString().replace( /^s*(load. );/gm, "/^javascript:/.test(url )||(content.location=='about:blank'||content.location=='about:newtab')? $1:gBrowser.loadOneTab(url,{postData:postData,inBackground:false, makeThirdPartyFixup: true}) ;"))

이 코드의 기능은 다음과 같습니다. 주소 표시줄에서 Enter 키를 누르면 Firefox가 열리게 됩니다. 이를 달성하는 방법은 toString 메소드를 사용하여 gURLBar를 읽는 것입니다. 그런 다음 HandleCommand 함수의 소스 코드가 정규식으로 대체되고 함수를 재정의하기 위해 eval에 전달됩니다.

직접 정의하면 안되는 이유, 즉 함수를 직접 다시 작성하면 됩니다:

gURLBar.handleCommand = function(){...//작은 곳에서 원래 함수를 변경합니다.}
이 작업을 수행할 수 없는 이유는 호환성을 고려해야 하기 때문입니다. 그렇다면 이 함수의 소스 코드를 가능한 한 적게 변경해야 합니다. 작성된 대로 Firefox의 gURLBar.handleCommand 소스 코드가 변경되면 이 스크립트는 다음과 같이 됩니다. 예를 들어 Firefox3과 Firefox4 모두 이 기능을 가지고 있지만 기능의 내용은 매우 다릅니다. 그러나 정규식을 사용하여 일부 키워드를 대체하면 이 키워드가 변경되지 않습니다.

바이트코드 디컴파일
SpiderMonkey에서는 함수를 바이트코드(바이트코드)로 파싱한 후 컴파일합니다. 즉, 원래 함수 소스 코드가 저장됩니다. SpiderMonkey에는 디컴파일러가 있는데, 그 주요 기능은 함수의 바이트코드를 함수 소스 코드 형태로 디컴파일하는 것입니다.

Firefox16 및 이전 버전에서는 SpiderMonkey가 이 방법을 사용합니다. 해당 버전의 Firefox를 사용 중이라면 다음 코드를 사용해 보세요.

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

alert(function () {
"String";
//Comment
return 1 2 3
}.toString())
반환된 문자열은
입니다.
함수 () {
6을 반환
}

출력이 다른 브라우저와 완전히 다릅니다:

1. 의미 없는 기본 값 리터럴은 컴파일 중에 삭제됩니다. 이 예에서는 "문자열"입니다.

'어쨌든 문제가 되지 않는 것 같은데, 이 값은 함수 작동에 아무런 의미가 없습니다.'라고 생각할 수도 있습니다. strict를 의미합니다. 패턴 문자열 "use strict"를 어떻게 처리하나요?

Firefox 3.6과 같이 strict 모드를 지원하지 않는 버전에서는 이 "use strict"는 다른 문자열과 다르지 않으며 삭제됩니다. .SpiderMonkey가 엄격 모드를 구현한 후에는 "use strict" 문자열도 컴파일 중에 무시되지만, 이 함수가 엄격 모드에 있으면 처음에 함수 본문에 있게 됩니다. 한 줄에 "use strict"를 추가하면 다음은 해당 엔진 소스 코드입니다.

static JSBool

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

DecompileBody(JSPrinter *jp, JSScript *script, jsbytecode *pc)
{
/* 필요한 경우 엄격 모드 코드 지시문을 인쇄합니다. . */
if (script->strictModeCode && !jp->strict) {
if (jp->fun && (jp->fun->flags & JSFUN_EXPR_CLOSURE)) {
/*
* 엄격한 함수 표현식에 대한 구문은 없습니다.
* 최소한 힌트를 주세요.
*/
js_printf(jp, "t/* use strict */ n");
} else {
js_printf(jp, "t"use strict";n")
}
jp->strict = true; *end = script->code script->length;
return DecompileCode(jp, script, pc, end - pc, 0)



2 . 컴파일 중 주석도 삭제됩니다

별 영향은 없을 것 같지만 여러 줄 문자열을 구현하기 위해 함수 주석을 사용하려는 사람들도 있습니다. Firefox 17 이전 버전.


코드 복사

코드는 다음과 같습니다. function hereDoc(f ) {　 return f.toString( ).replace(/^.s/,"").replace(/.$/,"")

}

var string = hereDoc(function () {/*
나
너
그
*/})
console.log(string)


나
너
그

3. 원래 값 리터럴 작업은 컴파일 타임에 수행됩니다

이것은 언급된 "고성능 JavaScript"입니다.

디컴파일 단점

새로운 기술(예: 엄격 모드)의 출현 및 기타 관련 버그 수정으로 인해 디컴파일러의 이 부분 구현을 변경해야 하는 경우가 종종 있습니다. 변경으로 인해 새로운 버그가 발생할 수 있습니다. .. 개인적으로 버그가 발생했던 적이 있습니다. 아마도 Firefox 10쯤 되었을 것입니다. 구체적인 문제는 잘 기억나지 않습니다. 어쨌든 디컴파일 시 괄호를 유지해야 하는지에 관한 것이었습니다.

코드 복사

코드는 다음과 같습니다. >(함수 (a,b,c) {return (a b) c}).toString () "function (a, b, c) { return a b c;

}"

디컴파일 시 괄호는 (a b)에서는 생략됩니다. 추가 연관성은 왼쪽에서 오른쪽으로 진행되므로 중요하지 않습니다. 그러나 내가 만난 버그는 다음과 같습니다.

코드 복사

코드는 다음과 같습니다: >(function (a,b,c){return a (b c)}).toString() "function (a, b, c) { return a b c

}"

이것은 작동하지 않습니다. a b c는 a(b c)와 동일하지 않습니다. 예를 들어 a=1, b=2, c="3"의 경우 a b c는 "33"과 같습니다. (bc)는 "123"과 같습니다.

Mozilla 엔지니어 Luke Wagner는 디컴파일러가 일부 새로운 기능을 구현하는 데 큰 방해가 되었으며 종종 몇 가지 버그가 있음을 지적했습니다.

아닙니다. 하지만 나 역시 작년에 디컴파일러로 인해 엄청난 지연을 느꼈습니다. 테스트 적용 범위도 열악하며 사소한 변경으로 인해 이 드래그를 빨리 제거할수록 더 빨리 이점을 얻을 수 있습니다. 특히, 새로운 언어 기능을 위해 중요한 프런트엔드/바이트코드 해킹을 수행한 후보다 지금이 이를 제거하기에 훨씬 더 좋은 시기라고 생각합니다.

Brendan Eich는 또한 디컴파일러에 많은 단점이 있다고 말했습니다.

저는 디컴파일러를 좋아하지 않습니다. 17년 동안 해킹당했습니다. 저장 함수 소스 코드
Firefox17 이후 SpiderMonkey는 두 번째 구현 방법으로 변경되었습니다. 함수 시퀀스 결과 문자열. 공백 문자, 주석 등을 포함하여 소스 코드와 완전히 일치합니다. 이 경우 대부분의 문제가 사라질 것입니다. 그러나 또 다른 질문은

입니다. 예:

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

(function A() {
"use strict";
alert("A");
}) ""

물론 반환된 소스 코드에는 "use strict"도 있어야 합니다. 모든 브라우저에 해당됩니다.

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

함수 A() {
"use strict";
alert("A");
}

그러나 다음과 같은 경우에는

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

(function A() {
"use strict";
return function B() {
alert( "B")
}
})() ""

내부 함수 B도 "엄격 모드"를 사용해야 합니다. B를 출력하는 함수 소스 코드에 "use strict"를 추가하시겠습니까? . 사용해 보세요:

위에서 언급한 것처럼 Firefox17 이전 버전과 Firefox4 이후 버전에서는 현재 함수가 포함되어 있는지 판단하여 "use strict"를 출력할지 여부를 결정합니다. 엄격 모드. 함수 B는 함수 A의 엄격 모드를 상속합니다. 따라서 "엄격한 사용"이 있습니다.

동시에 함수 소스 코드는 엄격하게 들여쓰기됩니다. 왜냐하면 디컴파일하는 동안 SpiderMonkey가 디컴파일된 형식을 포맷하기 때문입니다. 이전 소스 코드에 들여쓰기가 전혀 없더라도 상관없습니다:

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

function B() {
" use strict";
alert("B")
}

이후 버전 Firefox17에는 "use strict"가 있습니까? 함수 소스 코드가 직접 저장되기 때문에 예, 실제로 함수 B에는 "use strict"가 없습니다. 테스트 결과는 "use strict"가 추가되지만 문제가 있습니다.

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

function B() {
"use strict";

alert(" B")
}

SpiderMonkey의 최신 버전 jsfun.cpp 소스 코드에는 해당 주석이 있습니다.

// 함수의 상위 함수에 "use strict"가 있는 경우 이 함수는 상위 함수의 strict 모드를 상속합니다.
// 또한 함수에 "use strict"를 삽입합니다.
// 이는 이 함수의 toString이 메서드의 반환 값을 다시 평가할 때
// 재생성된 함수가 원래 함수와 동일한 의미를 갖도록 보장합니다. .


다른 브라우저에는 "엄격한 사용" 기능이 없다는 점이 다릅니다.

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

function B() {
alert("B")
}

큰 영향은 없지만, 나는 Firefox의 구현이 더 합리적이라고 생각합니다.