You add something like: DCHECK(myInvariants()); to your method bodies. Sure, it ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		loeg on Jan 2, 2023 \| parent \| context \| favorite \| on: Adding design-by-contract conditions to C++ via a ... 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.

int_19h on Jan 2, 2023 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact