最新版 |
編集中の文章 |
1行目: |
1行目: |
− | '''中間言語'''(読み:ちゅうかんげんご、[[英語]]:intermediate language)とは、[[プログラミング言語]]をもちいて書かれた[[ソースコード]]を、[[コンピュータ]]が理解できる唯一の言葉である[[マシン語]]に直接変換せず、中間的な形式に置き換えたもののことである。'''中間コード'''(intermediate code)と呼ばれることもある。 | + | '''中間言語'''(intermediate language)とは、[[プログラミング言語]]をもちいて書かれた[[ソースコード]]を、[[コンピュータ]]が理解できる唯一の言葉である[[マシン語]]に直接変換せず、中間的な形式に置き換えたもののことである。'''中間コード'''(intermediate code)と呼ばれることもある。 |
| | | |
− | == 概要 ==
| + | [[プログラマー]]が書いた[[ソースコード]]は人間が書く都合上、文法ミスなどが発生するが、文法チェックや構文解析などの比較的重い処理を事前にやっておき、問題がなければ中間言語として保存しておくことで、[[インタプリタ]]における実行速度を高速化したり、[[コンパイラ]]においてプラットフォームに依存しない最適化を行う際に用いられる。 |
− | [[プログラマー]]が書いた[[ソースコード]]は人間が書く都合上、文法ミス([[シンタックスエラー]])などが発生するが、文法チェックや構文解析などの比較的重い処理を事前にやっておき、問題がなければ[[コンピューター]]が読みやすい中間言語として保存しておくことで、[[インタプリタ]]における実行速度を高速化したり、[[コンパイラ]]において[[プラットフォーム]]に依存しない最適化や、最終的に実行するプラットフォームに依存した最適化を行う際に用いられる。 | |
| | | |
− | 中間言語のうち、[[固定長]]の特定[[バイト]]数の[[オペコード]](たとえば[[Javaバイトコード]]では1バイト、[[ARMコード]]では4バイト)と続くパラメーター(オプションなのでパラメーターが無いこともある)で表す、かなりマシン語に近い実装形式を[[バイトコード]]という。ただし、近年では[[固定長]]の[[バイト]]数の[[オペコード]]で表現する実装形式でなくとも[[バイトコード]]と呼ばれることが多くなっており、よほどの偏屈相手でも無い限り、バイトコードと中間言語と区別する必要はない。なお、偏屈な[[マイクロソフト]]は[[.NET Framework]]で用いる中間言語([[共通中間言語]])に[[可変長]]の[[オペコード]](と言ってもせいぜい2バイトだが)を採用し「[[マネージドコード]]」と名乗っている。
| + | 中間言語のうち、1[[バイト]]の[[オペコード]]と続くパラメーター(オプションなのでパラメーターが無いこともある)で表す、かなりマシン語に近い実装形式を[[バイトコード]]という。 |
− | | + | ただし、近年では1[[バイト]]の[[オペコード]]で表現する実装形式でなくとも[[バイトコード]]と呼ばれることが多くなっており、よほどの偏屈相手でも無い限り、バイトコードと中間言語と区別する必要はない。 |
− | == .NET FrameworkにおけるIntermediate Language ==
| + | なお、偏屈な[[マイクロソフト]]は[[.NET Framework]]で用いる中間言語([[共通中間言語]])に可変長の[[オペコード]](と言ってもせいぜい2バイトだが)を採用し「[[マネージドコード]]」と名乗っている。 |
− | 非常に紛らわしいことに、[[.NET Framework]]の規格の中で定義されているもっとも低水準な[[プログラミング言語]]である[[アセンブリ言語]]は、このページで記載している「中間言語」と同じ英語「intermediate language」、通称「[[IL]]」と呼ばれる。
| |
− | | |
− | 名称は同一だが、[[.NET Framework]]でいう「[[IL]]」は、あくまで人間が読むための[[アセンブリ言語]]であり、このページに記載しているバイナリ寄りなものではない。
| |
− | [[.NET Framework]]におけるこのページでいう中間言語に相当するものは「[[マネージドコード]]」である。
| |
− | | |
− | [[.NET Framework]]でいう「[[IL]]」の詳細については「[[共通中間言語]]([[CIL]])」のページを参照せよ。なお、
| |
| | | |
| == 関連項目 == | | == 関連項目 == |