Geltend machen mit der dynamischen Botschaft?

In meinem Programm möchte ich behauptet, dass eine Fehlermeldung anzeigen. Abgesehen von den bekannten Problemumgehungen für C und C++ gibt es die "echte" Lösung als BOOST bietet BOOST_ASSERT_MSG( expr, msg ) (siehe auch assert() mit der Meldung)

Aber eine statische Nachricht ist nicht genug für mich, ich möchte auch zeigen, manchmal fehlgeschlagenen Variablen, z.B. in einem Fall wie

BOOST_ASSERT_MSG( length >= 0, "No positive length found! It is " << length )

Wie Sie sehen können ich möchte zum formatieren der Nachricht enthält "string" als stringstream oder ostream wie, dass würde mir erlauben, mich leicht zeigen, benutzerdefinierte Typen (vorausgesetzt, ich habe definiert die relevanten formatieren-Funktion).

Hier das problem, dass BOOST_ASSERT_MSG ist standardmäßig erfordern eine char const * so dass es nicht kompatibel ist.

Gibt es eine Möglichkeit neu zu definieren /überlast assertion_failed_msg() in der Weise, dass über einen stream als Nachricht funktionieren??? Wie?

(Mein naiver Ansatz gescheitert, da der compiler zuerst wollten operator<<("foo",bar) auf die Nachricht selbst...)

InformationsquelleAutor Chris | 2012-08-12
  1. 6

    Definieren Sie Ihre eigenen makro -

    #define ASSERT_WITH_MSG(cond, msg) do \
{ if (!(cond)) { std::ostringstream str; str << msg; std::cerr << str.str(); std::abort(); } \
} while(0)
    InformationsquelleAutor Greg
  2. 5

    Ist es relativ einfach, dies zu erreichen.

    BOOST_ASSERT_MSG( length >= 0, (std::stringstream() << "No positive length found! It is " << length).str().c_str() )
    • Ich hoffte, es so zu tun, aber der compiler meckert: error: ‘struct std::basic_ostream<char>’ has no member named ‘str’
    • Oh, ja. Ich halte, zu vergessen, wie kaputt die stringstream lib ist.
    • Sie müssen static_cast<std::stringstream&>() den Rückgabewert operator<<() nutzen zu können std::stringstream::str(). Sonst bist du versucht, zu rufen std::ostream::str(), die nicht existiert.
    InformationsquelleAutor Puppy
  3. 1

    Ich die BOOST_ASSERT_MSG mit meinen eigenen wrapper um ihn herum, so dass die Angabe der assert-Nachricht mit mehreren operator<< scheint weniger Komplex.

    #if defined ASSERT_ENABLED 

    #define ASSERT(cond, msg) {\
        if(!(cond))\
        {\
            std::stringstream str;\
            str << msg;\
            BOOST_ASSERT_MSG(cond, str.str().c_str());\
        }\
    }
#else
    #define ASSERT(...) 
#endif

    Beispiel, stellen Sie benutzerdefinierte Nachricht, wie Sie die Ausgabe auf cout:

      ASSERT(execSize == (_oldSize - remaining), "execSize : " << execSize << ", _oldSize : " << _oldSize << ", remaining : " << remaining);

    Was es tut, ist, wenn ASSERT_ENABLED definiert ist,ermöglichen die Geltendmachung Nachrichten. if(!(cond)) Teil ist die Optimierung, vermeidet die kostspielige string-Operationen angegeben, die durch makro-parameter msg, wenn cond ist true

    • Brauchen Sie wirklich #if defined ASSERT_ENABLED ? Ich denke, wenn assert deaktiviert ist, werden die Anweisungen entfernt werden, jedenfalls, wenn Sie eine compiler-Optimierung. Bin ich richtig?
    • Ja, #if defined ASSERT_ENABLED ist für die Optimierung. In der Regel builds gemeint sind mit assertions deaktiviert. Dieser entfernt den code aus der binären. Kleiner binären, weniger code, bessere Nutzung der cache-Anweisung. Während geltend machen, spart viel Zeit beim Debuggen. Manchmal, ein einfaches assert-check sparen könnte 3-Tage-debugging-Zeit.
    • Ich meine, wenn definiert ASSERT_ENABLED falsch ist, dann sollte der compiler automatisch entfernen Sie die BOOST_ASSERT_MSG Aussagen, daher sollten entfernen Sie den rest Ihrer Geltendmachung code. So ASSERT_ENABLED ist nicht notwendig, explizit überprüft. Aber ich bin mir nicht sicher, warum es nötig ist zu sagen explizit. Wo bin ich falsch?
    InformationsquelleAutor rahul.deshmukhpatil
  4. 0

    Hier ist eine Lösung, die sich nicht auf Makros. Stattdessen verwendet es ein winziges bisschen templating und lambda-syntax. 

    template<typename Fn> 
void assert_fn( bool expr, Fn fn) {
  if (!expr) {
    fn();
    abort();
  }
}

    Dem argument fn kann jede aufrufbar.

    Zum Beispiel können Sie nennen es so: 

    assert_fn( a==b, [&](){ cout << "Assertion failed: a="<< a << 
                                " is different from but b=" << b << endl; } );

    Der Vorteil ist, dass die Ausgabe ist, dass Sie nicht ruft abort (explizit und die Ausgabe ist vollständig anpassbar. Das dieser Vorteil natürlich, sind die sieben zusätzlichen Zeichen des lambda-Funktion boilerplate: [&](){} )

    InformationsquelleAutor Mateo
Schreibe einen Kommentar