When using non-type template parameters, the non-type parameter must be ‘structural’ per the C++ standard. Classes with private data members are not structural. However, sometimes it is convenient to use private data members to protect a class invariant. Having a ‘structural’ restriction seems too restrictive. Consider the following code: