間接

コンピュータプログラミングにおいて、間接参照(参照とも呼ばれる) とは、値自体ではなく、名前、参照、またはコンテナを使用して何かを参照する方法です。最も一般的な間接参照の形式は、メモリアドレスを介して値を操作する行為です。たとえば、ポインターを使用して変数にアクセスします。二重間接参照によってオブジェクトへの参照を提供するために存在する格納されたポインターは、間接ノードと呼ばれます。一部の古いコンピュータアーキテクチャでは、間接ワードは多かれ少なかれ複雑なさまざまなアドレッシングモードをサポートしていました。

もう 1 つの重要な例は、などのネットワークアドレスの代わりになどの名前を使用できるようにするドメインネームシステムです。人間が判読できる名前からネットワークアドレスへの間接参照により、Web ページへの参照がより覚えやすくなり、Web サイトが別のサーバーに再配置されてもリンクを変更する必要がなくなります。 en.wikipedia.org208.80.154.224

概要

バトラー・ランプソンの有名な格言で、デイヴィッド・ウィーラーの名言とされるものがあります。「コンピュータサイエンスにおけるすべての問題は、別のレベルの間接参照によって解決できる」（「ソフトウェア工学の基本定理」）^[1] 。これはしばしば意図的に誤って引用され^（^{誰によって？}^）、間接参照レベルの代わりに「抽象化レイヤー」が使われます。この格言の帰結であり、ウィーラーの元々の結論は「...間接参照のレイヤーが多すぎるという問題を除いて」です。

ユーモラスなインターネット覚書であるRFC 1925では、次のように主張しています。

（６）問題を解決するよりも、問題を移動する（例えば、問題を全体的なネットワークアーキテクチャの別の部分に移動する）方が簡単です。
(6a) (系) 間接的なレベルをさらに追加することは常に可能である。

オブジェクト指向プログラミングでは間接参照が広く利用されており、簡単な例としては動的ディスパッチがあります。間接参照の高レベルの例としては、プロキシとプロキシサーバーの設計パターンがあります。委任は間接参照パターンのもう 1 つの典型的な例です。動的データ型を持つ厳密に型指定された解釈言語では、ほとんどの変数参照に間接参照のレベルが必要です。まず変数の型の安全性がチェックされ、次に実際の値へのポインタが逆参照されて処理されます。

再帰データ型は通常、間接参照を使用して実装されます。そうしないと、あるデータ型の値に同じデータ型の別の値全体を含めることができる場合、このデータ型の値に必要なサイズに制限がなくなるためです。

正式な数学仕様からシンボリックプログラミングを行う場合、間接参照を使用すると非常に便利です。簡単な例から始めると、次のような方程式の変数x、y、zは任意の数を参照できます。さまざまな数のオブジェクトを想像すると、x、y、z は特定の問題に使用されている特定の数を指すことができます。実数は無限にあるため、この簡単な例には制限があります。シンボリックプログラミングの他のさまざまな部分では、使用できるシンボルの数は限られています。それでは、より重要な例に移りましょう。論理では、式α は任意の式を参照できるため、 β、γ、δ、... またはη → π、ς ∨ σ、...となります。セットビルダー表記法が使用される場合、ステートメント Δ={ α } はすべての式のセットを意味します。したがって、参照はαですが、ここでは間接参照のレベルが 2 つあります。1 つ目はすべてのαのセットへの間接参照で、2 つ目はセット Δ 内の αの各出現に対する特定の式への間接参照です。 ${\textstyle z={\sqrt {x^{2}+y^{2}}}}$

参照

参考文献

^ Spinellis, Diomidis (2007)。「間接性のもう一つのレベル」。Oram, Andy、Wilson, Greg (編)。『Beautiful Code: Leading Programmers Explain How They Think』。カリフォルニア州セバストポル: O'Reilly and Associates。pp. 279–291。

[1] Spinellis, Diomidis (2007)。「間接性のもう一つのレベル」。Oram, Andy、Wilson, Greg (編)。『Beautiful Code: Leading Programmers Explain How They Think』。カリフォルニア州セバストポル: O'Reilly and Associates。pp. 279–291。