Una tecnica abbastanza diffusa per ottenere codice più robusto è il Design by Contract. Può essere usata con qualsiasi linguaggio OO, anche se in questo articolo vedremo come applicarla al C++. Con questa tecnica l’integrità degli oggetti viene regolarmente esercitata tramite la verifica di precondizioni, postcondizioni ed invarianti. (continua)