多重継承を許す場合の循環継承の見つけ方
(同じ記事をqiitaにも上げています)
0.目的
クラスの多重継承を許す場合、継承の循環の起こり方が複雑になる。
そのような場合に循環継承を効率的に見つけるアルゴリズムを考えてみる。
1.循環継承とは
そもそも循環継承とは何か。
視覚的には図1.1のように、「継承の単方向輪」ができることである。
図1.1 単一継承の場合の循環継承の例
これを言葉で説明すると、「自分が自分自身の先祖や子孫となる」関係である。図1.1の例では、AはA自身の曾祖父母あるいは曽孫であるといえる。
多重継承の場合、直系が複数通りになるため、「どの直系で循環継承が起きているか」を考える必要が出てきてしまう。
2.考案するアルゴリズム
すべての「子クラスを持たないクラス」に対して次の方法を適用することで、系内の循環継承を見つけることができる。但し、はの直系尊属親等な任意のクラスである。
- とする。
- の子孫集合を考える
- の親の配列を考える。
- の各元の子孫集合を考える。
- の循環参照がないことの真偽はと同値である
- をインクリメントする。
なお、このアルゴリズムには次の2つの定理を採用している。
- すべての「子を持たないクラス」の先祖を辿れば、系内全てのクラスにアクセス可能である (2-1節で詳解)
- 子孫にを持つクラスの任意の親が子孫にを持つことと、が循環継承していることは同値である (2-2節で詳解)
2-1.系内全てのクラスに最低1度は確実にアクセスする方法
すべての「子を持たないクラス」の先祖を辿れば、系内全てのクラスにアクセス可能である
全てのクラスは「子を持たないクラス」と「子を持つクラス」に分けられる。
「子を持つクラス」は何かしらのクラスから見た親クラスである。
いま、クラスについて①②に場合分けして考えよう。
「子を持つクラス」の子が「子を持たないクラス」である場合、子の先祖を辿ることでアクセス可能だ。・・・①
「子を持つクラス」の子が「子を持つクラス」である場合、子についてもう一度場合分けして考える。・・・②
②に分類される限り永遠に場合分けが続き、停止するのは①に分類される場合のみ。
循環継承がない限り、卑属の世代数は有限であるため、すべてのクラスは必ずいつか①に分類される。
循環継承がある場合、循環が起きているということは、すでに循環継承に関わるクラスにはすべてアクセス済みであるということである。
2-2.循環参照がそこにあるかの判定法
各クラスの親の1次元配列を考えよう。
このとき、各クラスの親もクラスであるため、各々の親の1次元配列を持っている。
そのため、各クラスは祖父母の2次元配列を持っているといえる。
同様に考えることで、一般に各クラスは直系尊属親等の次元配列を持っているということができる。
ここであるクラスをと呼ぶこととする。の先祖の任意の多次元配列にが含まれることは、
が循環継承しているということと同じである。
つまり命題「の先祖配列 は循環継承している」は真である。
この命題は次のように書き換えられる。
「の先祖配列 かつ は循環継承している」
ここで「の先祖配列 」とは、がの子孫といえることと同じである。
からみての先祖配列とは、自身を含む先祖配列であり、その配列の少なくとも1つの元について、子孫にを持つものである。
したがって、任意の「を含む先祖配列」において、その元の少なくとも1つが子孫にを持つことと、が循環継承していることは同値だ。
ここで、「子孫にを持つ任意のクラス」の親クラスの先祖配列を考えよう。
の任意の親をと呼ぶとき、は「を含む先祖配列」ということができる。
の元の少なくとも1つが子孫にを持つことと、が循環継承していることは同値である。
但し、子孫にを持つとき、必ず子孫に「の子孫」をも併せ持つ。つまり子孫として必ずやを持つというわけだ。
したがって、次のように言うことができる。
「子孫にを持つクラスの任意の親が子孫にを持つことと、が循環継承していることは同値である」by 17ec084