C++ Programming Question: Download C++ Programming PDF
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++? |