diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md index c8abe87..0ce6e3f 100644 --- a/CppCoreGuidelines.md +++ b/CppCoreGuidelines.md @@ -4544,6 +4544,11 @@ Compilers do not read comments. If a valid object cannot conveniently be constructed by a constructor, [use a factory function](#Rc-factory). +##### Enforcement + +* (Simple) Every constructor should initialize every member variable (either explicitly, via a delegating ctor call or via default construction). +* (Unknown) If a constructor has an `Ensures` contract, try to see if it holds as a postcondition. + ##### Note If a constructor acquires a resource (to create a valid object), that resource should be [released by the destructor](#Rc-dtor-release). @@ -4634,9 +4639,6 @@ Another reason is been to delay initialization until an object is needed; the so ##### Enforcement -* (Simple) Every constructor should initialize every member variable (either explicitly, via a delegating ctor call or via default construction). -* (Unknown) If a constructor has an `Ensures` contract, try to see if it holds as a postcondition. - ### C.43: Ensure that a class has a default constructor ##### Reason