Contradictory wording about definitions vs explicit specialization/instantiation
6.2 [basic.def]
Hubert Tong

Created on 2014-02-15.00:00:00 last changed 49 months ago


Date: 2014-11-15.00:00:00

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

Date: 2014-07-15.00:00:00

Proposed Resolution (July, 2014):

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

A declaration is a definition unless it... an empty-declaration (Clause Clause 9 [dcl.dcl]), 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.
Date: 2014-02-15.00:00:00

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.

Date User Action Args
2017-02-06 00:00:00adminsetstatus: drwp -> cd4
2015-05-25 00:00:00adminsetstatus: dr -> drwp
2015-04-13 00:00:00adminsetmessages: + msg5326
2014-11-24 00:00:00adminsetstatus: tentatively ready -> dr
2014-10-13 00:00:00adminsetmessages: + msg5129
2014-10-13 00:00:00adminsetstatus: drafting -> tentatively ready
2014-07-07 00:00:00adminsetstatus: open -> drafting
2014-02-15 00:00:00admincreate