Wenn assert() fehlschlägt, was ist der Programmbeendigungscode?

Question

Wenn ein assert() Aufruf fehlschlägt, was ist der Exitcode und wo wird er dokumentiert?

Answer 1

C99-Standard besagt, dass assert Anrufe abort und die abort Sachen Staaten dies über den Rückgabecode:

Eine Implementierung definierte Form des Status erfolglose Beendigung der Host-Umgebung mittels der Funktion zurückgegeben wird Anruf erhöhen (SIGABRT).

Es ist in Abschnitt 7.2.1.1 (assert) und 7.20.4.1 (abort) des c99 Standards here dokumentiert.

Viele UNIX-Systeme geben 128 plus die Signalnummer (SIGABRT ist Signalnummer 6) zurück, so dass Sie 134 erhalten können. Was auch immer Sie erhalten, sollte durch die C-Implementierung dokumentiert werden.

Zum Beispiel siehe here für gcc. Obwohl es ziemlich still darüber ist, was in die aufrufende Umgebung zurückkehrt. Von den spezifischen Abschnitten here:

Einige Auswahlmöglichkeiten werden von der Bibliothek und dem Betriebssystem (oder einer anderen Umgebung bei der Erstellung für eine freistehende Umgebung) getroffen; Details finden Sie in der Dokumentation.

Und here:

Das Verhalten der meisten dieser Punkte sind abhängig von der Implementierung der C-Bibliothek, und nicht von GCC selbst definiert.

So ist die Glibc Doco here auf Programm Beendigung (insbesondere die Ausfahrt Status-Bit). Es erwähnt Konventionen, aber keine festen Regeln.

Answer 2

Es ist implementierungsspezifisch. Sie können dies tun:

int main() 
{ 
    assert(0); 
} 

es dann laufen:

> ./a.out 
> echo $? 
1 (<- or whatever) 

Das wird zumindest sagen, was für Ihr Setup zu erwarten. Ich bin Gettitng 134 auf ein paar Linux-Boxen mit gcc und g ++.

Answer 3

Ich arbeitete mit Posix Message Queues Ich habe den gleichen Fehler mq_open wurde mit Fehler 38 (ENOSYS) fehlgeschlagen.

Die Arbeit ist um den Kernel mit POSIX MESSGE QUEUE in der Kernel-Konfiguration aktiviert wiederherzustellen.

Dies wird den Kernel mit POSIX-Nachrichtenwarteschlange Unterstützung bauen und es funktionierte für mich.

Thank

Answer 4

ich nicht die eigentliche Spezifikation für sie (POSIX ist ziemlich schwer zu suchen), finden aber ich einen Hinweis gefunden hat.

Eine ausgelöste Assertion führt zu einem Exit-Status, der dem entspricht, was auch immer EXIT_FAILURE expandiert (reference).Da es sich um Linux handelt, handelt es sich auch um POSIX, das das Verhalten von c99 weiter definiert.