C++ Programming Question:
What are the conditions that have to be met for a condition to be an invariant of the class?

Answer:
► The condition should hold at the end of every constructor.
► The condition should hold at the end of every mutator (non-const) operation.
► The condition should hold at the end of every mutator (non-const) operation.
Previous Question | Next Question |
Define precondition and post-condition to a member function in C++? | What are proxy objects in C++? |