clang 19.0.0git
Classes | Public Member Functions | List of all members
clang::Sema::InstantiatingTemplate Struct Reference

A stack object to be created when performing template instantiation. More...

#include "clang/Sema/Sema.h"

Classes

struct  BuildingDeductionGuidesTag
 
struct  ConstraintNormalization
 
struct  ConstraintsCheck
 
struct  ConstraintSubstitution
 
struct  ExceptionSpecification
 
struct  ParameterMappingSubstitution
 

Public Member Functions

 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, Decl *Entity, SourceRange InstantiationRange=SourceRange())
 Note that we are instantiating a class template, function template, variable template, alias template, or a member thereof.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, FunctionDecl *Entity, ExceptionSpecification, SourceRange InstantiationRange=SourceRange())
 Note that we are instantiating an exception specification of a function template.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, TemplateParameter Param, TemplateDecl *Template, ArrayRef< TemplateArgument > TemplateArgs, SourceRange InstantiationRange=SourceRange())
 Note that we are instantiating a default argument in a template-id.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, FunctionTemplateDecl *FunctionTemplate, ArrayRef< TemplateArgument > TemplateArgs, CodeSynthesisContext::SynthesisKind Kind, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange=SourceRange())
 Note that we are substituting either explicitly-specified or deduced template arguments during function template argument deduction.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, TemplateDecl *Template, ArrayRef< TemplateArgument > TemplateArgs, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange=SourceRange())
 Note that we are instantiating as part of template argument deduction for a class template declaration.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, ClassTemplatePartialSpecializationDecl *PartialSpec, ArrayRef< TemplateArgument > TemplateArgs, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange=SourceRange())
 Note that we are instantiating as part of template argument deduction for a class template partial specialization.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, VarTemplatePartialSpecializationDecl *PartialSpec, ArrayRef< TemplateArgument > TemplateArgs, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange=SourceRange())
 Note that we are instantiating as part of template argument deduction for a variable template partial specialization.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, ParmVarDecl *Param, ArrayRef< TemplateArgument > TemplateArgs, SourceRange InstantiationRange=SourceRange())
 Note that we are instantiating a default argument for a function parameter.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, NamedDecl *Template, NonTypeTemplateParmDecl *Param, ArrayRef< TemplateArgument > TemplateArgs, SourceRange InstantiationRange)
 Note that we are substituting prior template arguments into a non-type parameter.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, NamedDecl *Template, TemplateTemplateParmDecl *Param, ArrayRef< TemplateArgument > TemplateArgs, SourceRange InstantiationRange)
 Note that we are substituting prior template arguments into a template template parameter.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, TemplateDecl *Template, NamedDecl *Param, ArrayRef< TemplateArgument > TemplateArgs, SourceRange InstantiationRange)
 Note that we are checking the default template argument against the template parameter for a given template-id.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, ConstraintsCheck, NamedDecl *Template, ArrayRef< TemplateArgument > TemplateArgs, SourceRange InstantiationRange)
 Note that we are checking the constraints associated with some constrained entity (a concept declaration or a template with associated constraints).
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, ConstraintSubstitution, NamedDecl *Template, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange)
 Note that we are checking a constraint expression associated with a template declaration or as part of the satisfaction check of a concept.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, ConstraintNormalization, NamedDecl *Template, SourceRange InstantiationRange)
 Note that we are normalizing a constraint expression.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, ParameterMappingSubstitution, NamedDecl *Template, SourceRange InstantiationRange)
 Note that we are subtituting into the parameter mapping of an atomic constraint during constraint normalization.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, concepts::Requirement *Req, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange=SourceRange())
 Note that we are substituting template arguments into a part of a requirement of a requires expression.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, concepts::NestedRequirement *Req, ConstraintsCheck, SourceRange InstantiationRange=SourceRange())
 Note that we are checking the satisfaction of the constraint expression inside of a nested requirement.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, const RequiresExpr *E, sema::TemplateDeductionInfo &DeductionInfo, SourceRange InstantiationRange)
 Note that we are checking a requires clause.
 
 InstantiatingTemplate (Sema &SemaRef, SourceLocation PointOfInstantiation, TemplateDecl *Entity, BuildingDeductionGuidesTag, SourceRange InstantiationRange=SourceRange())
 Note that we are building deduction guides.
 
void Clear ()
 Note that we have finished instantiating this template.
 
 ~InstantiatingTemplate ()
 
bool isInvalid () const
 Determines whether we have exceeded the maximum recursive template instantiations.
 
bool isAlreadyInstantiating () const
 Determine whether we are already instantiating this specialization in some surrounding active instantiation.
 

Detailed Description

A stack object to be created when performing template instantiation.

Construction of an object of type InstantiatingTemplate pushes the current instantiation onto the stack of active instantiations. If the size of this stack exceeds the maximum number of recursive template instantiations, construction produces an error and evaluates true.

Destruction of this object will pop the named instantiation off the stack.

Definition at line 10238 of file Sema.h.

Constructor & Destructor Documentation

◆ InstantiatingTemplate() [1/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
Decl Entity,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are instantiating a class template, function template, variable template, alias template, or a member thereof.

Definition at line 518 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [2/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
FunctionDecl Entity,
ExceptionSpecification  ,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are instantiating an exception specification of a function template.

Definition at line 525 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [3/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
TemplateParameter  Param,
TemplateDecl Template,
ArrayRef< TemplateArgument TemplateArgs,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are instantiating a default argument in a template-id.

Definition at line 532 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [4/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
FunctionTemplateDecl FunctionTemplate,
ArrayRef< TemplateArgument TemplateArgs,
CodeSynthesisContext::SynthesisKind  Kind,
sema::TemplateDeductionInfo DeductionInfo,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are substituting either explicitly-specified or deduced template arguments during function template argument deduction.

Definition at line 542 of file SemaTemplateInstantiate.cpp.

References clang::Sema::CodeSynthesisContext::BuildingDeductionGuides, clang::Sema::CodeSynthesisContext::DeducedTemplateArgumentSubstitution, and clang::Sema::CodeSynthesisContext::ExplicitTemplateArgumentSubstitution.

◆ InstantiatingTemplate() [5/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
TemplateDecl Template,
ArrayRef< TemplateArgument TemplateArgs,
sema::TemplateDeductionInfo DeductionInfo,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are instantiating as part of template argument deduction for a class template declaration.

Definition at line 556 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [6/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
ClassTemplatePartialSpecializationDecl PartialSpec,
ArrayRef< TemplateArgument TemplateArgs,
sema::TemplateDeductionInfo DeductionInfo,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are instantiating as part of template argument deduction for a class template partial specialization.

Definition at line 567 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [7/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
VarTemplatePartialSpecializationDecl PartialSpec,
ArrayRef< TemplateArgument TemplateArgs,
sema::TemplateDeductionInfo DeductionInfo,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are instantiating as part of template argument deduction for a variable template partial specialization.

Definition at line 578 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [8/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
ParmVarDecl Param,
ArrayRef< TemplateArgument TemplateArgs,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are instantiating a default argument for a function parameter.

Definition at line 589 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [9/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
NamedDecl Template,
NonTypeTemplateParmDecl Param,
ArrayRef< TemplateArgument TemplateArgs,
SourceRange  InstantiationRange 
)

Note that we are substituting prior template arguments into a non-type parameter.

Definition at line 598 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [10/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
NamedDecl Template,
TemplateTemplateParmDecl Param,
ArrayRef< TemplateArgument TemplateArgs,
SourceRange  InstantiationRange 
)

Note that we are substituting prior template arguments into a template template parameter.

Definition at line 608 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [11/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
TemplateDecl Template,
NamedDecl Param,
ArrayRef< TemplateArgument TemplateArgs,
SourceRange  InstantiationRange 
)

Note that we are checking the default template argument against the template parameter for a given template-id.

Definition at line 618 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [12/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
ConstraintsCheck  ,
NamedDecl Template,
ArrayRef< TemplateArgument TemplateArgs,
SourceRange  InstantiationRange 
)

Note that we are checking the constraints associated with some constrained entity (a concept declaration or a template with associated constraints).

Definition at line 655 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [13/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
ConstraintSubstitution  ,
NamedDecl Template,
sema::TemplateDeductionInfo DeductionInfo,
SourceRange  InstantiationRange 
)

Note that we are checking a constraint expression associated with a template declaration or as part of the satisfaction check of a concept.

Definition at line 664 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [14/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
ConstraintNormalization  ,
NamedDecl Template,
SourceRange  InstantiationRange 
)

Note that we are normalizing a constraint expression.

Definition at line 673 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [15/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
ParameterMappingSubstitution  ,
NamedDecl Template,
SourceRange  InstantiationRange 
)

Note that we are subtituting into the parameter mapping of an atomic constraint during constraint normalization.

Definition at line 681 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [16/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
concepts::Requirement Req,
sema::TemplateDeductionInfo DeductionInfo,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are substituting template arguments into a part of a requirement of a requires expression.

Definition at line 627 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [17/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
concepts::NestedRequirement Req,
ConstraintsCheck  ,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are checking the satisfaction of the constraint expression inside of a nested requirement.

Definition at line 637 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [18/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
const RequiresExpr E,
sema::TemplateDeductionInfo DeductionInfo,
SourceRange  InstantiationRange 
)

Note that we are checking a requires clause.

Definition at line 646 of file SemaTemplateInstantiate.cpp.

◆ InstantiatingTemplate() [19/19]

Sema::InstantiatingTemplate::InstantiatingTemplate ( Sema SemaRef,
SourceLocation  PointOfInstantiation,
TemplateDecl Entity,
BuildingDeductionGuidesTag  ,
SourceRange  InstantiationRange = SourceRange() 
)

Note that we are building deduction guides.

Definition at line 689 of file SemaTemplateInstantiate.cpp.

◆ ~InstantiatingTemplate()

clang::Sema::InstantiatingTemplate::~InstantiatingTemplate ( )
inline

Definition at line 10382 of file Sema.h.

Member Function Documentation

◆ Clear()

void Sema::InstantiatingTemplate::Clear ( )

◆ isAlreadyInstantiating()

bool clang::Sema::InstantiatingTemplate::isAlreadyInstantiating ( ) const
inline

◆ isInvalid()

bool clang::Sema::InstantiatingTemplate::isInvalid ( ) const
inline

The documentation for this struct was generated from the following files: