循環参照

循環参照（または参照サイクル^[1] ）は、最後のオブジェクトが最初のオブジェクトを参照し、結果として閉じたループを形成する 一連の参照です。

新しく来た人が地元の人に町の図書館はどこかと尋ねました。「郵便局のすぐ前です」と地元の人が答えました。新しく来た人はうなずき、「でも郵便局はどこですか?」と尋ねました。

「それは簡単ですよ」と地元の人が答えました。「図書館のすぐ裏ですから！」

循環参照は、循環論法という論理的誤りと混同しないでください。循環参照は、本の索引で 2 つの項目が互いに参照し合っているなど、役に立たず、何の情報も提供しないことがよくありますが、循環参照が必ずしも役に立たないというわけではありません。たとえば、辞書は、辞書内のすべての単語が他の単語によって定義されているため、最終的には常に循環参照になりますが、それでも辞書は有用な参照です。循環参照を含む文でも意味がある場合があります。

彼女の兄は彼女に子猫をあげ、妹はそれに感謝した。

循環的だが、意味がないわけではない。実際、自己言及は、基本的な哲学的公理であるアリストテレスの矛盾律の必然的な帰結であると主張することもできる。この見方では、自己言及がなければ、論理と数学は不可能になるか、少なくとも有用性に欠ける。^{[2] [3]}

循環参照は、あるコードが別のコードの結果を必要としているが、そのコードが最初のコードの結果を必要としているときに、コンピュータ プログラミングで発生することがあります。たとえば、次の Python プログラム内の 2 つの関数 posn と plus1 は循環参照を構成します。 ^{[詳細な説明が必要]}

def  posn ( k :  int )  ->  int : 
    k < 0の場合 : plus1 ( k )を返すkを返す  
         
     

def  plus1 ( n :  int )  ->  int :
    戻り値 posn ( n  +  1 )

上記の例のような循環参照は、終了条件があれば有効な結果を返すことがあります。終了条件がない場合、循環参照はライブロックまたは無限ループと呼ばれる状態を引き起こし、理論的には永久に実行される可能性があります。

定義 posn ( k :  int )  ->  int :
    戻り 値 plus1 ( k )

def  plus1 ( n :  int )  ->  int :
    戻り値 posn ( n  +  1 )

ISO 標準では、SQL 循環整合性制約は、単一テーブル内で暗黙的にサポートされています。複数のテーブル間では、制約を遅延可能として定義することで循環制約 (外部キーなど) が許可されます (PostgreSQL の場合は CREATE TABLE、Oracle の場合は DEFERRABLE 制約の例を参照)。その場合、制約は DML 文の実行時ではなく、トランザクションの終了時にチェックされます。循環参照を更新するには、トランザクションがコミットされると両方の参照を満たす 2 つの文を単一トランザクションで発行できます。

循環参照は、次の Python スクリプトのように、変更可能な型のデータのインスタンス間でも発生する可能性があります。

mydict  =  { 
  "これ" :  "あれ" , 
  "これら" :  "それら" 
} 
mydict [ "自分" ]  =  mydict 
print ( mydict )

この関数は を出力します。ここで は、この場合は辞書への循環参照を示します。 print(mydict){'this': 'that', 'these': 'those', 'myself': {...}}{...}mydict

循環参照は、2 つのセルが互いの結果を必要とする場合にもスプレッドシートで発生します。たとえば、セル A1 の値がセル B1 の値に 5 を加算して取得され、セル B1 の値がセル A1 の値に 3 を加算して取得される場合、値を計算することはできません。(仕様が A1:=B1+5 および B1:=A1-5 であっても、循環参照は存在します。たとえば、A1=3 および B1=-2 が両方の式を満たしても、両方のインスタンスを満たす A1 および B1 の値は無限に存在するため、役に立ちません。)

ワークシート内の循環参照は、コールブルック方程式などの暗黙の方程式を解くのに非常に便利な手法です。これらの方程式を解くには、VBAでの面倒なニュートン・ラプソンアルゴリズムやマクロの使用が必要になる場合があります。^[4]

循環参照を含むプロセスについては、計算不可能なプロセスと、最終的な出力を伴う反復計算のプロセスを区別する必要があります。後者は、処理に対応していないスプレッドシートでは失敗する可能性がありますが、それでも論理的には有効です。^[3]

• 因果関係 – あるプロセスが別のプロセスにどのような影響を与えるか
• 循環レポート – 単一ソースデータに対する複数のソース
• 停止問題 – 与えられたプログラムが実行を終了するか、永久に継続するかを決定する問題
• ネストされた関数 – 関数内で定義された名前付き関数
• クワイン（コンピューティング）  – 自己複製プログラム
• 退行論 – 哲学的問題リダイレクト先の簡単な説明を表示するページ
• 自己言及 – 自分自身に言及する文、アイデア、または式
• バケツに穴があいている – 古典的でユーモラスな子供の歌