深すぎるC++クラス階層でスタックオーバーフローが発生する可能性がありますか？

Question

私は次のように過度に深く継承を有するC++プログラムがあるとします

using namespace std; 

class AbstractParentGeneration0 { 
    private: 
     ... 
    protected: 
     ... 
    public: 
     virtual returnVal funcName(void) = 0; 
}; 

class AbstractParentGeneration1: virtual public AbstractParentGeneration0 { 
    private: 
     ... 
    protected: 
     ... 
    public: 
     virtual returnVal funcName(void) = 0; 
}; 

. 
. 
. 

class AbstractParentGeneration999999999: virtual public AbstractParentGeneration999999998 { 
    private: 
     ... 
    protected: 
     ... 
    public: 
     virtual returnVal funcName(void) = 0; 
}; 

class ChildGeneration: public AbstractParentGeneration999999999 { 
    private: 
     ... 
    protected: 
     ... 
    public: 
     returnVal funcName(void) { ... }; 
}; 

は、（プログラムの性質が深い継承 を圧縮することができないようなものであると仮定し、それは進化の種 系統を表すか、または仮定深いタクソノミー階層）

トップの抽象クラスを呼び出すときにスタックオーバーフローの危険はありませんか？

（「のulimit -sバイト」または 抽象階層を崩壊以外の）どのような戦略C++プログラマは システム境界内で動作するように使うのですか？

RPC経由で多くのホストシステムにわたって深い垂直継承階層を平坦化する方法はありますか？

独自のコールスタックメカニズムを設計する人がいますか？

分散ネットワーク/クラスタコールスタックのようなものはありますか？

Answer 1

具体的な質問にお答えするには、トップレベル抽象仮想メソッドを呼び出す際に実行時にスタックオーバーフローの危険性がありません。 C++のほとんどの実装では、適切な実装関数を直接指すvtableポインタエントリがオブジェクトインスタンスにあります。

これがどのように機能するのか不思議であれば、いくつかのレベルの階層を持つプログラムを作成し、実際に何が起こっているかを示すアセンブリレベルのデバッガを読み込むことをお勧めします。

Answer 2

おそらく、これはコンパイラの内部制約に違反します。問題がある場合、ランタイムは表示されません。

これを解決する一般的な方法は、このようなコードの生成をやめることです。この種のデータをランタイムに焼かないでください。代わりに、クラスファイルではなく、クラスインスタンスの階層に読み込まれ、解析されるファイル形式でなければなりません。

Answer 3

トップの抽象クラスを呼び出すときにスタックオーバーフローの危険はありませんか？

あります。各コンストラクタとデストラクタは、親クラスの対応する部分を階層の上まで呼び出して、非常に深い呼び出しスタックを生成します。

構造が残っていれば、仮想関数の呼び出しはうまくいくでしょう。それは最終的なオーバーライドへの関数呼び出しです。

C++プログラマはシステム境界内で作業するためにどのような戦略（ulimit -aまたは抽象的な階層を折りたたむか）を使用しますか？

個人的には、私は抽象的なインターフェースを除いて継承を避ける傾向があります（抽象的なインターフェースを除いて、私は物事をうまくカプセル化するのが面倒です）。

この場合、オブジェクトの実行時階層を示唆するかもしれません。おそらく関数ポインタを使って、仮想関数に同様の動作を与えます。唯一の制約は、それらをすべて保存するために必要なメモリだけです。タイプシステムを使用してカテゴリを表現するのと同じくらいエレガントではありませんが、実装の限界にはあまり慣れていません。

Answer 4

はそれを試してみて、自分の目で確かめてください。この単純なケースでは）

template <int i> 
class oferflowMe: public overflowMe<i-1>{ 
    .... 
}; 

template <> 
class oferflowMe<1>{ 
    .... 
}; 

Answer 5

ありません。しかし、複数の仮想継承がある場合、コンパイラの中には、 "adjustor thunks"を使ってthisを修正するものがあります。これらの小さな関数はあなたの呼び出しスタックに終わるでしょう。