Represents a C++ template name within the type system. More...

#include "clang/AST/TemplateName.h"

Public Types
enum	NameKind { Template , OverloadedTemplate , AssumedTemplate , QualifiedTemplate , DependentTemplate , SubstTemplateTemplateParm , SubstTemplateTemplateParmPack , UsingTemplate }

enum class	Qualified { None , AsWritten }

Public Member Functions
	TemplateName ()=default

	TemplateName (TemplateDecl *Template)

	TemplateName (OverloadedTemplateStorage *Storage)

	TemplateName (AssumedTemplateStorage *Storage)

	TemplateName (SubstTemplateTemplateParmStorage *Storage)

	TemplateName (SubstTemplateTemplateParmPackStorage *Storage)

	TemplateName (QualifiedTemplateName *Qual)

	TemplateName (DependentTemplateName *Dep)

	TemplateName (UsingShadowDecl *Using)

bool	isNull () const
	Determine whether this template name is NULL.

NameKind	getKind () const

TemplateDecl *	getAsTemplateDecl () const
	Retrieve the underlying template declaration that this template name refers to, if known.

OverloadedTemplateStorage *	getAsOverloadedTemplate () const
	Retrieve the underlying, overloaded function template declarations that this template name refers to, if known.

AssumedTemplateStorage *	getAsAssumedTemplateName () const
	Retrieve information on a name that has been assumed to be a template-name in order to permit a call via ADL.

SubstTemplateTemplateParmStorage *	getAsSubstTemplateTemplateParm () const
	Retrieve the substituted template template parameter, if known.

SubstTemplateTemplateParmPackStorage *	getAsSubstTemplateTemplateParmPack () const
	Retrieve the substituted template template parameter pack, if known.

QualifiedTemplateName *	getAsQualifiedTemplateName () const
	Retrieve the underlying qualified template name structure, if any.

DependentTemplateName *	getAsDependentTemplateName () const
	Retrieve the underlying dependent template name structure, if any.

UsingShadowDecl *	getAsUsingShadowDecl () const
	Retrieve the using shadow declaration through which the underlying template declaration is introduced, if any.

TemplateName	getUnderlying () const

TemplateNameDependence	getDependence () const

bool	isDependent () const
	Determines whether this is a dependent template name.

bool	isInstantiationDependent () const
	Determines whether this is a template name that somehow depends on a template parameter.

bool	containsUnexpandedParameterPack () const
	Determines whether this template name contains an unexpanded parameter pack (for C++0x variadic templates).

void	print (raw_ostream &OS, const PrintingPolicy &Policy, Qualified Qual=Qualified::AsWritten) const
	Print the template name.

void	dump (raw_ostream &OS, const ASTContext &Context) const
	Debugging aid that dumps the template name.

void	dump () const
	Debugging aid that dumps the template name to standard error.

void	Profile (llvm::FoldingSetNodeID &ID)

void *	getAsVoidPointer () const
	Retrieve the template name as a void pointer.

bool	operator== (TemplateName Other) const
	Structural equality.

bool	operator!= (TemplateName Other) const

Static Public Member Functions
static TemplateName	getFromVoidPointer (void *Ptr)
	Build a template name from a void pointer.

Detailed Description

Represents a C++ template name within the type system.

A C++ template name refers to a template within the C++ type system. In most cases, a template name is simply a reference to a class template, e.g.

template<typename T> class X { };
 
X<int> xi;

Here, the 'X' in X<int> is a template name that refers to the declaration of the class template X, above. Template names can also refer to function templates, C++0x template aliases, etc.

Some template names are dependent. For example, consider:

template<typename MetaFun, typename T1, typename T2> struct apply2 {
  typedef typename MetaFun::template apply<T1, T2>::type type;
};

Here, "apply" is treated as a template name within the typename specifier in the typedef. "apply" is a nested template, and can only be understood in the context of a template instantiation, hence is represented as a dependent template name.

Definition at line 203 of file TemplateName.h.

Member Enumeration Documentation

◆ NameKind

enum clang::TemplateName::NameKind

Enumerator
Template	A single template declaration.
OverloadedTemplate	A set of overloaded template declarations.
AssumedTemplate	An unqualified-id that has been assumed to name a function template that will be found by ADL.
QualifiedTemplate	A qualified template name, where the qualification is kept to describe the source code as written.
DependentTemplate	A dependent template name that has not been resolved to a template (or set of templates).
SubstTemplateTemplateParm	A template template parameter that has been substituted for some other template name.
SubstTemplateTemplateParmPack	A template template parameter pack that has been substituted for a template template argument pack, but has not yet been expanded into individual arguments.
UsingTemplate	A template name that refers to a template declaration found through a specific using shadow declaration.

Definition at line 218 of file TemplateName.h.

◆ Qualified

enum class clang::TemplateName::Qualified

strong

Enumerator
None
AsWritten

Definition at line 331 of file TemplateName.h.

Constructor & Destructor Documentation

◆ TemplateName() [1/9]

clang::TemplateName::TemplateName ( )

default

◆ TemplateName() [2/9]

TemplateName::TemplateName ( TemplateDecl * Template )

explicit

Definition at line 106 of file TemplateName.cpp.

◆ TemplateName() [3/9]

TemplateName::TemplateName ( OverloadedTemplateStorage * Storage )

explicit

Definition at line 107 of file TemplateName.cpp.

◆ TemplateName() [4/9]

TemplateName::TemplateName ( AssumedTemplateStorage * Storage )

explicit

Definition at line 109 of file TemplateName.cpp.

◆ TemplateName() [5/9]

TemplateName::TemplateName ( SubstTemplateTemplateParmStorage * Storage )

explicit

Definition at line 111 of file TemplateName.cpp.

◆ TemplateName() [6/9]

TemplateName::TemplateName ( SubstTemplateTemplateParmPackStorage * Storage )

explicit

Definition at line 113 of file TemplateName.cpp.

◆ TemplateName() [7/9]

TemplateName::TemplateName ( QualifiedTemplateName * Qual )

explicit

Definition at line 115 of file TemplateName.cpp.

◆ TemplateName() [8/9]

TemplateName::TemplateName ( DependentTemplateName * Dep )

explicit

Definition at line 116 of file TemplateName.cpp.

◆ TemplateName() [9/9]

TemplateName::TemplateName ( UsingShadowDecl * Using )

explicit

Definition at line 117 of file TemplateName.cpp.

Member Function Documentation

◆ containsUnexpandedParameterPack()

bool TemplateName::containsUnexpandedParameterPack ( ) const

Determines whether this template name contains an unexpanded parameter pack (for C++0x variadic templates).

Definition at line 263 of file TemplateName.cpp.

References getDependence().

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

◆ dump() [1/2]

LLVM_DUMP_METHOD void TemplateName::dump ( ) const

Debugging aid that dumps the template name to standard error.

Definition at line 371 of file ASTDumper.cpp.

References clang::ASTNodeTraverser< Derived, NodeDelegateType >::Visit().

◆ dump() [2/2]

void clang::TemplateName::dump	(	raw_ostream &	OS,
		const ASTContext &	Context
	)		const

Debugging aid that dumps the template name.

◆ getAsAssumedTemplateName()

AssumedTemplateStorage * TemplateName::getAsAssumedTemplateName ( ) const

Retrieve information on a name that has been assumed to be a template-name in order to permit a call via ADL.

Definition at line 174 of file TemplateName.cpp.

References clang::UncommonTemplateNameStorage::getAsAssumedTemplateName().

Referenced by clang::Sema::ActOnCXXNestedNameSpecifier(), clang::Sema::ActOnTemplateIdType(), clang::ASTImporter::Import(), IsStructurallyEquivalent(), and print().

◆ getAsDependentTemplateName()

DependentTemplateName * TemplateName::getAsDependentTemplateName ( ) const

Retrieve the underlying dependent template name structure, if any.

Definition at line 204 of file TemplateName.cpp.

Referenced by clang::Sema::ActOnCXXNestedNameSpecifier(), clang::Sema::ActOnTagTemplateIdType(), clang::Sema::ActOnTemplateIdType(), clang::Sema::ActOnTypenameType(), clang::Sema::CheckTemplateArgument(), clang::TextNodeDumper::dumpBareTemplateName(), clang::ASTContext::getCanonicalTemplateSpecializationType(), getDependence(), clang::ASTContext::getTemplateSpecializationType(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTImporter::Import(), clang::TemplateSpecializationTypeLoc::initializeArgLocs(), IsStructurallyEquivalent(), print(), clang::TreeTransform< Derived >::RebuildDependentTemplateSpecializationType(), clang::TreeTransform< Derived >::TransformDependentTemplateSpecializationType(), and clang::RecursiveASTVisitor< Derived >::TraverseTemplateName().

◆ getAsOverloadedTemplate()

OverloadedTemplateStorage * TemplateName::getAsOverloadedTemplate ( ) const

Retrieve the underlying, overloaded function template declarations that this template name refers to, if known.

Returns: The set of overloaded function templates that this template name refers to, if known. If the template name does not refer to a specific set of function templates because it is a dependent name or refers to a single template, returns NULL.

Definition at line 166 of file TemplateName.cpp.

References clang::UncommonTemplateNameStorage::getAsOverloadedStorage().

Referenced by clang::Sema::ActOnCXXNestedNameSpecifier(), clang::ASTImporter::Import(), IsStructurallyEquivalent(), print(), and clang::SemaCodeCompletion::ProduceTemplateArgumentSignatureHelp().

◆ getAsQualifiedTemplateName()

QualifiedTemplateName * TemplateName::getAsQualifiedTemplateName ( ) const

Retrieve the underlying qualified template name structure, if any.

Definition at line 200 of file TemplateName.cpp.

Referenced by clang::Sema::CheckDeductionGuideDeclarator(), clang::TextNodeDumper::dumpBareTemplateName(), getAsTemplateDecl(), getAsUsingShadowDecl(), getDependence(), clang::TypeName::getFullyQualifiedTemplateName(), clang::Sema::getTrivialTemplateArgumentLoc(), clang::ASTImporter::Import(), clang::TemplateSpecializationTypeLoc::initializeArgLocs(), print(), and clang::RecursiveASTVisitor< Derived >::TraverseTemplateName().

◆ getAsSubstTemplateTemplateParm()

SubstTemplateTemplateParmStorage * TemplateName::getAsSubstTemplateTemplateParm ( ) const

Retrieve the substituted template template parameter, if known.

Returns: The storage for the substituted template template parameter, if known. Otherwise, returns NULL.

Definition at line 183 of file TemplateName.cpp.

References clang::UncommonTemplateNameStorage::getAsSubstTemplateTemplateParm().

Referenced by clang::TextNodeDumper::dumpBareTemplateName(), getAsTemplateDecl(), clang::ASTImporter::Import(), and print().

◆ getAsSubstTemplateTemplateParmPack()

SubstTemplateTemplateParmPackStorage * TemplateName::getAsSubstTemplateTemplateParmPack ( ) const

Retrieve the substituted template template parameter pack, if known.

Returns: The storage for the substituted template template parameter pack, if known. Otherwise, returns NULL.

Definition at line 192 of file TemplateName.cpp.

References clang::UncommonTemplateNameStorage::getAsSubstTemplateTemplateParmPack().

Referenced by clang::Sema::getFullyPackExpandedSize(), clang::ASTImporter::Import(), IsStructurallyEquivalent(), and print().

◆ getAsTemplateDecl()

TemplateDecl * TemplateName::getAsTemplateDecl ( ) const

Retrieve the underlying template declaration that this template name refers to, if known.

Returns: The template declaration that this template name refers to, if any. If the template name does not refer to a specific declaration because it is a dependent name, or if it refers to a set of function templates, returns NULL.

Definition at line 145 of file TemplateName.cpp.

References getAsQualifiedTemplateName(), getAsSubstTemplateTemplateParm(), and getAsUsingShadowDecl().

Referenced by clang::Sema::ActOnCXXNestedNameSpecifier(), clang::Sema::ActOnTagTemplateIdType(), addAssociatedClassesAndNamespaces(), clang::Sema::BuildTypeConstraint(), clang::Sema::CheckDeductionGuideDeclarator(), clang::Sema::CheckTypeConstraint(), DeduceTemplateArguments(), DeduceTemplateSpecArguments(), clang::Sema::DeduceTemplateSpecializationFromInitializer(), DiagnoseBadDeduction(), clang::TextNodeDumper::dumpBareTemplateName(), findOrdinaryMemberInDependentClasses(), GetDeclSpecTypeForDeclarator(), getDependence(), clang::TypeName::getFullyQualifiedTemplateName(), clang::Sema::GetNameFromUnqualifiedId(), clang::ASTContext::getTemplateSpecializationType(), clang::ASTImporter::Import(), InventTemplateParameter(), isEnableIf(), IsSmallVector(), clang::Sema::isStdInitializerList(), IsStdVector(), IsStructurallyEquivalent(), isSubstitutedTemplateArgument(), isTemplateArgumentTemplateParameter(), CXXNameMangler::TemplateArgManglingInfo::needToMangleTemplateParam(), print(), clang::SemaCodeCompletion::ProduceTemplateArgumentSignatureHelp(), and CXXNameMangler::TemplateArgManglingInfo::TemplateArgManglingInfo().

◆ getAsUsingShadowDecl()

UsingShadowDecl * TemplateName::getAsUsingShadowDecl ( ) const

Retrieve the using shadow declaration through which the underlying template declaration is introduced, if any.

Definition at line 208 of file TemplateName.cpp.

References D, and getAsQualifiedTemplateName().

Referenced by clang::Sema::BuildTypeConstraint(), clang::TextNodeDumper::dumpBareTemplateName(), getAsTemplateDecl(), clang::TypeName::getFullyQualifiedTemplateName(), clang::ASTImporter::Import(), and InventTemplateParameter().

◆ getAsVoidPointer()

void * clang::TemplateName::getAsVoidPointer ( ) const

inline

Retrieve the template name as a void pointer.

Definition at line 355 of file TemplateName.h.

Referenced by llvm::PointerLikeTypeTraits< clang::TemplateName >::getAsVoidPointer(), getCommonSugarTypeNode(), getCommonTemplateArgument(), getCommonTemplateName(), getCommonTemplateNameChecked(), clang::ASTContext::hasSameTemplateName(), isSameTemplateArg(), and clang::QualifiedTemplateName::Profile().

◆ getDependence()

TemplateNameDependence TemplateName::getDependence ( ) const

Definition at line 217 of file TemplateName.cpp.

References D, DependentTemplate, getAsDependentTemplateName(), getAsQualifiedTemplateName(), getAsTemplateDecl(), getDependence(), getKind(), OverloadedTemplate, QualifiedTemplate, SubstTemplateTemplateParmPack, Template, and clang::toTemplateNameDependence().

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

◆ getFromVoidPointer()

static TemplateName clang::TemplateName::getFromVoidPointer ( void * Ptr )

inlinestatic

Build a template name from a void pointer.

Definition at line 358 of file TemplateName.h.

Referenced by clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), and llvm::PointerLikeTypeTraits< clang::TemplateName >::getFromVoidPointer().

◆ getKind()

◆ getUnderlying()

TemplateName clang::TemplateName::getUnderlying ( ) const

inline

Definition at line 415 of file TemplateName.h.

References clang::UncommonTemplateNameStorage::getAsSubstTemplateTemplateParm(), and getUnderlying().

Referenced by getUnderlying().

◆ isDependent()

bool TemplateName::isDependent ( ) const

Determines whether this is a dependent template name.

Definition at line 255 of file TemplateName.cpp.

References getDependence().

Referenced by clang::Sema::DeduceTemplateSpecializationFromInitializer(), and clang::DeducedTemplateSpecializationType::Profile().

◆ isInstantiationDependent()

bool TemplateName::isInstantiationDependent ( ) const

Determines whether this is a template name that somehow depends on a template parameter.

Definition at line 259 of file TemplateName.cpp.

References getDependence().

◆ isNull()

bool TemplateName::isNull ( ) const

Determine whether this template name is NULL.

Definition at line 119 of file TemplateName.cpp.

Referenced by clang::Sema::ActOnTemplateTemplateParameter(), clang::Sema::DiagnoseUnexpandedParameterPack(), clang::TreeTransform< Derived >::RebuildDependentTemplateSpecializationType(), clang::Sema::SubstDefaultTemplateArgumentIfAvailable(), clang::TreeTransform< Derived >::TransformTemplateArgument(), and clang::TreeTransform< Derived >::TransformTemplateSpecializationType().

◆ operator!=()

bool clang::TemplateName::operator!= ( TemplateName Other ) const

inline

Definition at line 364 of file TemplateName.h.

References clang::operator==(), and clang::Other.

◆ operator==()

bool clang::TemplateName::operator== ( TemplateName Other ) const

inline

Structural equality.

Definition at line 363 of file TemplateName.h.

References clang::Other.

◆ print()

void TemplateName::print	(	raw_ostream &	OS,
		const PrintingPolicy &	Policy,
		Qualified	Qual = `Qualified::AsWritten`
	)		const

Print the template name.

Parameters

OS	the output stream to which the template name will be printed.
Qual	print the (Qualified::None) simple name, (Qualified::AsWritten) any written (possibly partial) qualifier, or (Qualified::Fully) the fully qualified name.

Definition at line 267 of file TemplateName.cpp.

References clang::OverloadedTemplateStorage::begin(), clang::PrintingPolicy::CleanUglifiedParameters, getAsAssumedTemplateName(), getAsDependentTemplateName(), getAsOverloadedTemplate(), getAsQualifiedTemplateName(), getAsSubstTemplateTemplateParm(), getAsSubstTemplateTemplateParmPack(), getAsTemplateDecl(), clang::NamedDecl::getIdentifier(), getKind(), clang::getOperatorSpelling(), None, OverloadedTemplate, clang::Decl::print(), Template, and UsingTemplate.

Referenced by clang::TextNodeDumper::dumpTemplateName(), clang::operator<<(), clang::TemplateArgument::print(), and clang::JSONNodeDumper::VisitTemplateSpecializationType().

◆ Profile()

void clang::TemplateName::Profile ( llvm::FoldingSetNodeID & ID )

inline

Definition at line 350 of file TemplateName.h.

References ID.

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

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

include/clang/AST/TemplateName.h
lib/AST/ASTDumper.cpp
lib/AST/TemplateName.cpp

Public Types

Public Member Functions

Static Public Member Functions

Detailed Description

Member Enumeration Documentation

◆ NameKind

◆ Qualified

Constructor & Destructor Documentation

◆ TemplateName() [1/9]

◆ TemplateName() [2/9]

◆ TemplateName() [3/9]

◆ TemplateName() [4/9]

◆ TemplateName() [5/9]

◆ TemplateName() [6/9]

◆ TemplateName() [7/9]

◆ TemplateName() [8/9]

◆ TemplateName() [9/9]

Member Function Documentation

◆ containsUnexpandedParameterPack()

◆ dump() [1/2]

◆ dump() [2/2]

◆ getAsAssumedTemplateName()

◆ getAsDependentTemplateName()

◆ getAsOverloadedTemplate()

◆ getAsQualifiedTemplateName()

◆ getAsSubstTemplateTemplateParm()

◆ getAsSubstTemplateTemplateParmPack()

◆ getAsTemplateDecl()

◆ getAsUsingShadowDecl()

◆ getAsVoidPointer()

◆ getDependence()

◆ getFromVoidPointer()

◆ getKind()

◆ getUnderlying()

◆ isDependent()

◆ isInstantiationDependent()

◆ isNull()

◆ operator!=()

◆ operator==()

◆ print()

◆ Profile()