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 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 ]

There are no comments on this comment yet.