検索
ホームページウェブフロントエンドjsチュートリアルJavaScript 実行メカニズムのサンプルコード分析

JavaScript 実行メカニズムのサンプル コード分析

簡単な質問から始めます:

<script type="text/javascript">     
alert(i);   
var i = 1;     
</script>

出力結果は未定義です。この現象は「事前解析」と呼ばれます。JavaScript エンジンは var 変数と関数の解析を優先します。意味。事前解析が完了するまでコードは実行されません。ドキュメント ストリームに複数のスクリプト コード セグメント (スクリプト タグで区切られた JS コード、またはインポートされた JS ファイル) が含まれている場合、実行シーケンスは次のとおりです。

ステップ 1、最初のコード セグメントを読み取り、エラーがある場合は、ステップ 2 を実行します。構文エラー (括弧の不一致など) が報告され、ステップ 5

ステップ 3 に進みます。var 変数と関数定義の「事前解析」を実行します (正しい宣言のみが解析されるため、エラーは報告されません)。 )

step4. コード セグメントを実行し、エラーがある場合はエラーを報告します (変数が未定義であるなど)。

step5. 別のコード セグメントがある場合は、次のコード セグメントを読み取り、step2
step6 を繰り返します。上記の分析で多くの問題はすでに説明できますが、私は常に何かが欠けているように感じていました。たとえば、ステップ 3 の「事前解析」とは正確には何ですか?ステップ 4 では、次の例を見てください:

<script type="text/javascript">     
alert(i); // error: i is not defined.     
i = 1;     
</script>

最初の文でエラーが発生するのはなぜですか? JavaScript では変数を未定義にする必要はないのでしょうか?

編集プロセス

本棚の隣で、別世界のような『編集の原理』を開くと、見慣れた、しかし見慣れない空白の中にこんなメモがあった。従来のコンパイル言語の場合、コンパイル手順は字句解析、構文解析、意味チェック、コードの最適化、バイト生成に分かれています。

しかし、インタープリタ型言語の場合は、字句解析と構文解析を通じて構文ツリーが取得された後、解釈と実行を開始できます。

簡単に言えば、字句解析とは、 c = a – b; を次のように変換するなど、文字ストリーム (char ストリーム) をトークン ストリーム (トークン ストリーム) に変換することです。

NAME "c" 
EQUALS  
NAME "a" 
MINUS  
NAME "b" 
SEMICOLON

上記は単なる例です。 、字句解析を確認してください。

「JavaScript の決定版ガイド」の第 2 章では、ECMA-262 にも記載されている字句構造について説明しています。語彙構造は言語の基礎であり、習得は簡単です。字句解析の実装については、別の研究領域であるため、ここでは説明しません。

自然言語を例えとして使用できます。たとえば、英語の段落を単語ごとに中国語に翻訳すると、大量のトークン ストリームが得られます。理解するのが難しいです。さらに翻訳するには文法解析が必要です。次の図は条件文の構文ツリーです。

構文ツリーを構築する際に、if(a { i = 2; } など) が構築できないことが判明した場合、構文はエラーが報告され、コード ブロック全体の解析を終了します。これは、この記事の冒頭のステップ 2 です。

構文分析を通じて構文ツリーを構築した後でも、翻訳された文があいまいな場合があり、さらなる意味チェックが必要になります。従来の強く型付けされた言語の場合、セマンティック チェックの主な部分は、関数の実パラメータと仮パラメータの型が一致するかどうかなどの型チェックです。弱い型付けの言語では、このステップは利用できない場合があります。 JS を読む時間です)。エンジンの実装には、JS エンジンにセマンティック チェック ステップがあるかどうかわかりません。

上記の分析から、JavaScript エンジンには字句解析と構文が必要であることがわかります。これらのコンパイル手順が完了すると (どの言語にもコンパイル プロセスがありますが、インタープリタ言語はバイナリ コードにコンパイルされません)、コードが実行されます。

上記のコンパイル プロセスについては、記事の冒頭ではまだ詳しく説明できません。「事前解析」の一部として、JavaScript コードの実行プロセスを注意深く調査する必要があります。

実行プロセス

Zhou Aiminこれについては、「JavaScript 言語の本質とプログラミングの実践」の第 2 部で非常に注意深く分析しています。以下に私の洞察をいくつか示します。

コンパイルを通じて、JavaScript コードは構文ツリーに変換されます。

さらに実行するには、JavaScript のスコープの仕組みを理解する必要があります。簡単に言えば、JavaScript 変数のスコープは定義時に決定されます。つまり、字句スコープはソース コードに依存し、コンパイラは静的解析を通じてそれを決定できるため、字句スコープは静的スコープとも呼ばれます。ただし、セマンティクスに注意する必要があります。 with と eval は静的技術だけでは実現できません。実際、JS のスコープ機構はレキシカルスコープに非常に近いとしか言​​えません。

JS エンジンは各関数を実行します。インスタンスが作成されると、実行コンテキストが生成されます。実行コンテキストには、内部変数テーブル varDecls、組み込み関数テーブル funDecls、および親参照リスト (注: varDecls などの情報) を保存するために使用される scriptObject 構造体である呼び出しオブジェクトが含まれます。 funDecls は構文解析段階で取得され、関数インスタンスの実行時に構文ツリーに保存されます。この情報は構文ツリーから scriptObject にコピーされます。 scriptObject は、関数インスタンスのライフサイクルと一致する、関数に関連する静的システムのセットです。

lexical scope是JS的作用域机制,还需要理解它的实现方法,这就是作用域链(scope chain)。scope chain是一个name lookup机制,首先在当前执行环境的scriptObject中寻找,没找到,则顺着upvalue到父级scriptObject中寻找,一直 lookup到全局调用对象(global object)。

当一个函数实例执行时,会创建或关联到一个闭包(closure)。 scriptObject用来静态保存与函数相关的变量表,closure则在执行期动态保存这些变量表及其运行值。closure的生命周期有可能比函数实例长。函数实例在活动引用为空后会自动销毁,closure则要等要数据引用为空后,由JS引擎回收(有些情况下不会自动回收,就导致了内存泄漏)。

别被上面的一堆名词吓住,一旦理解了执行环境、调用对象、闭包、词法作用域、作用域链这些概念,JS语言的很多现象都能迎刃而解。

小结

至此,对于文章开头部分的疑问,可以解释得很清楚了:

step3中所谓的“预解析”,其实是在step2的语法分析阶段完成,并存储在语法树中。当执行到函数实例时,会将varDelcs和funcDecls从语法树中复制到执行环境的scriptObject上。

step4中,未定义变量意味着在scriptObject的变量表中找不到,JS引擎会沿着scriptObject的upvalue往上寻找,如果都没找到,对于写操作i = 1; 最后就会等价为 window.i = 1; 给window对象新增了一个属性。对于读操作,如果一直追溯到全局执行环境的scriptObject上都找不到,就会产生运行期错误。

理解后,雾散花开,天空一片晴朗。

最后,留个问题给大家:

<script type="text/javascript">     
var arg = 1;     
function foo(arg) {     
alert(arg);     
var arg = 2;     
}     
foo(3);     
</script>

请问alert的输出是什么?

以上がJavaScript 実行メカニズムのサンプルコード分析の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
es6数组怎么去掉重复并且重新排序es6数组怎么去掉重复并且重新排序May 05, 2022 pm 07:08 PM

去掉重复并排序的方法:1、使用“Array.from(new Set(arr))”或者“[…new Set(arr)]”语句,去掉数组中的重复元素,返回去重后的新数组;2、利用sort()对去重数组进行排序,语法“去重数组.sort()”。

JavaScript的Symbol类型、隐藏属性及全局注册表详解JavaScript的Symbol类型、隐藏属性及全局注册表详解Jun 02, 2022 am 11:50 AM

本篇文章给大家带来了关于JavaScript的相关知识,其中主要介绍了关于Symbol类型、隐藏属性及全局注册表的相关问题,包括了Symbol类型的描述、Symbol不会隐式转字符串等问题,下面一起来看一下,希望对大家有帮助。

原来利用纯CSS也能实现文字轮播与图片轮播!原来利用纯CSS也能实现文字轮播与图片轮播!Jun 10, 2022 pm 01:00 PM

怎么制作文字轮播与图片轮播?大家第一想到的是不是利用js,其实利用纯CSS也能实现文字轮播与图片轮播,下面来看看实现方法,希望对大家有所帮助!

JavaScript对象的构造函数和new操作符(实例详解)JavaScript对象的构造函数和new操作符(实例详解)May 10, 2022 pm 06:16 PM

本篇文章给大家带来了关于JavaScript的相关知识,其中主要介绍了关于对象的构造函数和new操作符,构造函数是所有对象的成员方法中,最早被调用的那个,下面一起来看一下吧,希望对大家有帮助。

JavaScript面向对象详细解析之属性描述符JavaScript面向对象详细解析之属性描述符May 27, 2022 pm 05:29 PM

本篇文章给大家带来了关于JavaScript的相关知识,其中主要介绍了关于面向对象的相关问题,包括了属性描述符、数据描述符、存取描述符等等内容,下面一起来看一下,希望对大家有帮助。

javascript怎么移除元素点击事件javascript怎么移除元素点击事件Apr 11, 2022 pm 04:51 PM

方法:1、利用“点击元素对象.unbind("click");”方法,该方法可以移除被选元素的事件处理程序;2、利用“点击元素对象.off("click");”方法,该方法可以移除通过on()方法添加的事件处理程序。

整理总结JavaScript常见的BOM操作整理总结JavaScript常见的BOM操作Jun 01, 2022 am 11:43 AM

本篇文章给大家带来了关于JavaScript的相关知识,其中主要介绍了关于BOM操作的相关问题,包括了window对象的常见事件、JavaScript执行机制等等相关内容,下面一起来看一下,希望对大家有帮助。

20+道必知必会的Vue面试题(附答案解析)20+道必知必会的Vue面试题(附答案解析)Apr 06, 2021 am 09:41 AM

本篇文章整理了20+Vue面试题分享给大家,同时附上答案解析。有一定的参考价值,有需要的朋友可以参考一下,希望对大家有所帮助。

See all articles

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

AI Hentai Generator

AI Hentai Generator

AIヘンタイを無料で生成します。

ホットツール

WebStorm Mac版

WebStorm Mac版

便利なJavaScript開発ツール

ドリームウィーバー CS6

ドリームウィーバー CS6

ビジュアル Web 開発ツール

SublimeText3 Mac版

SublimeText3 Mac版

神レベルのコード編集ソフト(SublimeText3)

DVWA

DVWA

Damn Vulnerable Web App (DVWA) は、非常に脆弱な PHP/MySQL Web アプリケーションです。その主な目的は、セキュリティ専門家が法的環境でスキルとツールをテストするのに役立ち、Web 開発者が Web アプリケーションを保護するプロセスをより深く理解できるようにし、教師/生徒が教室環境で Web アプリケーションを教え/学習できるようにすることです。安全。 DVWA の目標は、シンプルでわかりやすいインターフェイスを通じて、さまざまな難易度で最も一般的な Web 脆弱性のいくつかを実践することです。このソフトウェアは、

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境