質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

88.21%

C++でメンバ変数の初期化順序の正しさを静的に検知して適宜エラーを出したい

解決済

回答 1

投稿

  • 評価
  • クリップ 0
  • VIEW 539

foolslab

score 5

あるモジュール内のサブモジュール群が依存性で絡んでいたりするときに、正しくない初期化順序を検知できると安心できると考えているのですが、静的に行う良い方法はありますでしょうか。

以下のような場合を考えています。(疑似コードですいません)

class SubModule1 {...};
class SubModule2 {...};    // SubModule1に依存
class SubModule3 {...};    // SubModule1・SubModule2に依存

class MyClass{
    SubModule1 sub1;
    SubModule2 sub2;
    SubModule3 sub3;
public:
    MyClass(){
        sub1.init();
        sub2.init(sub1);    // sub1を用いて初期化
        sub3.init(sub1, sub2);    // sub1とsub2を用いて初期化
    }
};


例えば上記のようなコードがあったときに、うっかりMyClassのコンストラクタを

sub2.init(sub1);    // sub1を用いて初期化(アウト、sub1はまだ初期化されていない)
sub1.init();
sub3.init(sub1, sub2);    // sub1とsub2を用いて初期化


という風に書いてしまったとき、これをエラーにしたいのです。

すぐに思いつく方法としては、各SubModuleに初期化フラグを持たせ、依存先のモジュールを利用する時は初期化フラグを確認するといった方法が考えられますが、これは動的な検知方法になります。

class SubModule1 {...};

class SubModule2 {
    void init(SubModule1& sub1){
        if(!sub1.isInit()){
            throw exception("sub1 not initialized");
        }
        ... //初期化処理
    }
    ...
};

class SubModule3 {
    void init(SubModule1& sub1, SubModule2& sub1){
        if(!sub1.isInit() || !sub2.isInit()){
            throw exception("sub1 or sub2 not initialized");
        }
        ... //初期化処理
    }
    ...
};


初期化の順序はMyClassのコンストラクタのコードという静的な要素のみで決まるはずなので、だったら静的に判断してstatic_assertなどでエラーにできたら「コンパイルが通る=正しいコード」という安心感が得られる上、実行時の初期化確認のコストもゼロになってとても便利だと思うのですが、そういういい方法はC++には無いものでしょうか。
上記のような動的な検知をデバッグビルドで行い、リリースビルドで削除するような手が最善なのでしょうか。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 1

checkベストアンサー

+6

インスタンスの初期化を、init()に分けてするのではなく、コンストラクタで全部行い、sub1; sub2; sub3; の初期化はMyClassのコンストラクタのメンバ初期化子リストで行うのではいけないのでしょうか。

class SubModule1 {};

class SubModule2 {
public:
    SubModule2(const SubModule1 & sub1) {}
};

class SubModule3 {
public:
    SubModule3(const SubModule1 & sub1, const SubModule2 & sub2) {}
};

class MyClass {
    SubModule1 sub1;
    SubModule2 sub2;
    SubModule3 sub3;

public:
    MyClass()
        : sub1(), sub2(sub1), sub3(sub1, sub2)
    {
    }
};

SubModule2のコンストラクタの引数にSubModule1を渡すようにすれば、そもそもSubModule1なしにはSubModule2のインスタンスを作れないので、依存関係が保証できます。

コンストラクタの実行が済んだのに、インスタンスが初期化されていないというのは、好ましくないと思います。初期化部分を、init()という文法上は、ただのメンバ関数に切り出してしまったために、依存関係がコンパイル時にチェックできなくなってしまったわけですし。

まぁ、いつもいつも、理想通りにはいかないのですが。

ちなみに、メンバ変数の初期化は、コンストラクタのメンバ初期化子リストの順番ではなく、変数の宣言を書いた順番で行われるので注意してください。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2020/01/14 10:57 編集

    ありがとうございます。おかげさまでVC++及びGCCでコンパイル時に警告が出てくれました。

    >ちなみに、メンバ変数の初期化は、コンストラクタのメンバ初期化子リストの順番ではなく、変数の宣言を書いた順番で行われるので注意してください。

    これは知らなかったです。コロンの後に書いた順番通りに初期化されるものとばかり思っていました。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 88.21%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る