1//===- TemplateName.h - C++ Template Name Representation --------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9//  This file defines the TemplateName interface and subclasses.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_CLANG_AST_TEMPLATENAME_H
14#define LLVM_CLANG_AST_TEMPLATENAME_H
15
16#include "clang/AST/DependenceFlags.h"
17#include "clang/AST/NestedNameSpecifier.h"
18#include "clang/Basic/LLVM.h"
19#include "llvm/ADT/FoldingSet.h"
20#include "llvm/ADT/PointerIntPair.h"
21#include "llvm/ADT/PointerUnion.h"
22#include "llvm/Support/PointerLikeTypeTraits.h"
23#include <cassert>
24#include <optional>
25
26namespace clang {
27
28class ASTContext;
29class Decl;
30class DependentTemplateName;
31class IdentifierInfo;
32class NamedDecl;
33class NestedNameSpecifier;
34enum OverloadedOperatorKind : int;
35class OverloadedTemplateStorage;
36class AssumedTemplateStorage;
37struct PrintingPolicy;
38class QualifiedTemplateName;
39class SubstTemplateTemplateParmPackStorage;
40class SubstTemplateTemplateParmStorage;
41class TemplateArgument;
42class TemplateDecl;
43class TemplateTemplateParmDecl;
44class UsingShadowDecl;
45
46/// Implementation class used to describe either a set of overloaded
47/// template names or an already-substituted template template parameter pack.
48class UncommonTemplateNameStorage {
49protected:
50  enum Kind {
51    Overloaded,
52    Assumed, // defined in DeclarationName.h
53    SubstTemplateTemplateParm,
54    SubstTemplateTemplateParmPack
55  };
56
57  struct BitsTag {
58    LLVM_PREFERRED_TYPE(Kind)
59    unsigned Kind : 2;
60
61    // The template parameter index.
62    unsigned Index : 15;
63
64    /// The pack index, or the number of stored templates
65    /// or template arguments, depending on which subclass we have.
66    unsigned Data : 15;
67  };
68
69  union {
70    struct BitsTag Bits;
71    void *PointerAlignment;
72  };
73
74  UncommonTemplateNameStorage(Kind Kind, unsigned Index, unsigned Data) {
75    Bits.Kind = Kind;
76    Bits.Index = Index;
77    Bits.Data = Data;
78  }
79
80public:
81  OverloadedTemplateStorage *getAsOverloadedStorage()  {
82    return Bits.Kind == Overloaded
83             ? reinterpret_cast<OverloadedTemplateStorage *>(this)
84             : nullptr;
85  }
86
87  AssumedTemplateStorage *getAsAssumedTemplateName()  {
88    return Bits.Kind == Assumed
89             ? reinterpret_cast<AssumedTemplateStorage *>(this)
90             : nullptr;
91  }
92
93  SubstTemplateTemplateParmStorage *getAsSubstTemplateTemplateParm() {
94    return Bits.Kind == SubstTemplateTemplateParm
95             ? reinterpret_cast<SubstTemplateTemplateParmStorage *>(this)
96             : nullptr;
97  }
98
99  SubstTemplateTemplateParmPackStorage *getAsSubstTemplateTemplateParmPack() {
100    return Bits.Kind == SubstTemplateTemplateParmPack
101             ? reinterpret_cast<SubstTemplateTemplateParmPackStorage *>(this)
102             : nullptr;
103  }
104};
105
106/// A structure for storing the information associated with an
107/// overloaded template name.
108class OverloadedTemplateStorage : public UncommonTemplateNameStorage {
109  friend class ASTContext;
110
111  OverloadedTemplateStorage(unsigned size)
112      : UncommonTemplateNameStorage(Overloaded, 0, size) {}
113
114  NamedDecl **getStorage() {
115    return reinterpret_cast<NamedDecl **>(this + 1);
116  }
117  NamedDecl * const *getStorage() const {
118    return reinterpret_cast<NamedDecl *const *>(this + 1);
119  }
120
121public:
122  unsigned size() const { return Bits.Data; }
123
124  using iterator = NamedDecl *const *;
125
126  iterator begin() const { return getStorage(); }
127  iterator end() const { return getStorage() + Bits.Data; }
128
129  llvm::ArrayRef<NamedDecl*> decls() const {
130    return llvm::ArrayRef(begin(), end());
131  }
132};
133
134/// A structure for storing an already-substituted template template
135/// parameter pack.
136///
137/// This kind of template names occurs when the parameter pack has been
138/// provided with a template template argument pack in a context where its
139/// enclosing pack expansion could not be fully expanded.
140class SubstTemplateTemplateParmPackStorage : public UncommonTemplateNameStorage,
141                                             public llvm::FoldingSetNode {
142  const TemplateArgument *Arguments;
143  llvm::PointerIntPair<Decl *, 1, bool> AssociatedDeclAndFinal;
144
145public:
146  SubstTemplateTemplateParmPackStorage(ArrayRef<TemplateArgument> ArgPack,
147                                       Decl *AssociatedDecl, unsigned Index,
148                                       bool Final);
149
150  /// A template-like entity which owns the whole pattern being substituted.
151  /// This will own a set of template parameters.
152  Decl *getAssociatedDecl() const;
153
154  /// Returns the index of the replaced parameter in the associated declaration.
155  /// This should match the result of `getParameterPack()->getIndex()`.
156  unsigned getIndex() const { return Bits.Index; }
157
158  // When true the substitution will be 'Final' (subst node won't be placed).
159  bool getFinal() const;
160
161  /// Retrieve the template template parameter pack being substituted.
162  TemplateTemplateParmDecl *getParameterPack() const;
163
164  /// Retrieve the template template argument pack with which this
165  /// parameter was substituted.
166  TemplateArgument getArgumentPack() const;
167
168  void Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context);
169
170  static void Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context,
171                      const TemplateArgument &ArgPack, Decl *AssociatedDecl,
172                      unsigned Index, bool Final);
173};
174
175/// Represents a C++ template name within the type system.
176///
177/// A C++ template name refers to a template within the C++ type
178/// system. In most cases, a template name is simply a reference to a
179/// class template, e.g.
180///
181/// \code
182/// template<typename T> class X { };
183///
184/// X<int> xi;
185/// \endcode
186///
187/// Here, the 'X' in \c X<int> is a template name that refers to the
188/// declaration of the class template X, above. Template names can
189/// also refer to function templates, C++0x template aliases, etc.
190///
191/// Some template names are dependent. For example, consider:
192///
193/// \code
194/// template<typename MetaFun, typename T1, typename T2> struct apply2 {
195///   typedef typename MetaFun::template apply<T1, T2>::type type;
196/// };
197/// \endcode
198///
199/// Here, "apply" is treated as a template name within the typename
200/// specifier in the typedef. "apply" is a nested template, and can
201/// only be understood in the context of
202class TemplateName {
203  // NameDecl is either a TemplateDecl or a UsingShadowDecl depending on the
204  // NameKind.
205  // !! There is no free low bits in 32-bit builds to discriminate more than 4
206  // pointer types in PointerUnion.
207  using StorageType =
208      llvm::PointerUnion<Decl *, UncommonTemplateNameStorage *,
209                         QualifiedTemplateName *, DependentTemplateName *>;
210
211  StorageType Storage;
212
213  explicit TemplateName(void *Ptr);
214
215public:
216  // Kind of name that is actually stored.
217  enum NameKind {
218    /// A single template declaration.
219    Template,
220
221    /// A set of overloaded template declarations.
222    OverloadedTemplate,
223
224    /// An unqualified-id that has been assumed to name a function template
225    /// that will be found by ADL.
226    AssumedTemplate,
227
228    /// A qualified template name, where the qualification is kept
229    /// to describe the source code as written.
230    QualifiedTemplate,
231
232    /// A dependent template name that has not been resolved to a
233    /// template (or set of templates).
234    DependentTemplate,
235
236    /// A template template parameter that has been substituted
237    /// for some other template name.
238    SubstTemplateTemplateParm,
239
240    /// A template template parameter pack that has been substituted for
241    /// a template template argument pack, but has not yet been expanded into
242    /// individual arguments.
243    SubstTemplateTemplateParmPack,
244
245    /// A template name that refers to a template declaration found through a
246    /// specific using shadow declaration.
247    UsingTemplate,
248  };
249
250  TemplateName() = default;
251  explicit TemplateName(TemplateDecl *Template);
252  explicit TemplateName(OverloadedTemplateStorage *Storage);
253  explicit TemplateName(AssumedTemplateStorage *Storage);
254  explicit TemplateName(SubstTemplateTemplateParmStorage *Storage);
255  explicit TemplateName(SubstTemplateTemplateParmPackStorage *Storage);
256  explicit TemplateName(QualifiedTemplateName *Qual);
257  explicit TemplateName(DependentTemplateName *Dep);
258  explicit TemplateName(UsingShadowDecl *Using);
259
260  /// Determine whether this template name is NULL.
261  bool isNull() const;
262
263  // Get the kind of name that is actually stored.
264  NameKind getKind() const;
265
266  /// Retrieve the underlying template declaration that
267  /// this template name refers to, if known.
268  ///
269  /// \returns The template declaration that this template name refers
270  /// to, if any. If the template name does not refer to a specific
271  /// declaration because it is a dependent name, or if it refers to a
272  /// set of function templates, returns NULL.
273  TemplateDecl *getAsTemplateDecl() const;
274
275  /// Retrieve the underlying, overloaded function template
276  /// declarations that this template name refers to, if known.
277  ///
278  /// \returns The set of overloaded function templates that this template
279  /// name refers to, if known. If the template name does not refer to a
280  /// specific set of function templates because it is a dependent name or
281  /// refers to a single template, returns NULL.
282  OverloadedTemplateStorage *getAsOverloadedTemplate() const;
283
284  /// Retrieve information on a name that has been assumed to be a
285  /// template-name in order to permit a call via ADL.
286  AssumedTemplateStorage *getAsAssumedTemplateName() const;
287
288  /// Retrieve the substituted template template parameter, if
289  /// known.
290  ///
291  /// \returns The storage for the substituted template template parameter,
292  /// if known. Otherwise, returns NULL.
293  SubstTemplateTemplateParmStorage *getAsSubstTemplateTemplateParm() const;
294
295  /// Retrieve the substituted template template parameter pack, if
296  /// known.
297  ///
298  /// \returns The storage for the substituted template template parameter pack,
299  /// if known. Otherwise, returns NULL.
300  SubstTemplateTemplateParmPackStorage *
301  getAsSubstTemplateTemplateParmPack() const;
302
303  /// Retrieve the underlying qualified template name
304  /// structure, if any.
305  QualifiedTemplateName *getAsQualifiedTemplateName() const;
306
307  /// Retrieve the underlying dependent template name
308  /// structure, if any.
309  DependentTemplateName *getAsDependentTemplateName() const;
310
311  /// Retrieve the using shadow declaration through which the underlying
312  /// template declaration is introduced, if any.
313  UsingShadowDecl *getAsUsingShadowDecl() const;
314
315  TemplateName getUnderlying() const;
316
317  /// Get the template name to substitute when this template name is used as a
318  /// template template argument. This refers to the most recent declaration of
319  /// the template, including any default template arguments.
320  TemplateName getNameToSubstitute() const;
321
322  TemplateNameDependence getDependence() const;
323
324  /// Determines whether this is a dependent template name.
325  bool isDependent() const;
326
327  /// Determines whether this is a template name that somehow
328  /// depends on a template parameter.
329  bool isInstantiationDependent() const;
330
331  /// Determines whether this template name contains an
332  /// unexpanded parameter pack (for C++0x variadic templates).
333  bool containsUnexpandedParameterPack() const;
334
335  enum class Qualified { None, AsWritten, Fully };
336  /// Print the template name.
337  ///
338  /// \param OS the output stream to which the template name will be
339  /// printed.
340  ///
341  /// \param Qual print the (Qualified::None) simple name,
342  /// (Qualified::AsWritten) any written (possibly partial) qualifier, or
343  /// (Qualified::Fully) the fully qualified name.
344  void print(raw_ostream &OS, const PrintingPolicy &Policy,
345             Qualified Qual = Qualified::AsWritten) const;
346
347  /// Debugging aid that dumps the template name.
348  void dump(raw_ostream &OS) const;
349
350  /// Debugging aid that dumps the template name to standard
351  /// error.
352  void dump() const;
353
354  void Profile(llvm::FoldingSetNodeID &ID);
355
356  /// Retrieve the template name as a void pointer.
357  void *getAsVoidPointer() const { return Storage.getOpaqueValue(); }
358
359  /// Build a template name from a void pointer.
360  static TemplateName getFromVoidPointer(void *Ptr) {
361    return TemplateName(Ptr);
362  }
363};
364
365/// Insertion operator for diagnostics.  This allows sending TemplateName's
366/// into a diagnostic with <<.
367const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB,
368                                      TemplateName N);
369
370/// A structure for storing the information associated with a
371/// substituted template template parameter.
372class SubstTemplateTemplateParmStorage
373  : public UncommonTemplateNameStorage, public llvm::FoldingSetNode {
374  friend class ASTContext;
375
376  TemplateName Replacement;
377  Decl *AssociatedDecl;
378
379  SubstTemplateTemplateParmStorage(TemplateName Replacement,
380                                   Decl *AssociatedDecl, unsigned Index,
381                                   std::optional<unsigned> PackIndex)
382      : UncommonTemplateNameStorage(SubstTemplateTemplateParm, Index,
383                                    PackIndex ? *PackIndex + 1 : 0),
384        Replacement(Replacement), AssociatedDecl(AssociatedDecl) {
385    assert(AssociatedDecl != nullptr);
386  }
387
388public:
389  /// A template-like entity which owns the whole pattern being substituted.
390  /// This will own a set of template parameters.
391  Decl *getAssociatedDecl() const { return AssociatedDecl; }
392
393  /// Returns the index of the replaced parameter in the associated declaration.
394  /// This should match the result of `getParameter()->getIndex()`.
395  unsigned getIndex() const { return Bits.Index; }
396
397  std::optional<unsigned> getPackIndex() const {
398    if (Bits.Data == 0)
399      return std::nullopt;
400    return Bits.Data - 1;
401  }
402
403  TemplateTemplateParmDecl *getParameter() const;
404  TemplateName getReplacement() const { return Replacement; }
405
406  void Profile(llvm::FoldingSetNodeID &ID);
407
408  static void Profile(llvm::FoldingSetNodeID &ID, TemplateName Replacement,
409                      Decl *AssociatedDecl, unsigned Index,
410                      std::optional<unsigned> PackIndex);
411};
412
413inline TemplateName TemplateName::getUnderlying() const {
414  if (SubstTemplateTemplateParmStorage *subst
415        = getAsSubstTemplateTemplateParm())
416    return subst->getReplacement().getUnderlying();
417  return *this;
418}
419
420/// Represents a template name that was expressed as a
421/// qualified name.
422///
423/// This kind of template name refers to a template name that was
424/// preceded by a nested name specifier, e.g., \c std::vector. Here,
425/// the nested name specifier is "std::" and the template name is the
426/// declaration for "vector". The QualifiedTemplateName class is only
427/// used to provide "sugar" for template names that were expressed
428/// with a qualified name, and has no semantic meaning. In this
429/// manner, it is to TemplateName what ElaboratedType is to Type,
430/// providing extra syntactic sugar for downstream clients.
431class QualifiedTemplateName : public llvm::FoldingSetNode {
432  friend class ASTContext;
433
434  /// The nested name specifier that qualifies the template name.
435  ///
436  /// The bit is used to indicate whether the "template" keyword was
437  /// present before the template name itself. Note that the
438  /// "template" keyword is always redundant in this case (otherwise,
439  /// the template name would be a dependent name and we would express
440  /// this name with DependentTemplateName).
441  llvm::PointerIntPair<NestedNameSpecifier *, 1> Qualifier;
442
443  /// The underlying template name, it is either
444  ///  1) a Template -- a template declaration that this qualified name refers
445  ///     to.
446  ///  2) or a UsingTemplate -- a template declaration introduced by a
447  ///     using-shadow declaration.
448  TemplateName UnderlyingTemplate;
449
450  QualifiedTemplateName(NestedNameSpecifier *NNS, bool TemplateKeyword,
451                        TemplateName Template)
452      : Qualifier(NNS, TemplateKeyword ? 1 : 0), UnderlyingTemplate(Template) {
453    assert(UnderlyingTemplate.getKind() == TemplateName::Template ||
454           UnderlyingTemplate.getKind() == TemplateName::UsingTemplate);
455  }
456
457public:
458  /// Return the nested name specifier that qualifies this name.
459  NestedNameSpecifier *getQualifier() const { return Qualifier.getPointer(); }
460
461  /// Whether the template name was prefixed by the "template"
462  /// keyword.
463  bool hasTemplateKeyword() const { return Qualifier.getInt(); }
464
465  /// Return the underlying template name.
466  TemplateName getUnderlyingTemplate() const { return UnderlyingTemplate; }
467
468  void Profile(llvm::FoldingSetNodeID &ID) {
469    Profile(ID, getQualifier(), hasTemplateKeyword(), UnderlyingTemplate);
470  }
471
472  static void Profile(llvm::FoldingSetNodeID &ID, NestedNameSpecifier *NNS,
473                      bool TemplateKeyword, TemplateName TN) {
474    ID.AddPointer(NNS);
475    ID.AddBoolean(TemplateKeyword);
476    ID.AddPointer(TN.getAsVoidPointer());
477  }
478};
479
480/// Represents a dependent template name that cannot be
481/// resolved prior to template instantiation.
482///
483/// This kind of template name refers to a dependent template name,
484/// including its nested name specifier (if any). For example,
485/// DependentTemplateName can refer to "MetaFun::template apply",
486/// where "MetaFun::" is the nested name specifier and "apply" is the
487/// template name referenced. The "template" keyword is implied.
488class DependentTemplateName : public llvm::FoldingSetNode {
489  friend class ASTContext;
490
491  /// The nested name specifier that qualifies the template
492  /// name.
493  ///
494  /// The bit stored in this qualifier describes whether the \c Name field
495  /// is interpreted as an IdentifierInfo pointer (when clear) or as an
496  /// overloaded operator kind (when set).
497  llvm::PointerIntPair<NestedNameSpecifier *, 1, bool> Qualifier;
498
499  /// The dependent template name.
500  union {
501    /// The identifier template name.
502    ///
503    /// Only valid when the bit on \c Qualifier is clear.
504    const IdentifierInfo *Identifier;
505
506    /// The overloaded operator name.
507    ///
508    /// Only valid when the bit on \c Qualifier is set.
509    OverloadedOperatorKind Operator;
510  };
511
512  /// The canonical template name to which this dependent
513  /// template name refers.
514  ///
515  /// The canonical template name for a dependent template name is
516  /// another dependent template name whose nested name specifier is
517  /// canonical.
518  TemplateName CanonicalTemplateName;
519
520  DependentTemplateName(NestedNameSpecifier *Qualifier,
521                        const IdentifierInfo *Identifier)
522      : Qualifier(Qualifier, false), Identifier(Identifier),
523        CanonicalTemplateName(this) {}
524
525  DependentTemplateName(NestedNameSpecifier *Qualifier,
526                        const IdentifierInfo *Identifier,
527                        TemplateName Canon)
528      : Qualifier(Qualifier, false), Identifier(Identifier),
529        CanonicalTemplateName(Canon) {}
530
531  DependentTemplateName(NestedNameSpecifier *Qualifier,
532                        OverloadedOperatorKind Operator)
533      : Qualifier(Qualifier, true), Operator(Operator),
534        CanonicalTemplateName(this) {}
535
536  DependentTemplateName(NestedNameSpecifier *Qualifier,
537                        OverloadedOperatorKind Operator,
538                        TemplateName Canon)
539       : Qualifier(Qualifier, true), Operator(Operator),
540         CanonicalTemplateName(Canon) {}
541
542public:
543  /// Return the nested name specifier that qualifies this name.
544  NestedNameSpecifier *getQualifier() const { return Qualifier.getPointer(); }
545
546  /// Determine whether this template name refers to an identifier.
547  bool isIdentifier() const { return !Qualifier.getInt(); }
548
549  /// Returns the identifier to which this template name refers.
550  const IdentifierInfo *getIdentifier() const {
551    assert(isIdentifier() && "Template name isn't an identifier?");
552    return Identifier;
553  }
554
555  /// Determine whether this template name refers to an overloaded
556  /// operator.
557  bool isOverloadedOperator() const { return Qualifier.getInt(); }
558
559  /// Return the overloaded operator to which this template name refers.
560  OverloadedOperatorKind getOperator() const {
561    assert(isOverloadedOperator() &&
562           "Template name isn't an overloaded operator?");
563    return Operator;
564  }
565
566  void Profile(llvm::FoldingSetNodeID &ID) {
567    if (isIdentifier())
568      Profile(ID, getQualifier(), getIdentifier());
569    else
570      Profile(ID, getQualifier(), getOperator());
571  }
572
573  static void Profile(llvm::FoldingSetNodeID &ID, NestedNameSpecifier *NNS,
574                      const IdentifierInfo *Identifier) {
575    ID.AddPointer(NNS);
576    ID.AddBoolean(false);
577    ID.AddPointer(Identifier);
578  }
579
580  static void Profile(llvm::FoldingSetNodeID &ID, NestedNameSpecifier *NNS,
581                      OverloadedOperatorKind Operator) {
582    ID.AddPointer(NNS);
583    ID.AddBoolean(true);
584    ID.AddInteger(Operator);
585  }
586};
587
588} // namespace clang.
589
590namespace llvm {
591
592/// The clang::TemplateName class is effectively a pointer.
593template<>
594struct PointerLikeTypeTraits<clang::TemplateName> {
595  static inline void *getAsVoidPointer(clang::TemplateName TN) {
596    return TN.getAsVoidPointer();
597  }
598
599  static inline clang::TemplateName getFromVoidPointer(void *Ptr) {
600    return clang::TemplateName::getFromVoidPointer(Ptr);
601  }
602
603  // No bits are available!
604  static constexpr int NumLowBitsAvailable = 0;
605};
606
607} // namespace llvm.
608
609#endif // LLVM_CLANG_AST_TEMPLATENAME_H
610