P0391R0
Jens Maurer <Jens.Maurer@gmx.net>
Audience: Core Working Group
2016-06-21

P0391R0: Introducing the term "templated entity"

Introduction

In turns out that the resolution for a number of core issues would benefit from introducing the term "templated entity". Because of its general usefulness, it was factored into a separate paper. Integrating it into any single core issue resolution risks further postponement and causes ensuing ripple effects for other core issues if the particular core issue is held up for unrelated reasons.

Wording

Add a new paragraph before clause 14 [temp] paragraph 6:

A templated entity is

a template,

an entity defined (3.1 basic.def) or created (12.2 class.temporary) in a templated entity,

a member of a templated entity,

an enumerator for an enumeration that is a templated entity, or
the closure type of a lambda-expression (5.1.2 [expr.prim.lambda]) appearing in the declaration of a templated entity.
[ Note: A local class, a local variable, or a friend function defined in a templated entity is a templated entity. ]