4 ms·
Nothing in C++20 contracts requires any checking to be done at compile time. The only options currently required are runtime checking and no checking.
by bigcheesegs 7y ago
Nothing in C++20 contracts requires any checking to be done at compile time. The only options currently required are runtime checking and no checking.
- bluGill 7y agoContracts were designed so that they can be checked statically. Pedantically you are correct: checking contracts is expected to be too expensive to actually do as part of a build. C++ expects that static analysis will check contracts as well (static analysis is might take 10 hours to check what compiles in 10 minutes)