C++ Contracts

Demnächst auch in Eurem Compiler: Contracts for C++. Nach Eiffel und D bekommt jetzt auch C++ die Möglichkeit, formale Vorbedingungen und Nachbedingungen von Funktionen direkt im Code festzulegen, anstatt diese in häufig nicht vorhandener Dokumentation zu verbergen. Der Vortrag gibt einen Überblick über diese Neuerungen: neue Syntax, neue Semantik, neue Compiler-Schalter. Vergesst assert() und #ifndef NDEBUG! Hier kommen pre(), post(), contract_assert() und ihr Freund -fcontract-evaluation-semantic.