• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===--- Overload.h - C++ Overloading ---------------------------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines the data structures and types used in C++
11 // overload resolution.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_CLANG_SEMA_OVERLOAD_H
16 #define LLVM_CLANG_SEMA_OVERLOAD_H
17 
18 #include "clang/AST/Decl.h"
19 #include "clang/AST/DeclTemplate.h"
20 #include "clang/AST/Expr.h"
21 #include "clang/AST/TemplateBase.h"
22 #include "clang/AST/Type.h"
23 #include "clang/AST/UnresolvedSet.h"
24 #include "clang/Sema/SemaFixItUtils.h"
25 #include "clang/Sema/TemplateDeduction.h"
26 #include "llvm/ADT/SmallPtrSet.h"
27 #include "llvm/ADT/SmallVector.h"
28 #include "llvm/Support/Allocator.h"
29 
30 namespace clang {
31   class ASTContext;
32   class CXXConstructorDecl;
33   class CXXConversionDecl;
34   class FunctionDecl;
35   class Sema;
36 
37   /// OverloadingResult - Capture the result of performing overload
38   /// resolution.
39   enum OverloadingResult {
40     OR_Success,             ///< Overload resolution succeeded.
41     OR_No_Viable_Function,  ///< No viable function found.
42     OR_Ambiguous,           ///< Ambiguous candidates found.
43     OR_Deleted              ///< Succeeded, but refers to a deleted function.
44   };
45 
46   enum OverloadCandidateDisplayKind {
47     /// Requests that all candidates be shown.  Viable candidates will
48     /// be printed first.
49     OCD_AllCandidates,
50 
51     /// Requests that only viable candidates be shown.
52     OCD_ViableCandidates
53   };
54 
55   /// ImplicitConversionKind - The kind of implicit conversion used to
56   /// convert an argument to a parameter's type. The enumerator values
57   /// match with Table 9 of (C++ 13.3.3.1.1) and are listed such that
58   /// better conversion kinds have smaller values.
59   enum ImplicitConversionKind {
60     ICK_Identity = 0,          ///< Identity conversion (no conversion)
61     ICK_Lvalue_To_Rvalue,      ///< Lvalue-to-rvalue conversion (C++ 4.1)
62     ICK_Array_To_Pointer,      ///< Array-to-pointer conversion (C++ 4.2)
63     ICK_Function_To_Pointer,   ///< Function-to-pointer (C++ 4.3)
64     ICK_NoReturn_Adjustment,   ///< Removal of noreturn from a type (Clang)
65     ICK_Qualification,         ///< Qualification conversions (C++ 4.4)
66     ICK_Integral_Promotion,    ///< Integral promotions (C++ 4.5)
67     ICK_Floating_Promotion,    ///< Floating point promotions (C++ 4.6)
68     ICK_Complex_Promotion,     ///< Complex promotions (Clang extension)
69     ICK_Integral_Conversion,   ///< Integral conversions (C++ 4.7)
70     ICK_Floating_Conversion,   ///< Floating point conversions (C++ 4.8)
71     ICK_Complex_Conversion,    ///< Complex conversions (C99 6.3.1.6)
72     ICK_Floating_Integral,     ///< Floating-integral conversions (C++ 4.9)
73     ICK_Pointer_Conversion,    ///< Pointer conversions (C++ 4.10)
74     ICK_Pointer_Member,        ///< Pointer-to-member conversions (C++ 4.11)
75     ICK_Boolean_Conversion,    ///< Boolean conversions (C++ 4.12)
76     ICK_Compatible_Conversion, ///< Conversions between compatible types in C99
77     ICK_Derived_To_Base,       ///< Derived-to-base (C++ [over.best.ics])
78     ICK_Vector_Conversion,     ///< Vector conversions
79     ICK_Vector_Splat,          ///< A vector splat from an arithmetic type
80     ICK_Complex_Real,          ///< Complex-real conversions (C99 6.3.1.7)
81     ICK_Block_Pointer_Conversion,    ///< Block Pointer conversions
82     ICK_TransparentUnionConversion, ///< Transparent Union Conversions
83     ICK_Writeback_Conversion,  ///< Objective-C ARC writeback conversion
84     ICK_Zero_Event_Conversion, ///< Zero constant to event (OpenCL1.2 6.12.10)
85     ICK_Num_Conversion_Kinds   ///< The number of conversion kinds
86   };
87 
88   /// ImplicitConversionCategory - The category of an implicit
89   /// conversion kind. The enumerator values match with Table 9 of
90   /// (C++ 13.3.3.1.1) and are listed such that better conversion
91   /// categories have smaller values.
92   enum ImplicitConversionCategory {
93     ICC_Identity = 0,              ///< Identity
94     ICC_Lvalue_Transformation,     ///< Lvalue transformation
95     ICC_Qualification_Adjustment,  ///< Qualification adjustment
96     ICC_Promotion,                 ///< Promotion
97     ICC_Conversion                 ///< Conversion
98   };
99 
100   ImplicitConversionCategory
101   GetConversionCategory(ImplicitConversionKind Kind);
102 
103   /// ImplicitConversionRank - The rank of an implicit conversion
104   /// kind. The enumerator values match with Table 9 of (C++
105   /// 13.3.3.1.1) and are listed such that better conversion ranks
106   /// have smaller values.
107   enum ImplicitConversionRank {
108     ICR_Exact_Match = 0,         ///< Exact Match
109     ICR_Promotion,               ///< Promotion
110     ICR_Conversion,              ///< Conversion
111     ICR_Complex_Real_Conversion, ///< Complex <-> Real conversion
112     ICR_Writeback_Conversion     ///< ObjC ARC writeback conversion
113   };
114 
115   ImplicitConversionRank GetConversionRank(ImplicitConversionKind Kind);
116 
117   /// NarrowingKind - The kind of narrowing conversion being performed by a
118   /// standard conversion sequence according to C++11 [dcl.init.list]p7.
119   enum NarrowingKind {
120     /// Not a narrowing conversion.
121     NK_Not_Narrowing,
122 
123     /// A narrowing conversion by virtue of the source and destination types.
124     NK_Type_Narrowing,
125 
126     /// A narrowing conversion, because a constant expression got narrowed.
127     NK_Constant_Narrowing,
128 
129     /// A narrowing conversion, because a non-constant-expression variable might
130     /// have got narrowed.
131     NK_Variable_Narrowing
132   };
133 
134   /// StandardConversionSequence - represents a standard conversion
135   /// sequence (C++ 13.3.3.1.1). A standard conversion sequence
136   /// contains between zero and three conversions. If a particular
137   /// conversion is not needed, it will be set to the identity conversion
138   /// (ICK_Identity). Note that the three conversions are
139   /// specified as separate members (rather than in an array) so that
140   /// we can keep the size of a standard conversion sequence to a
141   /// single word.
142   class StandardConversionSequence {
143   public:
144     /// First -- The first conversion can be an lvalue-to-rvalue
145     /// conversion, array-to-pointer conversion, or
146     /// function-to-pointer conversion.
147     ImplicitConversionKind First : 8;
148 
149     /// Second - The second conversion can be an integral promotion,
150     /// floating point promotion, integral conversion, floating point
151     /// conversion, floating-integral conversion, pointer conversion,
152     /// pointer-to-member conversion, or boolean conversion.
153     ImplicitConversionKind Second : 8;
154 
155     /// Third - The third conversion can be a qualification conversion.
156     ImplicitConversionKind Third : 8;
157 
158     /// \brief Whether this is the deprecated conversion of a
159     /// string literal to a pointer to non-const character data
160     /// (C++ 4.2p2).
161     unsigned DeprecatedStringLiteralToCharPtr : 1;
162 
163     /// \brief Whether the qualification conversion involves a change in the
164     /// Objective-C lifetime (for automatic reference counting).
165     unsigned QualificationIncludesObjCLifetime : 1;
166 
167     /// IncompatibleObjC - Whether this is an Objective-C conversion
168     /// that we should warn about (if we actually use it).
169     unsigned IncompatibleObjC : 1;
170 
171     /// ReferenceBinding - True when this is a reference binding
172     /// (C++ [over.ics.ref]).
173     unsigned ReferenceBinding : 1;
174 
175     /// DirectBinding - True when this is a reference binding that is a
176     /// direct binding (C++ [dcl.init.ref]).
177     unsigned DirectBinding : 1;
178 
179     /// \brief Whether this is an lvalue reference binding (otherwise, it's
180     /// an rvalue reference binding).
181     unsigned IsLvalueReference : 1;
182 
183     /// \brief Whether we're binding to a function lvalue.
184     unsigned BindsToFunctionLvalue : 1;
185 
186     /// \brief Whether we're binding to an rvalue.
187     unsigned BindsToRvalue : 1;
188 
189     /// \brief Whether this binds an implicit object argument to a
190     /// non-static member function without a ref-qualifier.
191     unsigned BindsImplicitObjectArgumentWithoutRefQualifier : 1;
192 
193     /// \brief Whether this binds a reference to an object with a different
194     /// Objective-C lifetime qualifier.
195     unsigned ObjCLifetimeConversionBinding : 1;
196 
197     /// FromType - The type that this conversion is converting
198     /// from. This is an opaque pointer that can be translated into a
199     /// QualType.
200     void *FromTypePtr;
201 
202     /// ToType - The types that this conversion is converting to in
203     /// each step. This is an opaque pointer that can be translated
204     /// into a QualType.
205     void *ToTypePtrs[3];
206 
207     /// CopyConstructor - The copy constructor that is used to perform
208     /// this conversion, when the conversion is actually just the
209     /// initialization of an object via copy constructor. Such
210     /// conversions are either identity conversions or derived-to-base
211     /// conversions.
212     CXXConstructorDecl *CopyConstructor;
213 
setFromType(QualType T)214     void setFromType(QualType T) { FromTypePtr = T.getAsOpaquePtr(); }
setToType(unsigned Idx,QualType T)215     void setToType(unsigned Idx, QualType T) {
216       assert(Idx < 3 && "To type index is out of range");
217       ToTypePtrs[Idx] = T.getAsOpaquePtr();
218     }
setAllToTypes(QualType T)219     void setAllToTypes(QualType T) {
220       ToTypePtrs[0] = T.getAsOpaquePtr();
221       ToTypePtrs[1] = ToTypePtrs[0];
222       ToTypePtrs[2] = ToTypePtrs[0];
223     }
224 
getFromType()225     QualType getFromType() const {
226       return QualType::getFromOpaquePtr(FromTypePtr);
227     }
getToType(unsigned Idx)228     QualType getToType(unsigned Idx) const {
229       assert(Idx < 3 && "To type index is out of range");
230       return QualType::getFromOpaquePtr(ToTypePtrs[Idx]);
231     }
232 
233     void setAsIdentityConversion();
234 
isIdentityConversion()235     bool isIdentityConversion() const {
236       return Second == ICK_Identity && Third == ICK_Identity;
237     }
238 
239     ImplicitConversionRank getRank() const;
240     NarrowingKind getNarrowingKind(ASTContext &Context, const Expr *Converted,
241                                    APValue &ConstantValue,
242                                    QualType &ConstantType) const;
243     bool isPointerConversionToBool() const;
244     bool isPointerConversionToVoidPointer(ASTContext& Context) const;
245     void dump() const;
246   };
247 
248   /// UserDefinedConversionSequence - Represents a user-defined
249   /// conversion sequence (C++ 13.3.3.1.2).
250   struct UserDefinedConversionSequence {
251     /// \brief Represents the standard conversion that occurs before
252     /// the actual user-defined conversion.
253     ///
254     /// C++11 13.3.3.1.2p1:
255     ///   If the user-defined conversion is specified by a constructor
256     ///   (12.3.1), the initial standard conversion sequence converts
257     ///   the source type to the type required by the argument of the
258     ///   constructor. If the user-defined conversion is specified by
259     ///   a conversion function (12.3.2), the initial standard
260     ///   conversion sequence converts the source type to the implicit
261     ///   object parameter of the conversion function.
262     StandardConversionSequence Before;
263 
264     /// EllipsisConversion - When this is true, it means user-defined
265     /// conversion sequence starts with a ... (ellipsis) conversion, instead of
266     /// a standard conversion. In this case, 'Before' field must be ignored.
267     // FIXME. I much rather put this as the first field. But there seems to be
268     // a gcc code gen. bug which causes a crash in a test. Putting it here seems
269     // to work around the crash.
270     bool EllipsisConversion : 1;
271 
272     /// HadMultipleCandidates - When this is true, it means that the
273     /// conversion function was resolved from an overloaded set having
274     /// size greater than 1.
275     bool HadMultipleCandidates : 1;
276 
277     /// After - Represents the standard conversion that occurs after
278     /// the actual user-defined conversion.
279     StandardConversionSequence After;
280 
281     /// ConversionFunction - The function that will perform the
282     /// user-defined conversion. Null if the conversion is an
283     /// aggregate initialization from an initializer list.
284     FunctionDecl* ConversionFunction;
285 
286     /// \brief The declaration that we found via name lookup, which might be
287     /// the same as \c ConversionFunction or it might be a using declaration
288     /// that refers to \c ConversionFunction.
289     DeclAccessPair FoundConversionFunction;
290 
291     void dump() const;
292   };
293 
294   /// Represents an ambiguous user-defined conversion sequence.
295   struct AmbiguousConversionSequence {
296     typedef SmallVector<FunctionDecl*, 4> ConversionSet;
297 
298     void *FromTypePtr;
299     void *ToTypePtr;
300     char Buffer[sizeof(ConversionSet)];
301 
getFromTypeAmbiguousConversionSequence302     QualType getFromType() const {
303       return QualType::getFromOpaquePtr(FromTypePtr);
304     }
getToTypeAmbiguousConversionSequence305     QualType getToType() const {
306       return QualType::getFromOpaquePtr(ToTypePtr);
307     }
setFromTypeAmbiguousConversionSequence308     void setFromType(QualType T) { FromTypePtr = T.getAsOpaquePtr(); }
setToTypeAmbiguousConversionSequence309     void setToType(QualType T) { ToTypePtr = T.getAsOpaquePtr(); }
310 
conversionsAmbiguousConversionSequence311     ConversionSet &conversions() {
312       return *reinterpret_cast<ConversionSet*>(Buffer);
313     }
314 
conversionsAmbiguousConversionSequence315     const ConversionSet &conversions() const {
316       return *reinterpret_cast<const ConversionSet*>(Buffer);
317     }
318 
addConversionAmbiguousConversionSequence319     void addConversion(FunctionDecl *D) {
320       conversions().push_back(D);
321     }
322 
323     typedef ConversionSet::iterator iterator;
beginAmbiguousConversionSequence324     iterator begin() { return conversions().begin(); }
endAmbiguousConversionSequence325     iterator end() { return conversions().end(); }
326 
327     typedef ConversionSet::const_iterator const_iterator;
beginAmbiguousConversionSequence328     const_iterator begin() const { return conversions().begin(); }
endAmbiguousConversionSequence329     const_iterator end() const { return conversions().end(); }
330 
331     void construct();
332     void destruct();
333     void copyFrom(const AmbiguousConversionSequence &);
334   };
335 
336   /// BadConversionSequence - Records information about an invalid
337   /// conversion sequence.
338   struct BadConversionSequence {
339     enum FailureKind {
340       no_conversion,
341       unrelated_class,
342       suppressed_user,
343       bad_qualifiers,
344       lvalue_ref_to_rvalue,
345       rvalue_ref_to_lvalue
346     };
347 
348     // This can be null, e.g. for implicit object arguments.
349     Expr *FromExpr;
350 
351     FailureKind Kind;
352 
353   private:
354     // The type we're converting from (an opaque QualType).
355     void *FromTy;
356 
357     // The type we're converting to (an opaque QualType).
358     void *ToTy;
359 
360   public:
initBadConversionSequence361     void init(FailureKind K, Expr *From, QualType To) {
362       init(K, From->getType(), To);
363       FromExpr = From;
364     }
initBadConversionSequence365     void init(FailureKind K, QualType From, QualType To) {
366       Kind = K;
367       FromExpr = nullptr;
368       setFromType(From);
369       setToType(To);
370     }
371 
getFromTypeBadConversionSequence372     QualType getFromType() const { return QualType::getFromOpaquePtr(FromTy); }
getToTypeBadConversionSequence373     QualType getToType() const { return QualType::getFromOpaquePtr(ToTy); }
374 
setFromExprBadConversionSequence375     void setFromExpr(Expr *E) {
376       FromExpr = E;
377       setFromType(E->getType());
378     }
setFromTypeBadConversionSequence379     void setFromType(QualType T) { FromTy = T.getAsOpaquePtr(); }
setToTypeBadConversionSequence380     void setToType(QualType T) { ToTy = T.getAsOpaquePtr(); }
381   };
382 
383   /// ImplicitConversionSequence - Represents an implicit conversion
384   /// sequence, which may be a standard conversion sequence
385   /// (C++ 13.3.3.1.1), user-defined conversion sequence (C++ 13.3.3.1.2),
386   /// or an ellipsis conversion sequence (C++ 13.3.3.1.3).
387   class ImplicitConversionSequence {
388   public:
389     /// Kind - The kind of implicit conversion sequence. BadConversion
390     /// specifies that there is no conversion from the source type to
391     /// the target type.  AmbiguousConversion represents the unique
392     /// ambiguous conversion (C++0x [over.best.ics]p10).
393     enum Kind {
394       StandardConversion = 0,
395       UserDefinedConversion,
396       AmbiguousConversion,
397       EllipsisConversion,
398       BadConversion
399     };
400 
401   private:
402     enum {
403       Uninitialized = BadConversion + 1
404     };
405 
406     /// ConversionKind - The kind of implicit conversion sequence.
407     unsigned ConversionKind : 30;
408 
409     /// \brief Whether the target is really a std::initializer_list, and the
410     /// sequence only represents the worst element conversion.
411     bool StdInitializerListElement : 1;
412 
setKind(Kind K)413     void setKind(Kind K) {
414       destruct();
415       ConversionKind = K;
416     }
417 
destruct()418     void destruct() {
419       if (ConversionKind == AmbiguousConversion) Ambiguous.destruct();
420     }
421 
422   public:
423     union {
424       /// When ConversionKind == StandardConversion, provides the
425       /// details of the standard conversion sequence.
426       StandardConversionSequence Standard;
427 
428       /// When ConversionKind == UserDefinedConversion, provides the
429       /// details of the user-defined conversion sequence.
430       UserDefinedConversionSequence UserDefined;
431 
432       /// When ConversionKind == AmbiguousConversion, provides the
433       /// details of the ambiguous conversion.
434       AmbiguousConversionSequence Ambiguous;
435 
436       /// When ConversionKind == BadConversion, provides the details
437       /// of the bad conversion.
438       BadConversionSequence Bad;
439     };
440 
ImplicitConversionSequence()441     ImplicitConversionSequence()
442       : ConversionKind(Uninitialized), StdInitializerListElement(false)
443     {}
~ImplicitConversionSequence()444     ~ImplicitConversionSequence() {
445       destruct();
446     }
ImplicitConversionSequence(const ImplicitConversionSequence & Other)447     ImplicitConversionSequence(const ImplicitConversionSequence &Other)
448       : ConversionKind(Other.ConversionKind),
449         StdInitializerListElement(Other.StdInitializerListElement)
450     {
451       switch (ConversionKind) {
452       case Uninitialized: break;
453       case StandardConversion: Standard = Other.Standard; break;
454       case UserDefinedConversion: UserDefined = Other.UserDefined; break;
455       case AmbiguousConversion: Ambiguous.copyFrom(Other.Ambiguous); break;
456       case EllipsisConversion: break;
457       case BadConversion: Bad = Other.Bad; break;
458       }
459     }
460 
461     ImplicitConversionSequence &
462         operator=(const ImplicitConversionSequence &Other) {
463       destruct();
464       new (this) ImplicitConversionSequence(Other);
465       return *this;
466     }
467 
getKind()468     Kind getKind() const {
469       assert(isInitialized() && "querying uninitialized conversion");
470       return Kind(ConversionKind);
471     }
472 
473     /// \brief Return a ranking of the implicit conversion sequence
474     /// kind, where smaller ranks represent better conversion
475     /// sequences.
476     ///
477     /// In particular, this routine gives user-defined conversion
478     /// sequences and ambiguous conversion sequences the same rank,
479     /// per C++ [over.best.ics]p10.
getKindRank()480     unsigned getKindRank() const {
481       switch (getKind()) {
482       case StandardConversion:
483         return 0;
484 
485       case UserDefinedConversion:
486       case AmbiguousConversion:
487         return 1;
488 
489       case EllipsisConversion:
490         return 2;
491 
492       case BadConversion:
493         return 3;
494       }
495 
496       llvm_unreachable("Invalid ImplicitConversionSequence::Kind!");
497     }
498 
isBad()499     bool isBad() const { return getKind() == BadConversion; }
isStandard()500     bool isStandard() const { return getKind() == StandardConversion; }
isEllipsis()501     bool isEllipsis() const { return getKind() == EllipsisConversion; }
isAmbiguous()502     bool isAmbiguous() const { return getKind() == AmbiguousConversion; }
isUserDefined()503     bool isUserDefined() const { return getKind() == UserDefinedConversion; }
isFailure()504     bool isFailure() const { return isBad() || isAmbiguous(); }
505 
506     /// Determines whether this conversion sequence has been
507     /// initialized.  Most operations should never need to query
508     /// uninitialized conversions and should assert as above.
isInitialized()509     bool isInitialized() const { return ConversionKind != Uninitialized; }
510 
511     /// Sets this sequence as a bad conversion for an explicit argument.
setBad(BadConversionSequence::FailureKind Failure,Expr * FromExpr,QualType ToType)512     void setBad(BadConversionSequence::FailureKind Failure,
513                 Expr *FromExpr, QualType ToType) {
514       setKind(BadConversion);
515       Bad.init(Failure, FromExpr, ToType);
516     }
517 
518     /// Sets this sequence as a bad conversion for an implicit argument.
setBad(BadConversionSequence::FailureKind Failure,QualType FromType,QualType ToType)519     void setBad(BadConversionSequence::FailureKind Failure,
520                 QualType FromType, QualType ToType) {
521       setKind(BadConversion);
522       Bad.init(Failure, FromType, ToType);
523     }
524 
setStandard()525     void setStandard() { setKind(StandardConversion); }
setEllipsis()526     void setEllipsis() { setKind(EllipsisConversion); }
setUserDefined()527     void setUserDefined() { setKind(UserDefinedConversion); }
setAmbiguous()528     void setAmbiguous() {
529       if (ConversionKind == AmbiguousConversion) return;
530       ConversionKind = AmbiguousConversion;
531       Ambiguous.construct();
532     }
533 
534     /// \brief Whether the target is really a std::initializer_list, and the
535     /// sequence only represents the worst element conversion.
isStdInitializerListElement()536     bool isStdInitializerListElement() const {
537       return StdInitializerListElement;
538     }
539 
540     void setStdInitializerListElement(bool V = true) {
541       StdInitializerListElement = V;
542     }
543 
544     // The result of a comparison between implicit conversion
545     // sequences. Use Sema::CompareImplicitConversionSequences to
546     // actually perform the comparison.
547     enum CompareKind {
548       Better = -1,
549       Indistinguishable = 0,
550       Worse = 1
551     };
552 
553     void DiagnoseAmbiguousConversion(Sema &S,
554                                      SourceLocation CaretLoc,
555                                      const PartialDiagnostic &PDiag) const;
556 
557     void dump() const;
558   };
559 
560   enum OverloadFailureKind {
561     ovl_fail_too_many_arguments,
562     ovl_fail_too_few_arguments,
563     ovl_fail_bad_conversion,
564     ovl_fail_bad_deduction,
565 
566     /// This conversion candidate was not considered because it
567     /// duplicates the work of a trivial or derived-to-base
568     /// conversion.
569     ovl_fail_trivial_conversion,
570 
571     /// This conversion candidate is not viable because its result
572     /// type is not implicitly convertible to the desired type.
573     ovl_fail_bad_final_conversion,
574 
575     /// This conversion function template specialization candidate is not
576     /// viable because the final conversion was not an exact match.
577     ovl_fail_final_conversion_not_exact,
578 
579     /// (CUDA) This candidate was not viable because the callee
580     /// was not accessible from the caller's target (i.e. host->device,
581     /// global->host, device->host).
582     ovl_fail_bad_target,
583 
584     /// This candidate function was not viable because an enable_if
585     /// attribute disabled it.
586     ovl_fail_enable_if
587   };
588 
589   /// OverloadCandidate - A single candidate in an overload set (C++ 13.3).
590   struct OverloadCandidate {
591     /// Function - The actual function that this candidate
592     /// represents. When NULL, this is a built-in candidate
593     /// (C++ [over.oper]) or a surrogate for a conversion to a
594     /// function pointer or reference (C++ [over.call.object]).
595     FunctionDecl *Function;
596 
597     /// FoundDecl - The original declaration that was looked up /
598     /// invented / otherwise found, together with its access.
599     /// Might be a UsingShadowDecl or a FunctionTemplateDecl.
600     DeclAccessPair FoundDecl;
601 
602     // BuiltinTypes - Provides the return and parameter types of a
603     // built-in overload candidate. Only valid when Function is NULL.
604     struct {
605       QualType ResultTy;
606       QualType ParamTypes[3];
607     } BuiltinTypes;
608 
609     /// Surrogate - The conversion function for which this candidate
610     /// is a surrogate, but only if IsSurrogate is true.
611     CXXConversionDecl *Surrogate;
612 
613     /// Conversions - The conversion sequences used to convert the
614     /// function arguments to the function parameters, the pointer points to a
615     /// fixed size array with NumConversions elements. The memory is owned by
616     /// the OverloadCandidateSet.
617     ImplicitConversionSequence *Conversions;
618 
619     /// The FixIt hints which can be used to fix the Bad candidate.
620     ConversionFixItGenerator Fix;
621 
622     /// NumConversions - The number of elements in the Conversions array.
623     unsigned NumConversions;
624 
625     /// Viable - True to indicate that this overload candidate is viable.
626     bool Viable;
627 
628     /// IsSurrogate - True to indicate that this candidate is a
629     /// surrogate for a conversion to a function pointer or reference
630     /// (C++ [over.call.object]).
631     bool IsSurrogate;
632 
633     /// IgnoreObjectArgument - True to indicate that the first
634     /// argument's conversion, which for this function represents the
635     /// implicit object argument, should be ignored. This will be true
636     /// when the candidate is a static member function (where the
637     /// implicit object argument is just a placeholder) or a
638     /// non-static member function when the call doesn't have an
639     /// object argument.
640     bool IgnoreObjectArgument;
641 
642     /// FailureKind - The reason why this candidate is not viable.
643     /// Actually an OverloadFailureKind.
644     unsigned char FailureKind;
645 
646     /// \brief The number of call arguments that were explicitly provided,
647     /// to be used while performing partial ordering of function templates.
648     unsigned ExplicitCallArguments;
649 
650     union {
651       DeductionFailureInfo DeductionFailure;
652 
653       /// FinalConversion - For a conversion function (where Function is
654       /// a CXXConversionDecl), the standard conversion that occurs
655       /// after the call to the overload candidate to convert the result
656       /// of calling the conversion function to the required type.
657       StandardConversionSequence FinalConversion;
658     };
659 
660     /// hasAmbiguousConversion - Returns whether this overload
661     /// candidate requires an ambiguous conversion or not.
hasAmbiguousConversionOverloadCandidate662     bool hasAmbiguousConversion() const {
663       for (unsigned i = 0, e = NumConversions; i != e; ++i) {
664         if (!Conversions[i].isInitialized()) return false;
665         if (Conversions[i].isAmbiguous()) return true;
666       }
667       return false;
668     }
669 
TryToFixBadConversionOverloadCandidate670     bool TryToFixBadConversion(unsigned Idx, Sema &S) {
671       bool CanFix = Fix.tryToFixConversion(
672                       Conversions[Idx].Bad.FromExpr,
673                       Conversions[Idx].Bad.getFromType(),
674                       Conversions[Idx].Bad.getToType(), S);
675 
676       // If at least one conversion fails, the candidate cannot be fixed.
677       if (!CanFix)
678         Fix.clear();
679 
680       return CanFix;
681     }
682 
getNumParamsOverloadCandidate683     unsigned getNumParams() const {
684       if (IsSurrogate) {
685         auto STy = Surrogate->getConversionType();
686         while (STy->isPointerType() || STy->isReferenceType())
687           STy = STy->getPointeeType();
688         return STy->getAs<FunctionProtoType>()->getNumParams();
689       }
690       if (Function)
691         return Function->getNumParams();
692       return ExplicitCallArguments;
693     }
694   };
695 
696   /// OverloadCandidateSet - A set of overload candidates, used in C++
697   /// overload resolution (C++ 13.3).
698   class OverloadCandidateSet {
699   public:
700     enum CandidateSetKind {
701       /// Normal lookup.
702       CSK_Normal,
703       /// Lookup for candidates for a call using operator syntax. Candidates
704       /// that have no parameters of class type will be skipped unless there
705       /// is a parameter of (reference to) enum type and the corresponding
706       /// argument is of the same enum type.
707       CSK_Operator
708     };
709 
710   private:
711     SmallVector<OverloadCandidate, 16> Candidates;
712     llvm::SmallPtrSet<Decl *, 16> Functions;
713 
714     // Allocator for OverloadCandidate::Conversions. We store the first few
715     // elements inline to avoid allocation for small sets.
716     llvm::BumpPtrAllocator ConversionSequenceAllocator;
717 
718     SourceLocation Loc;
719     CandidateSetKind Kind;
720 
721     unsigned NumInlineSequences;
722     char InlineSpace[16 * sizeof(ImplicitConversionSequence)];
723 
724     OverloadCandidateSet(const OverloadCandidateSet &) LLVM_DELETED_FUNCTION;
725     void operator=(const OverloadCandidateSet &) LLVM_DELETED_FUNCTION;
726 
727     void destroyCandidates();
728 
729   public:
OverloadCandidateSet(SourceLocation Loc,CandidateSetKind CSK)730     OverloadCandidateSet(SourceLocation Loc, CandidateSetKind CSK)
731         : Loc(Loc), Kind(CSK), NumInlineSequences(0) {}
~OverloadCandidateSet()732     ~OverloadCandidateSet() { destroyCandidates(); }
733 
getLocation()734     SourceLocation getLocation() const { return Loc; }
getKind()735     CandidateSetKind getKind() const { return Kind; }
736 
737     /// \brief Determine when this overload candidate will be new to the
738     /// overload set.
isNewCandidate(Decl * F)739     bool isNewCandidate(Decl *F) {
740       return Functions.insert(F->getCanonicalDecl());
741     }
742 
743     /// \brief Clear out all of the candidates.
744     void clear();
745 
746     typedef SmallVectorImpl<OverloadCandidate>::iterator iterator;
begin()747     iterator begin() { return Candidates.begin(); }
end()748     iterator end() { return Candidates.end(); }
749 
size()750     size_t size() const { return Candidates.size(); }
empty()751     bool empty() const { return Candidates.empty(); }
752 
753     /// \brief Add a new candidate with NumConversions conversion sequence slots
754     /// to the overload set.
755     OverloadCandidate &addCandidate(unsigned NumConversions = 0) {
756       Candidates.push_back(OverloadCandidate());
757       OverloadCandidate &C = Candidates.back();
758 
759       // Assign space from the inline array if there are enough free slots
760       // available.
761       if (NumConversions + NumInlineSequences <= 16) {
762         ImplicitConversionSequence *I =
763           (ImplicitConversionSequence*)InlineSpace;
764         C.Conversions = &I[NumInlineSequences];
765         NumInlineSequences += NumConversions;
766       } else {
767         // Otherwise get memory from the allocator.
768         C.Conversions = ConversionSequenceAllocator
769                           .Allocate<ImplicitConversionSequence>(NumConversions);
770       }
771 
772       // Construct the new objects.
773       for (unsigned i = 0; i != NumConversions; ++i)
774         new (&C.Conversions[i]) ImplicitConversionSequence();
775 
776       C.NumConversions = NumConversions;
777       return C;
778     }
779 
780     /// Find the best viable function on this overload set, if it exists.
781     OverloadingResult BestViableFunction(Sema &S, SourceLocation Loc,
782                                          OverloadCandidateSet::iterator& Best,
783                                          bool UserDefinedConversion = false);
784 
785     void NoteCandidates(Sema &S,
786                         OverloadCandidateDisplayKind OCD,
787                         ArrayRef<Expr *> Args,
788                         StringRef Opc = "",
789                         SourceLocation Loc = SourceLocation());
790   };
791 
792   bool isBetterOverloadCandidate(Sema &S,
793                                  const OverloadCandidate& Cand1,
794                                  const OverloadCandidate& Cand2,
795                                  SourceLocation Loc,
796                                  bool UserDefinedConversion = false);
797 } // end namespace clang
798 
799 #endif // LLVM_CLANG_SEMA_OVERLOAD_H
800