clang 22.0.0git
Public Types | Public Member Functions | List of all members
clang::TemplateDeclInstantiator Class Reference

#include "clang/Sema/Template.h"

Inheritance diagram for clang::TemplateDeclInstantiator:
[legend]

Public Types

enum class  RewriteKind { None , RewriteSpaceshipAsEqualEqual }
 
using delayed_partial_spec_iterator = SmallVectorImpl< std::pair< ClassTemplateDecl *, ClassTemplatePartialSpecializationDecl * > >::iterator
 
using delayed_var_partial_spec_iterator = SmallVectorImpl< std::pair< VarTemplateDecl *, VarTemplatePartialSpecializationDecl * > >::iterator
 

Public Member Functions

 TemplateDeclInstantiator (Sema &SemaRef, DeclContext *Owner, const MultiLevelTemplateArgumentList &TemplateArgs)
 
void setEvaluateConstraints (bool B)
 
bool getEvaluateConstraints ()
 
void adjustForRewrite (RewriteKind RK, FunctionDecl *Orig, QualType &T, TypeSourceInfo *&TInfo, DeclarationNameInfo &NameInfo)
 
DeclVisitCXXMethodDecl (CXXMethodDecl *D, TemplateParameterList *TemplateParams, RewriteKind RK=RewriteKind::None)
 
DeclVisitFunctionDecl (FunctionDecl *D, TemplateParameterList *TemplateParams, RewriteKind RK=RewriteKind::None)
 Normal class members are of more specific types and therefore don't make it here.
 
DeclVisitDecl (Decl *D)
 
DeclVisitVarDecl (VarDecl *D, bool InstantiatingVarTemplate, ArrayRef< BindingDecl * > *Bindings=nullptr)
 
DeclVisitBaseUsingDecls (BaseUsingDecl *D, BaseUsingDecl *Inst, LookupResult *Lookup)
 
void enableLateAttributeInstantiation (Sema::LateInstantiatedAttrVec *LA)
 
void disableLateAttributeInstantiation ()
 
LocalInstantiationScopegetStartingScope () const
 
delayed_partial_spec_iterator delayed_partial_spec_begin ()
 Return an iterator to the beginning of the set of "delayed" partial specializations, which must be passed to InstantiateClassTemplatePartialSpecialization once the class definition has been completed.
 
delayed_var_partial_spec_iterator delayed_var_partial_spec_begin ()
 
delayed_partial_spec_iterator delayed_partial_spec_end ()
 Return an iterator to the end of the set of "delayed" partial specializations, which must be passed to InstantiateClassTemplatePartialSpecialization once the class definition has been completed.
 
delayed_var_partial_spec_iterator delayed_var_partial_spec_end ()
 
TypeSourceInfoSubstFunctionType (FunctionDecl *D, SmallVectorImpl< ParmVarDecl * > &Params)
 
bool InitFunctionInstantiation (FunctionDecl *New, FunctionDecl *Tmpl)
 Initializes the common fields of an instantiation function declaration (New) from the corresponding fields of its template (Tmpl).
 
bool InitMethodInstantiation (CXXMethodDecl *New, CXXMethodDecl *Tmpl)
 Initializes common fields of an instantiated method declaration (New) from the corresponding fields of its template (Tmpl).
 
bool SubstDefaultedFunction (FunctionDecl *New, FunctionDecl *Tmpl)
 
TemplateParameterListSubstTemplateParams (TemplateParameterList *List)
 Instantiates a nested template parameter list in the current instantiation context.
 
bool SubstQualifier (const DeclaratorDecl *OldDecl, DeclaratorDecl *NewDecl)
 
bool SubstQualifier (const TagDecl *OldDecl, TagDecl *NewDecl)
 
DeclVisitVarTemplateSpecializationDecl (VarTemplateDecl *VarTemplate, VarDecl *FromVar, const TemplateArgumentListInfo &TemplateArgsInfo, ArrayRef< TemplateArgument > Converted, VarTemplateSpecializationDecl *PrevDecl=nullptr)
 
DeclInstantiateTypedefNameDecl (TypedefNameDecl *D, bool IsTypeAlias)
 
DeclInstantiateTypeAliasTemplateDecl (TypeAliasTemplateDecl *D)
 
ClassTemplatePartialSpecializationDeclInstantiateClassTemplatePartialSpecialization (ClassTemplateDecl *ClassTemplate, ClassTemplatePartialSpecializationDecl *PartialSpec)
 Instantiate the declaration of a class template partial specialization.
 
VarTemplatePartialSpecializationDeclInstantiateVarTemplatePartialSpecialization (VarTemplateDecl *VarTemplate, VarTemplatePartialSpecializationDecl *PartialSpec)
 Instantiate the declaration of a variable template partial specialization.
 
void InstantiateEnumDefinition (EnumDecl *Enum, EnumDecl *Pattern)
 
- Public Member Functions inherited from clang::declvisitor::Base< Ptr, ImplClass, RetTy >
RetTy Visit (PTR(Decl) D)
 
RetTy VisitDecl (PTR(Decl) D)
 

Detailed Description

Definition at line 574 of file Template.h.

Member Typedef Documentation

◆ delayed_partial_spec_iterator

Definition at line 680 of file Template.h.

◆ delayed_var_partial_spec_iterator

Definition at line 683 of file Template.h.

Member Enumeration Documentation

◆ RewriteKind

Enumerator
None 
RewriteSpaceshipAsEqualEqual 

Definition at line 646 of file Template.h.

Constructor & Destructor Documentation

◆ TemplateDeclInstantiator()

clang::TemplateDeclInstantiator::TemplateDeclInstantiator ( Sema SemaRef,
DeclContext Owner,
const MultiLevelTemplateArgumentList TemplateArgs 
)
inline

Definition at line 603 of file Template.h.

Member Function Documentation

◆ adjustForRewrite()

void TemplateDeclInstantiator::adjustForRewrite ( RewriteKind  RK,
FunctionDecl Orig,
QualType T,
TypeSourceInfo *&  TInfo,
DeclarationNameInfo NameInfo 
)

◆ delayed_partial_spec_begin()

delayed_partial_spec_iterator clang::TemplateDeclInstantiator::delayed_partial_spec_begin ( )
inline

Return an iterator to the beginning of the set of "delayed" partial specializations, which must be passed to InstantiateClassTemplatePartialSpecialization once the class definition has been completed.

Definition at line 690 of file Template.h.

Referenced by clang::Sema::InstantiateClass().

◆ delayed_partial_spec_end()

delayed_partial_spec_iterator clang::TemplateDeclInstantiator::delayed_partial_spec_end ( )
inline

Return an iterator to the end of the set of "delayed" partial specializations, which must be passed to InstantiateClassTemplatePartialSpecialization once the class definition has been completed.

Definition at line 702 of file Template.h.

Referenced by clang::Sema::InstantiateClass().

◆ delayed_var_partial_spec_begin()

delayed_var_partial_spec_iterator clang::TemplateDeclInstantiator::delayed_var_partial_spec_begin ( )
inline

Definition at line 694 of file Template.h.

Referenced by clang::Sema::InstantiateClass().

◆ delayed_var_partial_spec_end()

delayed_var_partial_spec_iterator clang::TemplateDeclInstantiator::delayed_var_partial_spec_end ( )
inline

Definition at line 706 of file Template.h.

Referenced by clang::Sema::InstantiateClass().

◆ disableLateAttributeInstantiation()

void clang::TemplateDeclInstantiator::disableLateAttributeInstantiation ( )
inline

Definition at line 673 of file Template.h.

Referenced by clang::Sema::InstantiateClass().

◆ enableLateAttributeInstantiation()

void clang::TemplateDeclInstantiator::enableLateAttributeInstantiation ( Sema::LateInstantiatedAttrVec LA)
inline

Definition at line 667 of file Template.h.

References clang::Sema::CurrentInstantiationScope.

Referenced by clang::Sema::InstantiateClass().

◆ getEvaluateConstraints()

bool clang::TemplateDeclInstantiator::getEvaluateConstraints ( )
inline

Definition at line 611 of file Template.h.

◆ getStartingScope()

LocalInstantiationScope * clang::TemplateDeclInstantiator::getStartingScope ( ) const
inline

Definition at line 678 of file Template.h.

Referenced by clang::Sema::InstantiateClass().

◆ InitFunctionInstantiation()

bool TemplateDeclInstantiator::InitFunctionInstantiation ( FunctionDecl New,
FunctionDecl Tmpl 
)

◆ InitMethodInstantiation()

bool TemplateDeclInstantiator::InitMethodInstantiation ( CXXMethodDecl New,
CXXMethodDecl Tmpl 
)

Initializes common fields of an instantiated method declaration (New) from the corresponding fields of its template (Tmpl).

Returns
true if there was an error

Definition at line 5365 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::AdjustDestructorExceptionSpec(), clang::Decl::getAccess(), clang::Sema::getLangOpts(), InitFunctionInstantiation(), clang::FunctionDecl::isVirtualAsWritten(), and New.

Referenced by VisitCXXMethodDecl().

◆ InstantiateClassTemplatePartialSpecialization()

ClassTemplatePartialSpecializationDecl * TemplateDeclInstantiator::InstantiateClassTemplatePartialSpecialization ( ClassTemplateDecl ClassTemplate,
ClassTemplatePartialSpecializationDecl PartialSpec 
)

Instantiate the declaration of a class template partial specialization.

Parameters
ClassTemplatethe (instantiated) class template that is partially
PartialSpecthe (uninstantiated) class template partial specialization that we are instantiating.
Returns
The instantiated partial specialization, if successful; otherwise, NULL to indicate an error.

Definition at line 4764 of file SemaTemplateInstantiateDecl.cpp.

References clang::ClassTemplateDecl::AddPartialSpecialization(), clang::ASTTemplateArgumentListInfo::arguments(), clang::Sema::CheckTemplateArgumentInfo::CanonicalConverted, clang::Sema::CheckTemplateArgumentList(), clang::Sema::CheckTemplatePartialSpecialization(), clang::Sema::CheckTemplatePartialSpecializationArgs(), clang::Sema::Context, clang::ClassTemplatePartialSpecializationDecl::Create(), clang::SemaBase::Diag(), clang::ClassTemplateDecl::findPartialSpecialization(), clang::TypeDecl::getBeginLoc(), clang::ASTContext::getCanonicalTagType(), clang::Decl::getLocation(), clang::TagDecl::getTagKind(), clang::ClassTemplateSpecializationDecl::getTemplateArgsAsWritten(), clang::ClassTemplatePartialSpecializationDecl::getTemplateParameters(), clang::ASTTemplateArgumentListInfo::LAngleLoc, clang::ASTTemplateArgumentListInfo::RAngleLoc, clang::ClassTemplatePartialSpecializationDecl::setInstantiatedFromMember(), clang::ClassTemplateSpecializationDecl::setTemplateArgsAsWritten(), clang::TemplateArgumentListInfo::size(), SubstQualifier(), clang::Sema::SubstTemplateArguments(), and SubstTemplateParams().

Referenced by clang::Sema::InstantiateClass().

◆ InstantiateEnumDefinition()

void TemplateDeclInstantiator::InstantiateEnumDefinition ( EnumDecl Enum,
EnumDecl Pattern 
)

◆ InstantiateTypeAliasTemplateDecl()

Decl * TemplateDeclInstantiator::InstantiateTypeAliasTemplateDecl ( TypeAliasTemplateDecl D)

◆ InstantiateTypedefNameDecl()

Decl * TemplateDeclInstantiator::InstantiateTypedefNameDecl ( TypedefNameDecl D,
bool  IsTypeAlias 
)

◆ InstantiateVarTemplatePartialSpecialization()

VarTemplatePartialSpecializationDecl * TemplateDeclInstantiator::InstantiateVarTemplatePartialSpecialization ( VarTemplateDecl VarTemplate,
VarTemplatePartialSpecializationDecl PartialSpec 
)

Instantiate the declaration of a variable template partial specialization.

Parameters
VarTemplatethe (instantiated) variable template that is partially specialized by the instantiation of PartialSpec.
PartialSpecthe (uninstantiated) variable template partial specialization that we are instantiating.
Returns
The instantiated partial specialization, if successful; otherwise, NULL to indicate an error.

Definition at line 4874 of file SemaTemplateInstantiateDecl.cpp.

References clang::ASTTemplateArgumentListInfo::arguments(), clang::Sema::BuildVariableInstantiation(), clang::Sema::CheckTemplateArgumentInfo::CanonicalConverted, clang::Sema::CheckTemplateArgumentList(), clang::Sema::CheckTemplatePartialSpecialization(), clang::Sema::CheckTemplatePartialSpecializationArgs(), clang::Sema::Context, clang::VarTemplatePartialSpecializationDecl::Create(), clang::SemaBase::Diag(), clang::NamedDecl::getDeclName(), clang::DeclaratorDecl::getInnerLocStart(), clang::Decl::getLocation(), clang::VarDecl::getStorageClass(), clang::VarTemplateSpecializationDecl::getTemplateArgsAsWritten(), clang::VarTemplatePartialSpecializationDecl::getTemplateParameters(), clang::TypeSourceInfo::getType(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::DeclaratorDecl::getTypeSpecStartLoc(), clang::Type::isFunctionType(), clang::VarDecl::isStaticDataMember(), clang::ASTTemplateArgumentListInfo::LAngleLoc, clang::ASTTemplateArgumentListInfo::RAngleLoc, clang::VarTemplatePartialSpecializationDecl::setInstantiatedFromMember(), clang::VarTemplateSpecializationDecl::setTemplateArgsAsWritten(), clang::TemplateArgumentListInfo::size(), SubstQualifier(), clang::Sema::SubstTemplateArguments(), SubstTemplateParams(), clang::Sema::SubstType(), and clang::VarTemplate.

Referenced by clang::Sema::InstantiateClass().

◆ setEvaluateConstraints()

void clang::TemplateDeclInstantiator::setEvaluateConstraints ( bool  B)
inline

Definition at line 608 of file Template.h.

Referenced by clang::Sema::InstantiateClass(), and clang::Sema::SubstTemplateParams().

◆ SubstDefaultedFunction()

bool TemplateDeclInstantiator::SubstDefaultedFunction ( FunctionDecl New,
FunctionDecl Tmpl 
)

◆ SubstFunctionType()

TypeSourceInfo * TemplateDeclInstantiator::SubstFunctionType ( FunctionDecl D,
SmallVectorImpl< ParmVarDecl * > &  Params 
)

◆ SubstQualifier() [1/2]

bool TemplateDeclInstantiator::SubstQualifier ( const DeclaratorDecl OldDecl,
DeclaratorDecl NewDecl 
)

◆ SubstQualifier() [2/2]

bool TemplateDeclInstantiator::SubstQualifier ( const TagDecl OldDecl,
TagDecl NewDecl 
)

Definition at line 83 of file SemaTemplateInstantiateDecl.cpp.

◆ SubstTemplateParams()

TemplateParameterList * TemplateDeclInstantiator::SubstTemplateParams ( TemplateParameterList L)

◆ VisitBaseUsingDecls()

Decl * TemplateDeclInstantiator::VisitBaseUsingDecls ( BaseUsingDecl D,
BaseUsingDecl Inst,
LookupResult Lookup 
)

◆ VisitCXXMethodDecl()

Decl * TemplateDeclInstantiator::VisitCXXMethodDecl ( CXXMethodDecl D,
TemplateParameterList TemplateParams,
RewriteKind  RK = RewriteKind::None 
)

Definition at line 3002 of file SemaTemplateInstantiateDecl.cpp.

References clang::DeclContext::addDecl(), adjustForRewrite(), adjustFunctionTypeForInstantiation(), clang::CXXScopeSpec::Adopt(), clang::TemplateParameterList::asArray(), clang::Sema::CheckFriendAccess(), clang::Sema::CheckFunctionDeclaration(), clang::Sema::CheckFunctionTemplateSpecialization(), clang::Sema::CheckOverrideControl(), clang::Sema::CheckPureMethod(), clang::Sema::CodeSynthesisContexts, clang::Sema::CompleteMemberSpecialization(), clang::Sema::computeDeclContext(), clang::Constructor, clang::Sema::Context, clang::CXXDestructorDecl::Create(), clang::CXXConversionDecl::Create(), clang::CXXConstructorDecl::Create(), clang::CXXMethodDecl::Create(), clang::FunctionTemplateDecl::Create(), clang::TemplateParameterList::Create(), clang::TemplateArgumentList::CreateCopy(), clang::Sema::CreateRecoveryExpr(), D, clang::ASTContext::DeclarationNames, clang::Sema::CodeSynthesisContext::DeducedTemplateArgumentSubstitution, clang::Destructor, clang::Sema::FindInstantiatedContext(), clang::Sema::FindInstantiatedDecl(), clang::Decl::FOK_None, clang::FunctionTemplate, clang::ActionResult< PtrTy, Compress >::get(), clang::Decl::getAccess(), clang::Stmt::getBeginLoc(), clang::ASTContext::getCanonicalTagType(), clang::DeclarationNameTable::getCXXDestructorName(), clang::Decl::getDeclContext(), clang::Decl::getEndLoc(), clang::Stmt::getEndLoc(), clang::Decl::getFriendObjectKind(), clang::ExplicitSpecifier::getFromDecl(), clang::MultiLevelTemplateArgumentList::getInnermost(), clang::TemplateParameterList::getLAngleLoc(), clang::Decl::getLexicalDeclContext(), clang::Decl::getLocation(), clang::Decl::getPreviousDecl(), clang::TemplateParameterList::getRAngleLoc(), clang::TemplateParameterList::getRequiresClause(), clang::TemplateParameterList::getTemplateLoc(), clang::ASTContext::getTrivialTypeSourceInfo(), clang::Expr::getType(), InitMethodInstantiation(), clang::Sema::instantiateExplicitSpecifier(), clang::Decl::isInLocalScopeForInstantiation(), clang::isLambdaMethod(), clang::Decl::isOutOfLine(), clang::ActionResult< PtrTy, Compress >::isUsable(), Loc, clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::MarkFunctionReferenced(), clang::Method, None, P, Previous, clang::Sema::RequireCompleteDeclContext(), clang::SC_None, clang::SC_Static, clang::Sema::SetDeclDeleted(), clang::ExplicitSpecifier::setKind(), clang::TemplateArgumentListInfo::setLAngleLoc(), clang::TemplateArgumentListInfo::setRAngleLoc(), clang::TemplateParameterList::size(), clang::Sema::SubstDeclarationNameInfo(), clang::Sema::SubstDefaultArgument(), SubstDefaultedFunction(), SubstFunctionType(), clang::Sema::SubstNestedNameSpecifierLoc(), clang::Sema::SubstTemplateArguments(), SubstTemplateParams(), clang::T, clang::TSK_ImplicitInstantiation, and clang::Unresolved.

Referenced by clang::Sema::SubstSpaceshipAsEqualEqual().

◆ VisitDecl()

Decl * TemplateDeclInstantiator::VisitDecl ( Decl D)

Definition at line 4623 of file SemaTemplateInstantiateDecl.cpp.

◆ VisitFunctionDecl()

Decl * TemplateDeclInstantiator::VisitFunctionDecl ( FunctionDecl D,
TemplateParameterList TemplateParams,
RewriteKind  FunctionRewriteKind = RewriteKind::None 
)

Normal class members are of more specific types and therefore don't make it here.

This function serves three purposes: 1) instantiating function templates 2) substituting friend and local function declarations 3) substituting deduction guide declarations for nested class templates

Definition at line 2616 of file SemaTemplateInstantiateDecl.cpp.

References clang::Sema::adjustContextForLocalExternDecl(), adjustForRewrite(), adjustFunctionTypeForInstantiation(), clang::CXXScopeSpec::Adopt(), clang::TemplateParameterList::asArray(), clang::Sema::CodeSynthesisContext::BuildingDeductionGuides, clang::Sema::CheckFunctionDeclaration(), clang::Sema::CheckFunctionTemplateSpecialization(), clang::Sema::CheckTemplateParameterList(), clang::Sema::CodeSynthesisContexts, clang::Sema::computeDeclContext(), clang::Sema::Context, clang::FunctionTemplateDecl::Create(), clang::CXXDeductionGuideDecl::Create(), clang::FunctionDecl::Create(), clang::TemplateParameterList::Create(), clang::TemplateArgumentList::CreateCopy(), clang::Sema::CreateRecoveryExpr(), clang::Sema::CurContext, D, clang::Sema::FilterLookupForScope(), clang::Sema::FindInstantiatedContext(), clang::Sema::FindInstantiatedDecl(), clang::Decl::FOK_None, clang::Sema::forRedeclarationInCurContext(), clang::Function, clang::FunctionTemplate, clang::ActionResult< PtrTy, Compress >::get(), clang::Decl::getAccess(), clang::Stmt::getBeginLoc(), clang::Decl::getCanonicalDecl(), clang::Decl::getDeclContext(), clang::FunctionDecl::getDescribedFunctionTemplate(), clang::SourceRange::getEnd(), clang::Stmt::getEndLoc(), clang::ASTContext::getExternalSource(), clang::Decl::getFriendObjectKind(), clang::MultiLevelTemplateArgumentList::getInnermost(), clang::TemplateParameterList::getLAngleLoc(), clang::Decl::getLocation(), clang::TemplateParameterList::getRAngleLoc(), clang::DeclContext::getRedeclContext(), clang::TemplateParameterList::getRequiresClause(), clang::Decl::getSourceRange(), clang::TemplateParameterList::getTemplateLoc(), clang::Expr::getType(), clang::Decl::hasBody(), clang::NestedNameSpecifierLoc::hasQualifier(), clang::Decl::IDNS_Ordinary, InitFunctionInstantiation(), clang::Sema::instantiateExplicitSpecifier(), clang::DeclContext::isFileContext(), clang::DeclContext::isFunctionOrMethod(), clang::Decl::isInIdentifierNamespace(), clang::ExplicitSpecifier::isInvalid(), clang::Decl::isLocalExternDecl(), clang::Decl::isOutOfLine(), clang::DeclContext::isRecord(), clang::ActionResult< PtrTy, Compress >::isUsable(), Loc, clang::Sema::LookupOrdinaryName, clang::Sema::LookupQualifiedName(), clang::Sema::LookupRedeclarationWithLinkage, clang::DeclContext::makeDeclVisibleInContext(), None, P, clang::Sema::PendingLocalImplicitInstantiations, Previous, clang::Sema::SetDeclDeleted(), clang::TemplateArgumentListInfo::setLAngleLoc(), clang::Decl::setNonMemberOperator(), clang::TemplateArgumentListInfo::setRAngleLoc(), clang::TemplateParameterList::size(), clang::Sema::SubstDeclarationNameInfo(), clang::Sema::SubstDefaultArgument(), SubstDefaultedFunction(), SubstFunctionType(), clang::Sema::SubstNestedNameSpecifierLoc(), clang::Sema::SubstTemplateArguments(), clang::T, clang::Sema::TPC_FriendFunctionTemplate, clang::Sema::TPC_FriendFunctionTemplateDefinition, and clang::TSK_ImplicitInstantiation.

Referenced by clang::Sema::SubstSpaceshipAsEqualEqual().

◆ VisitVarDecl()

Decl * TemplateDeclInstantiator::VisitVarDecl ( VarDecl D,
bool  InstantiatingVarTemplate,
ArrayRef< BindingDecl * > *  Bindings = nullptr 
)

Definition at line 1643 of file SemaTemplateInstantiateDecl.cpp.

References D, and VisitVarDecl().

Referenced by VisitVarDecl().

◆ VisitVarTemplateSpecializationDecl()

Decl * TemplateDeclInstantiator::VisitVarTemplateSpecializationDecl ( VarTemplateDecl VarTemplate,
VarDecl FromVar,
const TemplateArgumentListInfo TemplateArgsInfo,
ArrayRef< TemplateArgument Converted,
VarTemplateSpecializationDecl PrevDecl = nullptr 
)

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