ModernesCpp focuses on modern C++ development practices, including language features, design patterns, and software architecture principles. Readers can explore articles and tutorials that delve into advanced topics such as template metaprogramming, concurrency, and functional programming in C++. Additionally, they can learn about tools, libraries, and techniques for writing expressive, efficient, and maintainable C++ code.

MC++ Blog

Contracts in C++26 provide a formal way to specify and verify software component interfaces through preconditions, postconditions, and invariants. The feature includes four evaluation semantics (ignore, observe, enforce, quick-enforce) that can be configured at compile time, link time, or runtime. Contract violations occur when predicates return false, throw exceptions, or fail to be constant expressions at compile time. Current restrictions apply to virtual functions, defaulted/deleted functions, and constructors/destructors, with preconditions evaluated after parameter initialization and postconditions evaluated before local variable destruction.

Contracs: A Deep Dive – MC++ BLOG