clang 20.0.0git
Public Types | Public Member Functions | Static Public Member Functions | List of all members
clang::TemplateName Class Reference

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
 
TemplateDeclgetAsTemplateDecl () const
 Retrieve the underlying template declaration that this template name refers to, if known.
 
OverloadedTemplateStoragegetAsOverloadedTemplate () const
 Retrieve the underlying, overloaded function template declarations that this template name refers to, if known.
 
AssumedTemplateStoragegetAsAssumedTemplateName () const
 Retrieve information on a name that has been assumed to be a template-name in order to permit a call via ADL.
 
SubstTemplateTemplateParmStoragegetAsSubstTemplateTemplateParm () const
 Retrieve the substituted template template parameter, if known.
 
SubstTemplateTemplateParmPackStoragegetAsSubstTemplateTemplateParmPack () const
 Retrieve the substituted template template parameter pack, if known.
 
QualifiedTemplateNamegetAsQualifiedTemplateName () const
 Retrieve the underlying qualified template name structure, if any.
 
DependentTemplateNamegetAsDependentTemplateName () const
 Retrieve the underlying dependent template name structure, if any.
 
UsingShadowDeclgetAsUsingShadowDecl () 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;
#define X(type, name)
Definition: Value.h:143

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;
};
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.

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

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

◆ 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

◆ 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

◆ getDependence()

TemplateNameDependence TemplateName::getDependence ( ) const

◆ getFromVoidPointer()

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

◆ getKind()

TemplateName::NameKind TemplateName::getKind ( ) const

◆ getUnderlying()

TemplateName clang::TemplateName::getUnderlying ( ) const
inline

◆ 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

◆ 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

◆ 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: