Strange assert fail on logische und bool Variablen

Question

Einige Behauptungen in meinem Code begannen gerade seltsam zu handeln, und ich fragte mich, ob jemand eine ähnliche Situation zuvor hatte. Ein kurzer Code-Schnipsel wie:

#include <cassert> 

class A{ 
    protected: 
     bool isM, isN; 

    public: 
     void someFunction(); 
}; 

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

    ... 
} 

erzeugt ein assertion failed Ergebnis. Auf der anderen Seite, nach dem Ändern des Codes nur leicht:

die Zusicherungen bestehen ohne Problem und Funktion endet normal. Funktionsende ist normalerweise die erwartete Funktionalität, da die Variablen bool vor dem eigentlichen Aufruf an someFunction() gesetzt werden.

Als eine zusätzliche Frage gibt es eine bessere Möglichkeit Assertions in C++ zu tun? Ich bin auf C aufgewachsen und benutze immer noch die C-Style Assertions. Ich habe gerade Google Oberfläche auf diesem gekratzt, aber nichts gefunden, das andeutet, dass es etwas neues gibt.

Oh, und wenn nötig, kann ich mehr Kontext für die Klasse und die Variablen zur Verfügung stellen, wenn dies nicht ausreicht, um die problematische Situation zu erkennen. Die bool Variablen werden tatsächlich in einer Instanz einer Unterklasse gesetzt, während someFunction eine der wenigen Funktionalitäten ist, die in der class A Schnittstelle implementiert sind, aber da dies die Frage komplizierter macht, werde ich sie nur ausführlicher bearbeiten, wenn die Community dies für relevant hält.

Answer 1

Die Booleans sind nicht initialisiert. Sie könnten irgendeinen Wert annehmen. Das Verhalten ist hier nicht definiert. Um das zu veranschaulichen, einen gcc 4.7 Snapshot auf Ubuntu 11.10:

#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"; 

} 

erzeugt diese Ausgabe:

121, 0 
244, 31 

oder wiederum ausgeführt wird,

192, 0 
244, 127 

oder mit -O3 Optimierung a Haufen Nullen.