This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 114a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-04-18

1870. Contradictory wording about definitions vs explicit specialization/instantiation

Section: 6.2  [basic.def]     Status: CD4     Submitter: Hubert Tong     Date: 2014-02-15

[Moved to DR at the November, 2014 meeting.]

Sections 13.9.3 [temp.explicit] and 13.9.4 [temp.expl.spec] describe cases of explicit instantiation directives and explicit specializations, respectively, that are not definitions. However, the description in 6.2 [basic.def] does not include these distinctions, classifying all declarations other than those listed as definitions. These should be harmonized.

Proposed Resolution (July, 2014):

Change 6.2 [basic.def] paragraph 2 as follows:

A declaration is a definition unless it... an empty-declaration ( 9.1 [dcl.pre]), or a using-directive (9.8.4 [namespace.udir]), an explicit instantiation declaration (13.9.3 [temp.explicit]), or an explicit specialization (13.9.4 [temp.expl.spec]) whose declaration is not a definition.