奇妙なassertが論理変数とbool変数に失敗する

Question

私のコードの中には、奇妙な動作を開始したばかりのものがいくつかありました。以下のような短いコードスニペット：

#include <cassert> 

class A{ 
    protected: 
     bool isM, isN; 

    public: 
     void someFunction(); 
}; 

A::someFunction(){ 
    assert (this->isM && this->isN); 

    ... 
} 

はassertion failed結果を生成します。一方、わずかにコードを変更した後：

A::someFunction(){ 
    assert(this->isM); 
    assert(this->isN); 

    ... 
} 

アサーションは問題なく通過し、機能は正常に終了します。実際に呼び出す前にboolの変数が設定されているので、機能の正常終了は期待される機能です。someFunction()。

追加の質問として、C++でアサーションを実行するより良い方法がありますか？私はCで成長しましたが、Cスタイルのアサーションを使っています。私はちょうどこれにGoogleの表面を傷つけたが、何も新しいことを暗示するものは何も見つかりませんでした。

問題のある状況を誰かが認識できない場合は、必要に応じて、クラスと変数のコンテキストを増やすことができます。 boolの変数はサブクラスのインスタンスで実際に設定されますが、someFunctionはclass Aインターフェイスで実装される珍しい機能の1つですが、これは疑問を複雑にしているため、コミュニティが適切と考える場合にのみ詳細に編集します。

Answer 1

ブール値は初期化されていません。彼らはどんな価値も取ることができます。ここでの動作は未定義です。

#include <iostream> 

struct A { 
    bool a, b; 
}; 

int main() { 

    A a0; 
    std::cout << a0.a << ", " << a0.b << "\n"; 

    A a1; 
    std::cout << a1.a << ", " << a1.b << "\n"; 

} 

この出力生成：Ubuntuの11.10でGCC 4.7スナップショットを使用して、あることを示すために

121, 0 
244, 31 

をまたは、-O3と最適化、再び

192, 0 
244, 127 

を実行したり、ゼロの束。