JavaScriptで関数のシリアル化を行う方法 SpiderMonkey_基礎知識

Javascript では関数を簡単にシリアル化 (文字列化)、つまり関数のソース コードを取得できますが、実際にはこの操作の内部実装 (エンジン実装) は思っているほど単純ではありません。 SpiderMonkey では 2 つが使用されます。関数シリアル化テクノロジには 3 つあります。1 つは逆コンパイラを使用して、関数のコンパイルされたバイトコードをソース コード文字列に逆コンパイルするもので、もう 1 つは関数をバイトコードにコンパイルする前に関数のソース コードを圧縮するものです。

関数をシリアル化する方法
SpiderMonkey には、関数をシリアル化できるメソッドまたは関数が 3 つあります。 Function.prototype.toSource、unval。toString メソッドのみが標準です。つまり、すべてのエンジンに共通です。ただし、ES 標準 (ES5 15.3.4.2) には、Function.prototype.toString メソッドに関する説明がいくつかあります。 ) つまり、基本的に標準はなく、それをどのように実装するかはエンジンが決定します。

関数のシリアル化の主な役割は次のとおりです。シリアル化ソース コードによって生成された関数を使用して、この関数を再定義します。

コードをコピーします コードは次のとおりです:

function a() {

...
alert("a")
...
}

a() //"a" は可能性があります実行中にポップアップします

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

a() // 実行時に "b" がポップアップ表示される場合があります


あなたは次のように考えているかもしれません。確かに、自分の Web サイトの場合は、js ファイルを完全に制御できます。このパッチ適用方法で関数を変更する必要はなく、直接変更するだけです。しかし、ソース ファイルが制御下にない場合は、たとえば、greasemonkey スクリプトが一般的に使用されます。Web サイトの機能を無効にしたり、変更したりする必要がある場合があります。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,allowThirdPartyFixup: true}) ;"))

このコードの機能は次のとおりです: アドレス バーで Enter キーを押すと、Firefox が開きます。これを実現するには、toString メソッドを使用して gURLBar を読み取り、正規表現に置き換えて eval に渡して関数を再定義します。

それを直接定義しないのはなぜですか。つまり、関数を直接書き換えてください:

gURLBar.handleCommand = function(){...//元の関数を小さな場所で変更します}
これができない理由は、互換性を考慮する必要があるためです。そうであれば、この関数のソースコードはできるだけ変更しない方がよいでしょう。 書いてあるように、Firefox の gURLBar.handleCommand のソースコードが変更されると、このスクリプトになります。たとえば、Firefox3 と Firefox4 の両方にこの機能がありますが、機能の内容は大きく異なります。ただし、一部のキーワードを正規表現を使用して置き換える場合、このキーワードが変更されない限り、問題は発生します。


Decompile bytecode
SpiderMonkey では、関数はバイトコード (バイトコード) に解析された後にコンパイルされます。つまり、元の関数のソース コードが保存されます。 SpiderMonkey にはデコンパイラがあり、その主な機能は関数のバイトコードを関数ソース コードの形式に逆コンパイルすることです。
Firefox16 以前のバージョンでは、SpiderMonkey はこの方法を使用します。これらのバージョンの Firefox を使用している場合は、次のコードを試してください:

コードをコピー コードは次のとおりです:

alert(function () {

"String";
//Comment
return 1 2 3
}.toString())
返される文字列は
です
関数 () {
戻り値
}


出力は他のブラウザとは完全に異なります:

1. 意味のないプリミティブ値リテラルはコンパイル中に削除されます。この例では、それは「文字列」です。

「問題ないようです。いずれにせよ、これらの値は関数の動作にとって意味がありません。待って、何か忘れていませんか?」と思われるかもしれません。これは strict を意味します。パターン文字列「use strict」はどうすればよいですか?

Firefox 3.6 などの strict モードをサポートしていないバージョンでは、この「use strict」は他の文字列と変わらないため削除されます。 SpiderMonkey が strict モードを実装した後は、コンパイル時に "use strict" という文字列も無視されますが、この関数が strict モードであるかどうかは、関数本体の先頭にあると判断されます。 「use strict」を 1 行に追加します。対応するエンジンのソース コードは次のとおりです。

コードをコピーします。 コードは次のとおりです。

DecompileBody(JSPrinter *jp, JSScript *script, jsbytecode *pc)

{
/* 必要に応じて、厳密モード コード ディレクティブを出力します。 . */
if (script->strictModeCode && !jp->strict) {
if (jp->fun && (jp->gt;fun->flags & JSFUN_EXPR_CLOSURE)) {
/*
* 厳密な関数式の構文はありません。
* 少なくともヒントを与えてください。
*/
js_printf(jp, "t/* use strict */ n");
} else {
js_printf(jp, "t"use strict";n");
}
jp->strict = true;

jsbytecode *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 の頃でした。具体的な問題ははっきりとは覚えていませんが、おそらく次のようなものでした。 >

コードをコピー

コードは次のとおりです:

>(function (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=1、b=2、c="3" の場合、a b c は "33" に等しくなります。 (b c) は "123 " に等しい。

逆コンパイラに関して、Mozilla エンジニアの Luke Wagner は、逆コンパイラがいくつかの新機能の実装を大きく妨げており、しばしばいくつかのバグを抱えていると指摘した。まだまだ続きますが、私も昨年、逆コンパイラーによる多大な影響を感じました。また、テストのカバレッジも低く、些細でない変更は必ずファズバグを生み出します。この影響を早く取り除くほど、より早く利益を得ることができます。特に、新しい言語機能のために大規模なフロントエンド/バイトコードのハッキングを行った後よりも、今がそれを削除するより良い時期だと思います。

Brendan Eich 氏は、逆コンパイラーには多くの欠点があるとも言いました。

私は逆コンパイラには愛がありません。17 年間ハッキングされ続けています。ストレージ関数のソース コード
Firefox17 以降、SpiderMonkey は 2 番目の実装方法に変更されました。他のブラウザもこの方法で実装する必要があります。空白文字やコメントなどを含めてソースコードと完全に一致しています。この場合、ほとんどの問題は解消されるはずですが、

については別の質問があるようです。例:

コードをコピー コードは次のとおりです。

(function A() {

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


もちろん、返されるソース コードには "use strict" も含まれている必要があります。すべてのブラウザで true これは実現されます:

コードをコピー コードは次のとおりです:

関数A() {

"厳密な使用";
alert("A");


次の場合はどうなるでしょう:

コードをコピー コードは次のとおりです: (function A() {

"use strict";

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


内部関数 B も厳密モードである必要があります。 B? を出力する関数のソースコードに 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 がメソッドの戻り値を再評価するときに、
// 再生成された関数が元の関数と同じセマンティクスを持つことが保証されます。


違いは、他のブラウザには「use strict」がないことです:

コードをコピーします


コードは次のとおりです。


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

あまり影響はありませんが、 Firefox の実装の方が合理的だと思います。