How to make invariant switchable

Thu Jun 18 07:30:37 PDT 2009

Release and Debug are two configuration sets. 

 FEATURE       | DEBUG | RELEASE
---------------+-------+---------
 assertion     |       |
---------------+-------+---------
 invariant     |       |
---------------+-------+---------
 debug symbols |       |
---------------+-------+---------
 optimization  |       |
---------------+-------+---------
 inline        |       |
---------------+-------+---------
 more...       |       |

It is also inconvient to switch "invariant" (or debug features) with a
universal "-release" flag. 