Class invariants are very useful in domain-driven development allowing you to have contracts between modules/services that can’t break the underlying business r

Class invariants are very useful in domain-driven development allowing you to have contracts between modules/services that can’t break the underlying business rules. You would probably like them if you spent some time reading about them and compare it to your error/exception handling logic to deal with incorrect values.