Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

invariant

A rule about an object's data that must always stay true.

A class invariant is a condition on an object's state that every public operation preserves (for example, a balance is never negative).

Examples

  • "The balance never goes below zero" is an invariant a bank account's Withdraw method has to protect.

See also

encapsulation constructor guard clause
Read the full section →