News for hackers. Stuff that matters.

A comment on Adding “invariant” clauses to C++ via GCC plugin to enable Design-by-Contract. Parent comment

Re:Adding “invariant” clauses to C++ via GCC plugin to enabl... by loeg on Sunday January 01, 2023 @07:03PM (#34212599)
You add something like:

  DCHECK(myInvariants());
to your method bodies. Sure, it makes it possible to forget, but it's not that hard to use.
[ Parent | on HN ]
Re:Adding “invariant” clauses to C++ via GCC plugin to enabl... by int_19h on Monday January 02, 2023 @04:10AM (#34215926)
A big part of DbC is that contracts are part of the public interface, not the implementation. This becomes especially important once you mesh them with Simula-style OOP, as derived classes need a way for overridden methods to widen or narrow the inherited contract.
[ Parent | on HN ]