C++でのassert（）の適切な使用

Question

私の教授は、クラス不変式に敬意を払って整形された状態を維持するアサーション（check_inv（））を使用するのが適切かどうかを判断する練習をしました。

私はクラスinvariantをチェックする必要があるときは分かりませんが、私は彼のコンストラクタからオブジェクトを返す前にクラスの不変をチェックするのが良い練習であることを知っていますが、私は完全には分かりません。

これは試験のテキストです：

iは不変クラスを確認してください

class C 
{ 

    public: 

     bool check_inv() const 
     { 
      // Implementation of class invariant code 
     } 

     C(int a, int b) 
     { 
      // Implementation of class constructor. 
     } 
     void foo(C& y) 
     { 
      // Implementation of method foo. 
     } 
     void bar(const C& y) 
     { 
      // Implementation of method bar. 
     } 
     void ying(const C& y) 
     { 
      // Implementation of method ying. 
     } 
     void yang(const C& y) const 
     { 
      // Implementation of method yang. 
     } 
     ~C() 
     { 
      // Implementation of class destructor. 
     } 
     static void zen(int i, double d) 
     { 
      //Implementation of method zen. 
     } 
// ... Some other code ... 
}; // class C 

？

EDIT：これは宿題に関するものではありません。例を使ってアサーションの機能を理解するだけです。

Answer 1

オブジェクトのライフサイクルを考えてください：コンストラクタによって作成され、constメンバ関数によって検査され、非constメンバ関数によって変更され、最終的にはデストラクタによって破棄されます。したがって、クラス不変式が成立する限り、それはコンストラクタの最後と非constメンバ関数の最後で満たされなければなりません。これは不変量がどこでも満足できることを保証するのに十分です。関数への入力時にそれをチェックしても、クラスは堅牢になりません。外部からの上書きを検出するかもしれませんが、それはクラスが提示する抽象化の一部ではありません。それでは、各コンストラクタの終わりと、各非constメンバ関数の最後に不変式をチェックしてください。

Answer 2

デストラクタ関数以外の他のすべてのパブリッククラスメンバ関数でクラス不変式をチェックする必要があります。関数を入力した後、関数を終了する前に2回チェックしてから、この2つのプロセスの間にsth不変量にする。