.NET C C++ CSS DBA General HTML Java JavaScript JSP JUnit MySQL Networking Oracle Perl Perl PHP PL/SQL RSS Software QA SQL Server Struts Unix Windows XHTML XML

What is class invariant? C++

Q

What is class invariant? C++

✍: Guest

A

A class invariant is a condition that defines all valid states for an object. It is a logical condition to ensure the correct working of a class. Class invariants must hold when an object is created, and they must be preserved under all operations of the class. In particular all class invariants are both preconditions and post-conditions for all operations or member functions of the class.

2012-01-10, 3120👍, 0💬

.NET C C++ CSS DBA General HTML Java JavaScript JSP JUnit MySQL Networking Oracle Perl Perl PHP PL/SQL RSS Software QA SQL Server Struts Unix Windows XHTML XML