Assert Macro

[jimin-kiim]

Assert Macro

• ensuring the reliability of abstractions

Class invariant

• every class might have conditions that must always be true inside an object.
• by using assert(e), the condition to ensure that every member function code checks these conditions can be added.

assert(e)

• used to implement programs that are more reliable.
• can ensure that every member function code checks the condition that must be always true inside the object
• debugging is time consuming. assertion helps finding the bugs save a lot of time when debugging.
• #include <assert.h>
• e: the condition that must always be true inside an object.
• if e is true, just continue
• if e is false, the program is stopped with an error message indicating the failure of the assertion