What does `⟨library⟩` mean in [defns.prog.def.spec]?

Viewed 84

3.42 program-defined specialization [defns.prog.def.spec]
⟨library⟩ explicit template specialization or partial specialization that is not part of the C++ standard library and not defined by the implementation.

1 Answers

Definition context tags (non-normative / from draft .tex source)

The ⟨library⟩ definition context tags were added when moving [definitions] from [library] (C++20) into [intro.defs] (current draft). The ⟨library⟩ definition context tag in the particular change you are quoting was added when [defns.prog.def.spec] in [definitions] (C++20 DIS) was moved into [intro.defs] as part of the following commit

[definitions] Integrate into [intro.defs]

Partially addresses ISO/CS 016 (C++20 DIS)

particularly adding the \defncontext{library} tag here.

These definition context tags have been present for a long time in [intro.defs], but as library definitions did not use to reside in [intro.defs], there were simply not any definitions in there for which ⟨library⟩ would be an appropriate definition context tag.

Related