123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371 |
- //===- TemplateName.cpp - C++ Template Name Representation ----------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file defines the TemplateName interface and subclasses.
- //
- //===----------------------------------------------------------------------===//
- #include "clang/AST/TemplateName.h"
- #include "clang/AST/Decl.h"
- #include "clang/AST/DeclBase.h"
- #include "clang/AST/DeclCXX.h"
- #include "clang/AST/DeclTemplate.h"
- #include "clang/AST/DependenceFlags.h"
- #include "clang/AST/NestedNameSpecifier.h"
- #include "clang/AST/PrettyPrinter.h"
- #include "clang/AST/TemplateBase.h"
- #include "clang/Basic/Diagnostic.h"
- #include "clang/Basic/LLVM.h"
- #include "clang/Basic/LangOptions.h"
- #include "clang/Basic/OperatorKinds.h"
- #include "llvm/ADT/ArrayRef.h"
- #include "llvm/ADT/FoldingSet.h"
- #include "llvm/Support/Casting.h"
- #include "llvm/Support/Compiler.h"
- #include "llvm/Support/raw_ostream.h"
- #include <cassert>
- #include <optional>
- #include <string>
- using namespace clang;
- TemplateArgument
- SubstTemplateTemplateParmPackStorage::getArgumentPack() const {
- return TemplateArgument(llvm::ArrayRef(Arguments, Bits.Data));
- }
- TemplateTemplateParmDecl *
- SubstTemplateTemplateParmPackStorage::getParameterPack() const {
- return cast<TemplateTemplateParmDecl>(
- getReplacedTemplateParameterList(getAssociatedDecl())
- ->asArray()[Bits.Index]);
- }
- TemplateTemplateParmDecl *
- SubstTemplateTemplateParmStorage::getParameter() const {
- return cast<TemplateTemplateParmDecl>(
- getReplacedTemplateParameterList(getAssociatedDecl())
- ->asArray()[Bits.Index]);
- }
- void SubstTemplateTemplateParmStorage::Profile(llvm::FoldingSetNodeID &ID) {
- Profile(ID, Replacement, getAssociatedDecl(), getIndex(), getPackIndex());
- }
- void SubstTemplateTemplateParmStorage::Profile(
- llvm::FoldingSetNodeID &ID, TemplateName Replacement, Decl *AssociatedDecl,
- unsigned Index, std::optional<unsigned> PackIndex) {
- Replacement.Profile(ID);
- ID.AddPointer(AssociatedDecl);
- ID.AddInteger(Index);
- ID.AddInteger(PackIndex ? *PackIndex + 1 : 0);
- }
- SubstTemplateTemplateParmPackStorage::SubstTemplateTemplateParmPackStorage(
- ArrayRef<TemplateArgument> ArgPack, Decl *AssociatedDecl, unsigned Index,
- bool Final)
- : UncommonTemplateNameStorage(SubstTemplateTemplateParmPack, Index,
- ArgPack.size()),
- Arguments(ArgPack.data()), AssociatedDeclAndFinal(AssociatedDecl, Final) {
- assert(AssociatedDecl != nullptr);
- }
- void SubstTemplateTemplateParmPackStorage::Profile(llvm::FoldingSetNodeID &ID,
- ASTContext &Context) {
- Profile(ID, Context, getArgumentPack(), getAssociatedDecl(), getIndex(),
- getFinal());
- }
- Decl *SubstTemplateTemplateParmPackStorage::getAssociatedDecl() const {
- return AssociatedDeclAndFinal.getPointer();
- }
- bool SubstTemplateTemplateParmPackStorage::getFinal() const {
- return AssociatedDeclAndFinal.getInt();
- }
- void SubstTemplateTemplateParmPackStorage::Profile(
- llvm::FoldingSetNodeID &ID, ASTContext &Context,
- const TemplateArgument &ArgPack, Decl *AssociatedDecl, unsigned Index,
- bool Final) {
- ArgPack.Profile(ID, Context);
- ID.AddPointer(AssociatedDecl);
- ID.AddInteger(Index);
- ID.AddBoolean(Final);
- }
- TemplateName::TemplateName(void *Ptr) {
- Storage = StorageType::getFromOpaqueValue(Ptr);
- }
- TemplateName::TemplateName(TemplateDecl *Template) : Storage(Template) {}
- TemplateName::TemplateName(OverloadedTemplateStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(AssumedTemplateStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(SubstTemplateTemplateParmStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(SubstTemplateTemplateParmPackStorage *Storage)
- : Storage(Storage) {}
- TemplateName::TemplateName(QualifiedTemplateName *Qual) : Storage(Qual) {}
- TemplateName::TemplateName(DependentTemplateName *Dep) : Storage(Dep) {}
- TemplateName::TemplateName(UsingShadowDecl *Using) : Storage(Using) {}
- bool TemplateName::isNull() const { return Storage.isNull(); }
- TemplateName::NameKind TemplateName::getKind() const {
- if (auto *ND = Storage.dyn_cast<Decl *>()) {
- if (isa<UsingShadowDecl>(ND))
- return UsingTemplate;
- assert(isa<TemplateDecl>(ND));
- return Template;
- }
- if (Storage.is<DependentTemplateName *>())
- return DependentTemplate;
- if (Storage.is<QualifiedTemplateName *>())
- return QualifiedTemplate;
- UncommonTemplateNameStorage *uncommon
- = Storage.get<UncommonTemplateNameStorage*>();
- if (uncommon->getAsOverloadedStorage())
- return OverloadedTemplate;
- if (uncommon->getAsAssumedTemplateName())
- return AssumedTemplate;
- if (uncommon->getAsSubstTemplateTemplateParm())
- return SubstTemplateTemplateParm;
- return SubstTemplateTemplateParmPack;
- }
- TemplateDecl *TemplateName::getAsTemplateDecl() const {
- if (Decl *TemplateOrUsing = Storage.dyn_cast<Decl *>()) {
- if (UsingShadowDecl *USD = dyn_cast<UsingShadowDecl>(TemplateOrUsing))
- return cast<TemplateDecl>(USD->getTargetDecl());
- assert(isa<TemplateDecl>(TemplateOrUsing));
- return cast<TemplateDecl>(TemplateOrUsing);
- }
- if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName())
- return QTN->getUnderlyingTemplate().getAsTemplateDecl();
- if (SubstTemplateTemplateParmStorage *sub = getAsSubstTemplateTemplateParm())
- return sub->getReplacement().getAsTemplateDecl();
- if (UsingShadowDecl *USD = getAsUsingShadowDecl())
- return cast<TemplateDecl>(USD->getTargetDecl());
- return nullptr;
- }
- OverloadedTemplateStorage *TemplateName::getAsOverloadedTemplate() const {
- if (UncommonTemplateNameStorage *Uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return Uncommon->getAsOverloadedStorage();
- return nullptr;
- }
- AssumedTemplateStorage *TemplateName::getAsAssumedTemplateName() const {
- if (UncommonTemplateNameStorage *Uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return Uncommon->getAsAssumedTemplateName();
- return nullptr;
- }
- SubstTemplateTemplateParmStorage *
- TemplateName::getAsSubstTemplateTemplateParm() const {
- if (UncommonTemplateNameStorage *uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return uncommon->getAsSubstTemplateTemplateParm();
- return nullptr;
- }
- SubstTemplateTemplateParmPackStorage *
- TemplateName::getAsSubstTemplateTemplateParmPack() const {
- if (UncommonTemplateNameStorage *Uncommon =
- Storage.dyn_cast<UncommonTemplateNameStorage *>())
- return Uncommon->getAsSubstTemplateTemplateParmPack();
- return nullptr;
- }
- QualifiedTemplateName *TemplateName::getAsQualifiedTemplateName() const {
- return Storage.dyn_cast<QualifiedTemplateName *>();
- }
- DependentTemplateName *TemplateName::getAsDependentTemplateName() const {
- return Storage.dyn_cast<DependentTemplateName *>();
- }
- UsingShadowDecl *TemplateName::getAsUsingShadowDecl() const {
- if (Decl *D = Storage.dyn_cast<Decl *>())
- if (UsingShadowDecl *USD = dyn_cast<UsingShadowDecl>(D))
- return USD;
- if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName())
- return QTN->getUnderlyingTemplate().getAsUsingShadowDecl();
- return nullptr;
- }
- TemplateName TemplateName::getNameToSubstitute() const {
- TemplateDecl *Decl = getAsTemplateDecl();
- // Substituting a dependent template name: preserve it as written.
- if (!Decl)
- return *this;
- // If we have a template declaration, use the most recent non-friend
- // declaration of that template.
- Decl = cast<TemplateDecl>(Decl->getMostRecentDecl());
- while (Decl->getFriendObjectKind()) {
- Decl = cast<TemplateDecl>(Decl->getPreviousDecl());
- assert(Decl && "all declarations of template are friends");
- }
- return TemplateName(Decl);
- }
- TemplateNameDependence TemplateName::getDependence() const {
- auto D = TemplateNameDependence::None;
- switch (getKind()) {
- case TemplateName::NameKind::QualifiedTemplate:
- D |= toTemplateNameDependence(
- getAsQualifiedTemplateName()->getQualifier()->getDependence());
- break;
- case TemplateName::NameKind::DependentTemplate:
- D |= toTemplateNameDependence(
- getAsDependentTemplateName()->getQualifier()->getDependence());
- break;
- case TemplateName::NameKind::SubstTemplateTemplateParmPack:
- D |= TemplateNameDependence::UnexpandedPack;
- break;
- case TemplateName::NameKind::OverloadedTemplate:
- llvm_unreachable("overloaded templates shouldn't survive to here.");
- default:
- break;
- }
- if (TemplateDecl *Template = getAsTemplateDecl()) {
- if (auto *TTP = dyn_cast<TemplateTemplateParmDecl>(Template)) {
- D |= TemplateNameDependence::DependentInstantiation;
- if (TTP->isParameterPack())
- D |= TemplateNameDependence::UnexpandedPack;
- }
- // FIXME: Hack, getDeclContext() can be null if Template is still
- // initializing due to PCH reading, so we check it before using it.
- // Should probably modify TemplateSpecializationType to allow constructing
- // it without the isDependent() checking.
- if (Template->getDeclContext() &&
- Template->getDeclContext()->isDependentContext())
- D |= TemplateNameDependence::DependentInstantiation;
- } else {
- D |= TemplateNameDependence::DependentInstantiation;
- }
- return D;
- }
- bool TemplateName::isDependent() const {
- return getDependence() & TemplateNameDependence::Dependent;
- }
- bool TemplateName::isInstantiationDependent() const {
- return getDependence() & TemplateNameDependence::Instantiation;
- }
- bool TemplateName::containsUnexpandedParameterPack() const {
- return getDependence() & TemplateNameDependence::UnexpandedPack;
- }
- void TemplateName::print(raw_ostream &OS, const PrintingPolicy &Policy,
- Qualified Qual) const {
- auto Kind = getKind();
- TemplateDecl *Template = nullptr;
- if (Kind == TemplateName::Template || Kind == TemplateName::UsingTemplate) {
- // After `namespace ns { using std::vector }`, what is the fully-qualified
- // name of the UsingTemplateName `vector` within ns?
- //
- // - ns::vector (the qualified name of the using-shadow decl)
- // - std::vector (the qualified name of the underlying template decl)
- //
- // Similar to the UsingType behavior, using declarations are used to import
- // names more often than to export them, thus using the original name is
- // most useful in this case.
- Template = getAsTemplateDecl();
- }
- if (Template)
- if (Policy.CleanUglifiedParameters &&
- isa<TemplateTemplateParmDecl>(Template) && Template->getIdentifier())
- OS << Template->getIdentifier()->deuglifiedName();
- else if (Qual == Qualified::Fully &&
- getDependence() !=
- TemplateNameDependenceScope::DependentInstantiation)
- Template->printQualifiedName(OS, Policy);
- else
- OS << *Template;
- else if (QualifiedTemplateName *QTN = getAsQualifiedTemplateName()) {
- if (Qual == Qualified::Fully &&
- getDependence() !=
- TemplateNameDependenceScope::DependentInstantiation) {
- QTN->getUnderlyingTemplate().getAsTemplateDecl()->printQualifiedName(
- OS, Policy);
- return;
- }
- if (Qual == Qualified::AsWritten)
- QTN->getQualifier()->print(OS, Policy);
- if (QTN->hasTemplateKeyword())
- OS << "template ";
- OS << *QTN->getUnderlyingTemplate().getAsTemplateDecl();
- } else if (DependentTemplateName *DTN = getAsDependentTemplateName()) {
- if (Qual == Qualified::AsWritten && DTN->getQualifier())
- DTN->getQualifier()->print(OS, Policy);
- OS << "template ";
- if (DTN->isIdentifier())
- OS << DTN->getIdentifier()->getName();
- else
- OS << "operator " << getOperatorSpelling(DTN->getOperator());
- } else if (SubstTemplateTemplateParmStorage *subst
- = getAsSubstTemplateTemplateParm()) {
- subst->getReplacement().print(OS, Policy, Qual);
- } else if (SubstTemplateTemplateParmPackStorage *SubstPack
- = getAsSubstTemplateTemplateParmPack())
- OS << *SubstPack->getParameterPack();
- else if (AssumedTemplateStorage *Assumed = getAsAssumedTemplateName()) {
- Assumed->getDeclName().print(OS, Policy);
- } else {
- assert(getKind() == TemplateName::OverloadedTemplate);
- OverloadedTemplateStorage *OTS = getAsOverloadedTemplate();
- (*OTS->begin())->printName(OS, Policy);
- }
- }
- const StreamingDiagnostic &clang::operator<<(const StreamingDiagnostic &DB,
- TemplateName N) {
- std::string NameStr;
- llvm::raw_string_ostream OS(NameStr);
- LangOptions LO;
- LO.CPlusPlus = true;
- LO.Bool = true;
- OS << '\'';
- N.print(OS, PrintingPolicy(LO));
- OS << '\'';
- OS.flush();
- return DB << NameStr;
- }
- void TemplateName::dump(raw_ostream &OS) const {
- LangOptions LO; // FIXME!
- LO.CPlusPlus = true;
- LO.Bool = true;
- print(OS, PrintingPolicy(LO));
- }
- LLVM_DUMP_METHOD void TemplateName::dump() const {
- dump(llvm::errs());
- }
|