Template specialization shall be declared in the same file (1) as the primary template (2) as a user-defined type, for which the specialization is declared
Template specialization shall be declared in the same file (1) as the primary template (2) as a user-defined type, for which the specialization is declared.
Observing this rule avoids situations where the behavior is undefined. For instance, if a compiler sees a partial specialization of a template after it has instantiated the template, the behavior is undefined. If you specialize a template in the same file as the template, this situation is less likely to occur.
You can also easily extend compile-time interfaces through specialization since the template and its specialization are in the same file and part of the same translation unit. The same reasoning applies to the requirement that a template specialization must be in the same file as the type for which the template is specialized.
The checker checks each template specialization and raises a violation if:
The specialization is not in the same file as the template that is specialized.
The specialization is not in the same file as the user-defined type for which the template is specialized.
If you expect a rule violation but do not see it, refer to Coding Standard Violations Not Displayed.
| Group: Templates |
| Category: Required, Automated |