clang::TemplateArgument Class Reference

Represents a template argument. More...

#include "clang/AST/TemplateBase.h"

Inheritance diagram for clang::TemplateArgument:

Public Types
enum	ArgKind {   Null = 0 , Type , Declaration , NullPtr ,   Integral , Template , TemplateExpansion , Expression ,   Pack }
	The kind of template argument we're storing. More...
using	pack_iterator = const TemplateArgument *
	Iterator that traverses the elements of a template argument pack.

Public Member Functions
constexpr	TemplateArgument ()
	Construct an empty, invalid template argument.
	TemplateArgument (QualType T, bool isNullPtr=false, bool IsDefaulted=false)
	Construct a template type argument.
	TemplateArgument (ValueDecl *D, QualType QT, bool IsDefaulted=false)
	Construct a template argument that refers to a declaration, which is either an external declaration or a template declaration.
	TemplateArgument (ASTContext &Ctx, const llvm::APSInt &Value, QualType Type, bool IsDefaulted=false)
	Construct an integral constant template argument.
	TemplateArgument (const TemplateArgument &Other, QualType Type)
	Construct an integral constant template argument with the same value as Other but a different type.
	TemplateArgument (TemplateName Name, bool IsDefaulted=false)
	Construct a template argument that is a template.
	TemplateArgument (TemplateName Name, std::optional< unsigned > NumExpansions, bool IsDefaulted=false)
	Construct a template argument that is a template pack expansion.
	TemplateArgument (Expr *E, bool IsDefaulted=false)
	Construct a template argument that is an expression.
	TemplateArgument (ArrayRef< TemplateArgument > Args)
	Construct a template argument that is a template argument pack.
ArgKind	getKind () const
	Return the kind of stored template argument.
bool	isNull () const
	Determine whether this template argument has no value.
TemplateArgumentDependence	getDependence () const
bool	isDependent () const
	Whether this template argument is dependent on a template parameter such that its result can change from one instantiation to another.
bool	isInstantiationDependent () const
	Whether this template argument is dependent on a template parameter.
bool	containsUnexpandedParameterPack () const
	Whether this template argument contains an unexpanded parameter pack.
bool	isPackExpansion () const
	Determine whether this template argument is a pack expansion.
QualType	getAsType () const
	Retrieve the type for a type template argument.
ValueDecl *	getAsDecl () const
	Retrieve the declaration for a declaration non-type template argument.
QualType	getParamTypeForDecl () const
QualType	getNullPtrType () const
	Retrieve the type for null non-type template argument.
TemplateName	getAsTemplate () const
	Retrieve the template name for a template name argument.
TemplateName	getAsTemplateOrTemplatePattern () const
	Retrieve the template argument as a template name; if the argument is a pack expansion, return the pattern as a template name.
std::optional< unsigned >	getNumTemplateExpansions () const
	Retrieve the number of expansions that a template template argument expansion will produce, if known.
llvm::APSInt	getAsIntegral () const
	Retrieve the template argument as an integral value.
QualType	getIntegralType () const
	Retrieve the type of the integral value.
void	setIntegralType (QualType T)
void	setIsDefaulted (bool v)
	Set to 'true' if this TemplateArgument corresponds to a default template parameter.
bool	getIsDefaulted () const
	If returns 'true', this TemplateArgument corresponds to a default template parameter.
QualType	getNonTypeTemplateArgumentType () const
	If this is a non-type template argument, get its type.
Expr *	getAsExpr () const
	Retrieve the template argument as an expression.
pack_iterator	pack_begin () const
	Iterator referencing the first argument of a template argument pack.
pack_iterator	pack_end () const
	Iterator referencing one past the last argument of a template argument pack.
ArrayRef< TemplateArgument >	pack_elements () const
	Iterator range referencing all of the elements of a template argument pack.
unsigned	pack_size () const
	The number of template arguments in the given template argument pack.
ArrayRef< TemplateArgument >	getPackAsArray () const
	Return the array of arguments in this template argument pack.
bool	structurallyEquals (const TemplateArgument &Other) const
	Determines whether two template arguments are superficially the same.
TemplateArgument	getPackExpansionPattern () const
	When the template argument is a pack expansion, returns the pattern of the pack expansion.
void	print (const PrintingPolicy &Policy, raw_ostream &Out, bool IncludeType) const
	Print this template argument to the given output stream.
void	dump (raw_ostream &Out) const
	Debugging aid that dumps the template argument.
void	dump () const
	Debugging aid that dumps the template argument to standard error.
void	Profile (llvm::FoldingSetNodeID &ID, const ASTContext &Context) const
	Used to insert TemplateArguments into FoldingSets.

Static Public Member Functions
static TemplateArgument	getEmptyPack ()
static TemplateArgument	CreatePackCopy (ASTContext &Context, ArrayRef< TemplateArgument > Args)
	Create a new template argument pack by copying the given set of template arguments.

Detailed Description

Represents a template argument.

Definition at line 60 of file TemplateBase.h.

Member Typedef Documentation

pack_iterator

using clang::TemplateArgument::pack_iterator = const TemplateArgument *

Iterator that traverses the elements of a template argument pack.

Definition at line 385 of file TemplateBase.h.

Member Enumeration Documentation

ArgKind

enum clang::TemplateArgument::ArgKind

The kind of template argument we're storing.

Enumerator
Null	Represents an empty template argument, e.g., one that has not been deduced.
Type	The template argument is a type.
Declaration	The template argument is a declaration that was provided for a pointer, reference, or pointer to member non-type template parameter.
NullPtr	The template argument is a null pointer or null pointer to member that was provided for a non-type template parameter.
Integral	The template argument is an integral value stored in an llvm::APSInt that was provided for an integral non-type template parameter.
Template	The template argument is a template name that was provided for a template template parameter.
TemplateExpansion	The template argument is a pack expansion of a template name that was provided for a template template parameter.
Expression	The template argument is an expression, and we've not resolved it to one of the other forms yet, either because it's dependent or because we're representing a non-canonical template argument (for instance, in a TemplateSpecializationType).
Pack	The template argument is actually a parameter pack. Arguments are stored in the Args struct.

Definition at line 63 of file TemplateBase.h.

Constructor & Destructor Documentation

TemplateArgument() [1/9]

constexpr clang::TemplateArgument::TemplateArgument ( )

inlineconstexpr

Construct an empty, invalid template argument.

Definition at line 166 of file TemplateBase.h.

References Null.

Referenced by CreatePackCopy(), getEmptyPack(), and getPackExpansionPattern().

TemplateArgument() [2/9]

clang::TemplateArgument::TemplateArgument ( QualType  T, bool  isNullPtr = false, bool  IsDefaulted = false  )

inline

Construct a template type argument.

Definition at line 169 of file TemplateBase.h.

References clang::QualType::getAsOpaquePtr(), NullPtr, Type, and TypeOrValue.

TemplateArgument() [3/9]

clang::TemplateArgument::TemplateArgument ( ValueDecl *  D, QualType  QT, bool  IsDefaulted = false  )

inline

Construct a template argument that refers to a declaration, which is either an external declaration or a template declaration.

Definition at line 179 of file TemplateBase.h.

References Declaration, DeclArg, and clang::QualType::getAsOpaquePtr().

TemplateArgument() [4/9]

TemplateArgument::TemplateArgument	(	ASTContext &	Ctx,
		const llvm::APSInt &	Value,
		QualType	Type,
		bool	IsDefaulted = false
	)

Construct an integral constant template argument.

The memory to store the value is allocated with Ctx.

Definition at line 164 of file TemplateBase.cpp.

References clang::ASTContext::Allocate(), Integer, and Integral.

TemplateArgument() [5/9]

clang::TemplateArgument::TemplateArgument ( const TemplateArgument &  Other, QualType  Type  )

inline

Construct an integral constant template argument with the same value as Other but a different type.

Definition at line 194 of file TemplateBase.h.

References Integer, and clang::Other.

TemplateArgument() [6/9]

clang::TemplateArgument::TemplateArgument ( TemplateName  Name, bool  IsDefaulted = false  )

inline

Construct a template argument that is a template.

This form of template argument is generally used for template template parameters. However, the template name could be a dependent template name that ends up being instantiated to a function template whose address is taken.

Parameters

Name	The template name.
IsDefaulted	If 'true', implies that this TemplateArgument corresponds to a default template parameter

Definition at line 210 of file TemplateBase.h.

References Template, and TemplateArg.

TemplateArgument() [7/9]

clang::TemplateArgument::TemplateArgument ( TemplateName  Name, std::optional< unsigned >  NumExpansions, bool  IsDefaulted = false  )

inline

Construct a template argument that is a template pack expansion.

This form of template argument is generally used for template template parameters. However, the template name could be a dependent template name that ends up being instantiated to a function template whose address is taken.

Parameters

Name	The template name.
NumExpansions	The number of expansions that will be generated by instantiating
IsDefaulted	If 'true', implies that this TemplateArgument corresponds to a default template parameter

Definition at line 231 of file TemplateBase.h.

References TemplateArg, and TemplateExpansion.

TemplateArgument() [8/9]

clang::TemplateArgument::TemplateArgument ( Expr *  E, bool  IsDefaulted = false  )

inline

Construct a template argument that is an expression.

This form of template argument only occurs in template argument lists used for dependent types and for expression; it will not occur in a non-dependent, canonical template argument list.

Definition at line 247 of file TemplateBase.h.

References Expression, and TypeOrValue.

TemplateArgument() [9/9]

clang::TemplateArgument::TemplateArgument ( ArrayRef< TemplateArgument >  Args )

inlineexplicit

Construct a template argument that is a template argument pack.

We assume that storage for the template arguments provided outlives the TemplateArgument itself.

Definition at line 257 of file TemplateBase.h.

References Args, and Pack.

Member Function Documentation

containsUnexpandedParameterPack()

bool TemplateArgument::containsUnexpandedParameterPack

(

)

const

Whether this template argument contains an unexpanded parameter pack.

Definition at line 272 of file TemplateBase.cpp.

References getDependence().

Referenced by clang::Sema::DiagnoseUnexpandedParameterPack(), and clang::Sema::getFullyPackExpandedSize().

CreatePackCopy()

TemplateArgument TemplateArgument::CreatePackCopy ( ASTContext &  Context, ArrayRef< TemplateArgument >  Args  )

static

Create a new template argument pack by copying the given set of template arguments.

Definition at line 185 of file TemplateBase.cpp.

References Args, getEmptyPack(), and TemplateArgument().

Referenced by checkDeducedTemplateArguments(), clang::Sema::CheckTemplateArgumentList(), ConvertDeducedTemplateArgument(), clang::ASTContext::getCanonicalTemplateArgument(), and clang::ASTContext::getInjectedTemplateArg().

dump() [1/2]

LLVM_DUMP_METHOD void TemplateArgument::dump

(

)

const

Debugging aid that dumps the template argument to standard error.

Definition at line 488 of file TemplateBase.cpp.

References dump().

Referenced by dump().

dump() [2/2]

void TemplateArgument::dump

(

raw_ostream &

Out

)

const

Debugging aid that dumps the template argument.

Definition at line 481 of file TemplateBase.cpp.

References print().

getAsDecl()

ValueDecl * clang::TemplateArgument::getAsDecl ( ) const

inline

Retrieve the declaration for a declaration non-type template argument.

Definition at line 305 of file TemplateBase.h.

References Declaration, DeclArg, and getKind().

Referenced by clang::ODRHash::AddTemplateArgument(), clang::Sema::BuildExpressionFromDeclTemplateArgument(), checkDeducedTemplateArguments(), DeduceTemplateArguments(), DiagTemplateArg(), clang::ASTContext::getCanonicalTemplateArgument(), getDependence(), clang::ASTNodeImporter::import(), isSameTemplateArg(), IsStructurallyEquivalent(), print(), Profile(), structurallyEquals(), clang::TreeTransform< Derived >::TransformTemplateArgument(), clang::JSONNodeDumper::VisitDeclarationTemplateArgument(), and clang::TextNodeDumper::VisitDeclarationTemplateArgument().

getAsExpr()

Expr * clang::TemplateArgument::getAsExpr ( ) const

inline

Retrieve the template argument as an expression.

Definition at line 379 of file TemplateBase.h.

References getKind(), and TypeOrValue.

Referenced by clang::ODRHash::AddTemplateArgument(), clang::ASTRecordWriter::AddTemplateArgumentLoc(), checkDeducedTemplateArguments(), CheckNonTypeTemplatePartialSpecializationArgs(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckTemplateTypeArgument(), DeduceTemplateArguments(), DiagTemplateArg(), getCommonTemplateArgument(), getDependence(), clang::Sema::getFullyPackExpandedSize(), getNonTypeTemplateArgumentType(), getPackExpansionPattern(), clang::Sema::getTemplateArgumentPackExpansionPattern(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTNodeImporter::import(), isPackExpansion(), isSameTemplateArg(), IsStructurallyEquivalent(), isSubstitutedTemplateArgument(), isTemplateArgumentTemplateParameter(), print(), Profile(), clang::ASTRecordReader::readTemplateArgumentLoc(), templateArgumentExpressionsEqual(), clang::TreeTransform< Derived >::TransformTemplateArgument(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgument(), and clang::ASTNodeTraverser< Derived, NodeDelegateType >::VisitExpressionTemplateArgument().

getAsIntegral()

llvm::APSInt clang::TemplateArgument::getAsIntegral ( ) const

inline

Retrieve the template argument as an integral value.

Definition at line 342 of file TemplateBase.h.

References getKind(), Integer, and Integral.

Referenced by clang::ODRHash::AddTemplateArgument(), clang::Sema::BuildExpressionFromIntegralTemplateArgument(), checkBuiltinTemplateIdType(), checkDeducedTemplateArguments(), DeduceTemplateArguments(), DiagTemplateArg(), isSameTemplateArg(), IsStructurallyEquivalent(), printIntegral(), Profile(), structurallyEquals(), templateArgumentExpressionsEqual(), clang::TreeTransform< Derived >::TransformTemplateArgument(), clang::JSONNodeDumper::VisitIntegralTemplateArgument(), and clang::TextNodeDumper::VisitIntegralTemplateArgument().

getAsTemplate()

TemplateName clang::TemplateArgument::getAsTemplate ( ) const

inline

Retrieve the template name for a template name argument.

Definition at line 322 of file TemplateBase.h.

References clang::TemplateName::getFromVoidPointer(), getKind(), Template, and TemplateArg.

Referenced by clang::Sema::ActOnTemplateTemplateParameter(), checkDeducedTemplateArguments(), DeduceTemplateArguments(), DiagnoseBadDeduction(), DiagTemplateArg(), clang::ASTContext::getCanonicalTemplateArgument(), getCommonTemplateArgument(), getDependence(), clang::Sema::getFullyPackExpandedSize(), clang::TypeName::getFullyQualifiedTemplateArgument(), clang::ASTNodeImporter::import(), clang::ASTContext::isSameDefaultTemplateArgument(), IsStructurallyEquivalent(), isSubstitutedTemplateArgument(), print(), clang::TreeTransform< Derived >::RebuildPackExpansion(), SubstDefaultTemplateArgument(), clang::TreeTransform< Derived >::TransformTemplateArgument(), and clang::TextNodeDumper::VisitTemplateTemplateArgument().

getAsTemplateOrTemplatePattern()

TemplateName clang::TemplateArgument::getAsTemplateOrTemplatePattern ( ) const

inline

Retrieve the template argument as a template name; if the argument is a pack expansion, return the pattern as a template name.

Definition at line 329 of file TemplateBase.h.

References clang::TemplateName::getFromVoidPointer(), getKind(), Template, TemplateArg, and TemplateExpansion.

Referenced by addAssociatedClassesAndNamespaces(), clang::ODRHash::AddTemplateArgument(), checkDeducedTemplateArguments(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckTemplateTemplateArgument(), clang::Sema::CheckTemplateTypeArgument(), DiagTemplateArg(), clang::ASTContext::getCanonicalTemplateArgument(), getCommonTemplateArgument(), getPackExpansionPattern(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTNodeImporter::import(), isSameTemplateArg(), IsStructurallyEquivalent(), isTemplateArgumentTemplateParameter(), CXXNameMangler::TemplateArgManglingInfo::needToMangleTemplateParam(), print(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgument(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgumentLoc(), and clang::TextNodeDumper::VisitTemplateExpansionTemplateArgument().

getAsType()

QualType clang::TemplateArgument::getAsType ( ) const

inline

Retrieve the type for a type template argument.

Definition at line 298 of file TemplateBase.h.

References clang::QualType::getFromOpaquePtr(), getKind(), and TypeOrValue.

Referenced by addAssociatedClassesAndNamespaces(), addInstanceOfTransition(), clang::ODRHash::AddTemplateArgument(), checkDeducedTemplateArguments(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckTemplateTypeArgument(), DeduceTemplateArguments(), DiagnoseBadDeduction(), DiagTemplateArg(), clang::ASTContext::getCanonicalTemplateArgument(), getCommonTemplateArgument(), getDependence(), clang::Sema::getFullyPackExpandedSize(), clang::TypeName::getFullyQualifiedTemplateArgument(), getPackExpansionPattern(), clang::Sema::getTemplateArgumentPackExpansionPattern(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTNodeImporter::import(), isPackExpansion(), isSameTemplateArg(), IsStructurallyEquivalent(), isSubstitutedTemplateArgument(), isTemplateArgumentTemplateParameter(), print(), Profile(), clang::TreeTransform< Derived >::TransformTemplateArgument(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgument(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgumentLoc(), TryDeconstructFunctionLike(), clang::ASTNodeTraverser< Derived, NodeDelegateType >::VisitTypeTemplateArgument(), clang::JSONNodeDumper::VisitTypeTemplateArgument(), and clang::TextNodeDumper::VisitTypeTemplateArgument().

getDependence()

TemplateArgumentDependence TemplateArgument::getDependence

(

)

const

Definition at line 193 of file TemplateBase.cpp.

References Declaration, Expression, getAsDecl(), getAsExpr(), getAsTemplate(), getAsType(), clang::Decl::getDeclContext(), getDependence(), getKind(), Integral, Null, NullPtr, P, Pack, pack_elements(), Template, TemplateExpansion, clang::toTemplateArgumentDependence(), and Type.

Referenced by containsUnexpandedParameterPack(), getDependence(), isDependent(), and isInstantiationDependent().

getEmptyPack()

static TemplateArgument clang::TemplateArgument::getEmptyPack ( )

inlinestatic

Definition at line 264 of file TemplateBase.h.

References TemplateArgument().

Referenced by CreatePackCopy().

getIntegralType()

QualType clang::TemplateArgument::getIntegralType ( ) const

inline

Retrieve the type of the integral value.

Definition at line 356 of file TemplateBase.h.

References clang::QualType::getFromOpaquePtr(), getKind(), Integer, and Integral.

Referenced by clang::Sema::BuildExpressionFromIntegralTemplateArgument(), DeduceTemplateArguments(), clang::ASTContext::getCanonicalTemplateArgument(), getNonTypeTemplateArgumentType(), clang::ASTNodeImporter::import(), IsStructurallyEquivalent(), printIntegral(), Profile(), and structurallyEquals().

getIsDefaulted()

bool clang::TemplateArgument::getIsDefaulted ( ) const

inline

If returns 'true', this TemplateArgument corresponds to a default template parameter.

Definition at line 372 of file TemplateBase.h.

References TypeOrValue.

Referenced by clang::ASTContext::getCanonicalTemplateArgument(), clang::ASTNodeImporter::import(), and printTo().

getKind()

ArgKind clang::TemplateArgument::getKind ( ) const

inline

Return the kind of stored template argument.

Definition at line 274 of file TemplateBase.h.

References TypeOrValue.

Referenced by addAssociatedClassesAndNamespaces(), addInstanceOfTransition(), clang::ODRHash::AddTemplateArgument(), clang::ASTRecordWriter::AddTemplateArgumentLoc(), clang::Sema::BuildExpressionFromDeclTemplateArgument(), clang::Sema::BuildExpressionFromIntegralTemplateArgument(), checkDeducedTemplateArguments(), clang::Sema::CheckTemplateArgument(), clang::Sema::CheckTemplateTypeArgument(), ConvertDeducedTemplateArgument(), DeduceTemplateArguments(), describeTemplateParameter(), DiagnoseBadDeduction(), DiagTemplateArg(), CXXNameMangler::TemplateArgManglingInfo::getArgInfo(), getAsDecl(), getAsExpr(), getAsIntegral(), getAsTemplate(), getAsTemplateOrTemplatePattern(), getAsType(), clang::ASTContext::getCanonicalTemplateArgument(), getCommonTemplateArgument(), getDependence(), clang::Sema::getFullyPackExpandedSize(), clang::TypeName::getFullyQualifiedTemplateArgument(), clang::comments::getFunctionTypeLoc(), getIntegralType(), clang::TemplateArgumentLoc::getLocation(), getMoreSpecialized(), clang::Sema::getMoreSpecializedTemplate(), getNonTypeTemplateArgumentType(), getNullPtrType(), getNumTemplateExpansions(), getPackAsArray(), getPackExpansionPattern(), getParamTypeForDecl(), clang::TemplateArgumentLoc::getSourceDeclExpression(), clang::TemplateArgumentLoc::getSourceExpression(), clang::TemplateArgumentLoc::getSourceIntegralExpression(), clang::TemplateArgumentLoc::getSourceNullPtrExpression(), clang::TemplateArgumentLoc::getSourceRange(), clang::Sema::getTemplateArgumentPackExpansionPattern(), clang::TemplateArgumentLoc::getTemplateEllipsisLoc(), clang::TemplateArgumentLoc::getTemplateNameLoc(), clang::TemplateArgumentLoc::getTemplateQualifierLoc(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::TemplateArgumentLoc::getTypeSourceInfo(), hasTemplateArgumentForDeduction(), clang::ASTNodeImporter::import(), isEnableIf(), isNull(), isPackExpansion(), isSameAsPrimaryTemplate(), isSameTemplateArg(), IsStructurallyEquivalent(), clang::isSubstitutedDefaultArgument(), isSubstitutedTemplateArgument(), isTemplateArgumentTemplateParameter(), clang::Sema::isTemplateTemplateParameterAtLeastAsSpecializedAs(), CXXNameMangler::TemplateArgManglingInfo::needToMangleTemplateParam(), pack_begin(), pack_end(), pack_size(), print(), printArgument(), printTo(), Profile(), clang::ASTRecordReader::readTemplateArgumentLoc(), clang::TreeTransform< Derived >::RebuildPackExpansion(), ReferencesAnonymousEntity(), setIntegralType(), structurallyEquals(), clang::Sema::SubstituteExplicitTemplateArguments(), templateArgumentExpressionsEqual(), clang::TemplateArgumentLoc::TemplateArgumentLoc(), clang::TreeTransform< Derived >::TransformTemplateArgument(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgument(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgumentLoc(), TryDeconstructFunctionLike(), and clang::templateargumentvisitor::Base< Ref, ImplClass, RetTy, ParamTys >::Visit().

getNonTypeTemplateArgumentType()

QualType TemplateArgument::getNonTypeTemplateArgumentType

(

)

const

If this is a non-type template argument, get its type.

Otherwise, returns a null QualType.

Definition at line 284 of file TemplateBase.cpp.

References Declaration, Expression, getAsExpr(), getIntegralType(), getKind(), getNullPtrType(), getParamTypeForDecl(), clang::Expr::getType(), Integral, Null, NullPtr, Pack, Template, TemplateExpansion, and Type.

Referenced by checkDeducedTemplateArguments(), DiagnoseBadDeduction(), and clang::TreeTransform< Derived >::TransformTemplateArgument().

getNullPtrType()

QualType clang::TemplateArgument::getNullPtrType ( ) const

inline

Retrieve the type for null non-type template argument.

Definition at line 316 of file TemplateBase.h.

References clang::QualType::getFromOpaquePtr(), getKind(), NullPtr, and TypeOrValue.

Referenced by checkDeducedTemplateArguments(), DeduceTemplateArguments(), clang::ASTContext::getCanonicalTemplateArgument(), getCommonTemplateArgument(), getNonTypeTemplateArgumentType(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTNodeImporter::import(), isSameTemplateArg(), and Profile().

getNumTemplateExpansions()

std::optional< unsigned > TemplateArgument::getNumTemplateExpansions

(

)

const

Retrieve the number of expansions that a template template argument expansion will produce, if known.

Definition at line 276 of file TemplateBase.cpp.

References getKind(), TemplateArg, and TemplateExpansion.

Referenced by clang::ASTContext::getCanonicalTemplateArgument(), getCommonTemplateArgument(), clang::Sema::getTemplateArgumentPackExpansionPattern(), and clang::ASTNodeImporter::import().

getPackAsArray()

ArrayRef< TemplateArgument > clang::TemplateArgument::getPackAsArray ( ) const

inline

Return the array of arguments in this template argument pack.

Definition at line 415 of file TemplateBase.h.

References Args, getKind(), and Pack.

Referenced by describeTemplateParameter(), and printTo().

getPackExpansionPattern()

TemplateArgument TemplateArgument::getPackExpansionPattern

(

)

const

When the template argument is a pack expansion, returns the pattern of the pack expansion.

Definition at line 386 of file TemplateBase.cpp.

References clang::Type::castAs(), Declaration, Expression, getAsExpr(), getAsTemplateOrTemplatePattern(), getAsType(), getKind(), Integral, isPackExpansion(), Null, NullPtr, Pack, Template, TemplateArgument(), TemplateExpansion, and Type.

Referenced by DeduceTemplateArguments(), getPackSubstitutedTemplateArgument(), clang::Sema::getTemplateArgumentPackExpansionPattern(), and isSameAsPrimaryTemplate().

getParamTypeForDecl()

QualType clang::TemplateArgument::getParamTypeForDecl ( ) const

inline

Definition at line 310 of file TemplateBase.h.

References Declaration, DeclArg, clang::QualType::getFromOpaquePtr(), and getKind().

Referenced by DeduceTemplateArguments(), clang::ASTContext::getCanonicalTemplateArgument(), getNonTypeTemplateArgumentType(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTNodeImporter::import(), print(), Profile(), and structurallyEquals().

isDependent()

bool TemplateArgument::isDependent

(

)

const

Whether this template argument is dependent on a template parameter such that its result can change from one instantiation to another.

Definition at line 241 of file TemplateBase.cpp.

References getDependence().

Referenced by checkBuiltinTemplateIdType().

isInstantiationDependent()

bool TemplateArgument::isInstantiationDependent

(

)

const

Whether this template argument is dependent on a template parameter.

Definition at line 245 of file TemplateBase.cpp.

References getDependence().

Referenced by clang::MultiLevelTemplateArgumentList::isAnyArgInstantiationDependent().

isNull()

bool clang::TemplateArgument::isNull ( ) const

inline

Determine whether this template argument has no value.

Definition at line 277 of file TemplateBase.h.

References getKind(), and Null.

Referenced by checkDeducedTemplateArguments(), clang::Sema::CheckTemplateArgument(), ConvertDeducedTemplateArguments(), clang::Sema::DiagnoseUnexpandedParameterPack(), and clang::TemplateTemplateParmDecl::setDefaultArgument().

isPackExpansion()

bool TemplateArgument::isPackExpansion

(

)

const

Determine whether this template argument is a pack expansion.

Definition at line 249 of file TemplateBase.cpp.

References Declaration, Expression, getAsExpr(), getAsType(), getKind(), Integral, Null, NullPtr, Pack, Template, TemplateExpansion, and Type.

Referenced by DeduceTemplateArguments(), CXXNameMangler::TemplateArgManglingInfo::getArgInfo(), getPackExpansionPattern(), getPackSubstitutedTemplateArgument(), clang::Sema::getTemplateArgumentPackExpansionPattern(), isSameAsPrimaryTemplate(), isSameTemplateArg(), and clang::Sema::isTemplateTemplateParameterAtLeastAsSpecializedAs().

pack_begin()

pack_iterator clang::TemplateArgument::pack_begin ( ) const

inline

Iterator referencing the first argument of a template argument pack.

Definition at line 389 of file TemplateBase.h.

References Args, getKind(), and Pack.

Referenced by checkDeducedTemplateArguments(), getPackSubstitutedTemplateArgument(), isSameAsPrimaryTemplate(), clang::Sema::isTemplateTemplateParameterAtLeastAsSpecializedAs(), CXXNameMangler::TemplateArgManglingInfo::needToMangleTemplateParam(), pack_elements(), and clang::Sema::SubstituteExplicitTemplateArguments().

pack_elements()

ArrayRef< TemplateArgument > clang::TemplateArgument::pack_elements ( ) const

inline

Iterator range referencing all of the elements of a template argument pack.

Definition at line 403 of file TemplateBase.h.

References pack_begin(), and pack_end().

Referenced by addAssociatedClassesAndNamespaces(), addInstanceOfTransition(), clang::ODRHash::AddTemplateArgument(), ConvertDeducedTemplateArgument(), clang::ASTContext::getCanonicalTemplateArgument(), getDependence(), clang::Sema::getFullyPackExpandedSize(), getMoreSpecialized(), clang::Sema::getMoreSpecializedTemplate(), clang::ASTContext::getSubstTemplateTemplateParmPack(), clang::ASTContext::getSubstTemplateTypeParmPackType(), hasTemplateArgumentForDeduction(), clang::ASTNodeImporter::import(), isSameTemplateArg(), IsStructurallyEquivalent(), print(), clang::SubstTemplateTypeParmPackType::Profile(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgument(), clang::RecursiveASTVisitor< Derived >::TraverseTemplateArgumentLoc(), and clang::ASTNodeTraverser< Derived, NodeDelegateType >::VisitPackTemplateArgument().

pack_end()

pack_iterator clang::TemplateArgument::pack_end ( ) const

inline

Iterator referencing one past the last argument of a template argument pack.

Definition at line 396 of file TemplateBase.h.

References Args, getKind(), and Pack.

Referenced by checkDeducedTemplateArguments(), and pack_elements().

pack_size()

unsigned clang::TemplateArgument::pack_size ( ) const

inline

The number of template arguments in the given template argument pack.

Definition at line 409 of file TemplateBase.h.

References Args, getKind(), and Pack.

Referenced by clang::ODRHash::AddTemplateArgument(), checkDeducedTemplateArguments(), DiagnoseBadDeduction(), clang::Sema::getFullyPackExpandedSize(), getMoreSpecialized(), clang::Sema::getMoreSpecializedTemplate(), getPackSubstitutedTemplateArgument(), clang::ASTNodeImporter::import(), isSameAsPrimaryTemplate(), isSameTemplateArg(), clang::isSubstitutedDefaultArgument(), clang::Sema::isTemplateTemplateParameterAtLeastAsSpecializedAs(), CXXNameMangler::TemplateArgManglingInfo::needToMangleTemplateParam(), printTo(), clang::SubstTemplateTypeParmPackType::Profile(), and clang::Sema::SubstituteExplicitTemplateArguments().

print()

void TemplateArgument::print	(	const PrintingPolicy &	Policy,
		raw_ostream &	Out,
		bool	IncludeType
	)		const

Print this template argument to the given output stream.

Definition at line 411 of file TemplateBase.cpp.

References Declaration, Expression, clang::First, clang::TemplateName::Fully, getAsDecl(), getAsExpr(), getAsTemplate(), getAsTemplateOrTemplatePattern(), getAsType(), getKind(), getParamTypeForDecl(), Integral, isRecordType(), needsAmpersandOnTemplateArg(), Null, NullPtr, P, Pack, pack_elements(), clang::QualType::print(), clang::TemplateName::print(), printIntegral(), clang::Stmt::printPretty(), clang::NamedDecl::printQualifiedName(), clang::PrintingPolicy::SuppressStrongLifetime, Template, TemplateExpansion, and Type.

Referenced by clang::PredefinedExpr::ComputeName(), describeTemplateParameter(), DiagTemplateArg(), dump(), clang::Sema::getTemplateArgumentBindingsText(), and printArgument().

Profile()

void TemplateArgument::Profile	(	llvm::FoldingSetNodeID &	ID,
		const ASTContext &	Context
	)		const

Used to insert TemplateArguments into FoldingSets.

Definition at line 309 of file TemplateBase.cpp.

References Args, Declaration, Expression, getAsDecl(), getAsExpr(), getAsIntegral(), getAsType(), getIntegralType(), getKind(), getNullPtrType(), getParamTypeForDecl(), Integral, Null, NullPtr, Pack, clang::QualType::Profile(), clang::Stmt::Profile(), Template, TemplateArg, TemplateExpansion, and Type.

Referenced by clang::SubstTemplateTemplateParmPackStorage::Profile().

setIntegralType()

void clang::TemplateArgument::setIntegralType ( QualType  T )

inline

Definition at line 361 of file TemplateBase.h.

References clang::QualType::getAsOpaquePtr(), getKind(), Integer, and Integral.

setIsDefaulted()

void clang::TemplateArgument::setIsDefaulted ( bool  v )

inline

Set to 'true' if this TemplateArgument corresponds to a default template parameter.

Definition at line 368 of file TemplateBase.h.

References TypeOrValue, and v.

structurallyEquals()

bool TemplateArgument::structurallyEquals

(

const TemplateArgument &

Other

)

const

Determines whether two template arguments are superficially the same.

Definition at line 352 of file TemplateBase.cpp.

References Args, Declaration, Expression, getAsDecl(), getAsIntegral(), getIntegralType(), getKind(), getParamTypeForDecl(), Integral, Null, NullPtr, clang::Other, Pack, Template, TemplateArg, TemplateExpansion, Type, and TypeOrValue.

Referenced by clang::ASTContext::getSubstTemplateTypeParmPackType(), and isSubstitutedTemplateArgument().

Member Data Documentation

Args

struct A clang::TemplateArgument::Args

Definition at line 159 of file TemplateBase.h.

Referenced by CreatePackCopy(), getPackAsArray(), clang::MultiLevelTemplateArgumentList::isAnyArgInstantiationDependent(), pack_begin(), pack_end(), pack_size(), Profile(), structurallyEquals(), and TemplateArgument().

DeclArg

struct DA clang::TemplateArgument::DeclArg

Definition at line 157 of file TemplateBase.h.

Referenced by getAsDecl(), getParamTypeForDecl(), and TemplateArgument().

Integer

struct I clang::TemplateArgument::Integer

Definition at line 158 of file TemplateBase.h.

Referenced by getAsIntegral(), getIntegralType(), setIntegralType(), and TemplateArgument().

TemplateArg

struct TA clang::TemplateArgument::TemplateArg

Definition at line 160 of file TemplateBase.h.

Referenced by getAsTemplate(), getAsTemplateOrTemplatePattern(), getNumTemplateExpansions(), Profile(), structurallyEquals(), and TemplateArgument().

TypeOrValue

struct TV clang::TemplateArgument::TypeOrValue

Definition at line 161 of file TemplateBase.h.

Referenced by getAsExpr(), getAsType(), getIsDefaulted(), getKind(), getNullPtrType(), setIsDefaulted(), structurallyEquals(), and TemplateArgument().

---

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

• include/clang/AST/TemplateBase.h
• lib/AST/TemplateBase.cpp