| Home | Libraries | People | FAQ | More

## Macro BOOST_CONTRACT_NO_DESTRUCTORS

BOOST_CONTRACT_NO_DESTRUCTORS — Automatically defined by this library when contracts are not checked for destructors.

## Synopsis

    // In header: <boost/contract/core/config.hpp>

    BOOST_CONTRACT_NO_DESTRUCTORS

## Description

This library will define this macro when users define all `BOOST_CONTRACT_NO_INVARIANTS`, `BOOST_CONTRACT_NO_POSTCONDITIONS`, and `BOOST_CONTRACT_NO_EXCEPTS` (this macro is not a configuration macro and this library will generate a compile-time error if users try to define it directly). Users can manually program `#ifndef` statements in their code using this macro to completely disable compilation of contracts for destructors or use the macros defined in `boost/contract_macro.hpp` (recommended only for applications where it is truly necessary to completely remove contract code compilation from production code).

See Also:

Destructors, Disable Contract Compilation