Follow
C++ Design by Contract: "annotate your functions with Pre/post Conditions that are checked when the method is called"
https://gavinray97.github.io/blog/adding-invariant-to-cpp-design-by-contract
C++ Design by Contract: "annotate your functions with Pre/post Conditions that are checked when the method is called"
https://gavinray97.github.io/blog/adding-invariant-to-cpp-design-by-contract