[AlotOfReading]

C++ contracts as currently designed can execute 4+ times per call to do full checking. That gets expensive quickly.

[rramadass]

But they also give you 4 different evaluation semantics (ignore, observe, enforce, quick_enforce) to tweak as needed. You don't need to do full checking everywhere and always.