I&#x27;m surprised to see no mention of the Sutter and Stroustrup core guidelines [1]. Wouldn&#x27;t a statically checkable implementation of these ameliorate most of Meyer&#x27;s concerns?<p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;isocpp&#x2F;CppCoreGuidelines&#x2F;blob&#x2F;master&#x2F;CppCoreGuidelines.md" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;isocpp&#x2F;CppCoreGuidelines&#x2F;blob&#x2F;master&#x2F;CppC...</a>