clang 20.0.0git
|
ImplicitConversionSequence - Represents an implicit conversion sequence, which may be a standard conversion sequence (C++ 13.3.3.1.1), user-defined conversion sequence (C++ 13.3.3.1.2), or an ellipsis conversion sequence (C++ 13.3.3.1.3). More...
#include "clang/Sema/Overload.h"
Public Types | |
enum | Kind { StandardConversion = 0 , StaticObjectArgumentConversion , UserDefinedConversion , AmbiguousConversion , EllipsisConversion , BadConversion } |
Kind - The kind of implicit conversion sequence. More... | |
enum | CompareKind { Better = -1 , Indistinguishable = 0 , Worse = 1 } |
Public Member Functions | |
ImplicitConversionSequence () | |
ImplicitConversionSequence (const ImplicitConversionSequence &Other) | |
ImplicitConversionSequence & | operator= (const ImplicitConversionSequence &Other) |
~ImplicitConversionSequence () | |
Kind | getKind () const |
unsigned | getKindRank () const |
Return a ranking of the implicit conversion sequence kind, where smaller ranks represent better conversion sequences. | |
bool | isBad () const |
bool | isStandard () const |
bool | isStaticObjectArgument () const |
bool | isEllipsis () const |
bool | isAmbiguous () const |
bool | isUserDefined () const |
bool | isFailure () const |
bool | isInitialized () const |
Determines whether this conversion sequence has been initialized. | |
void | setBad (BadConversionSequence::FailureKind Failure, Expr *FromExpr, QualType ToType) |
Sets this sequence as a bad conversion for an explicit argument. | |
void | setBad (BadConversionSequence::FailureKind Failure, QualType FromType, QualType ToType) |
Sets this sequence as a bad conversion for an implicit argument. | |
void | setStandard () |
void | setStaticObjectArgument () |
void | setEllipsis () |
void | setUserDefined () |
void | setAmbiguous () |
void | setAsIdentityConversion (QualType T) |
bool | hasInitializerListContainerType () const |
void | setInitializerListContainerType (QualType T, bool IA) |
bool | isInitializerListOfIncompleteArray () const |
QualType | getInitializerListContainerType () const |
void | DiagnoseAmbiguousConversion (Sema &S, SourceLocation CaretLoc, const PartialDiagnostic &PDiag) const |
Diagnoses an ambiguous conversion. | |
void | dump () const |
dump - Print this implicit conversion sequence to standard error. | |
Static Public Member Functions | |
static ImplicitConversionSequence | getNullptrToBool (QualType SourceType, QualType DestType, bool NeedLValToRVal) |
Form an "implicit" conversion sequence from nullptr_t to bool, for a direct-initialization of a bool object from nullptr_t. | |
Public Attributes | |
union { | |
StandardConversionSequence Standard | |
When ConversionKind == StandardConversion, provides the details of the standard conversion sequence. More... | |
UserDefinedConversionSequence UserDefined | |
When ConversionKind == UserDefinedConversion, provides the details of the user-defined conversion sequence. More... | |
AmbiguousConversionSequence Ambiguous | |
When ConversionKind == AmbiguousConversion, provides the details of the ambiguous conversion. More... | |
BadConversionSequence Bad | |
When ConversionKind == BadConversion, provides the details of the bad conversion. More... | |
}; | |
ImplicitConversionSequence - Represents an implicit conversion sequence, which may be a standard conversion sequence (C++ 13.3.3.1.1), user-defined conversion sequence (C++ 13.3.3.1.2), or an ellipsis conversion sequence (C++ 13.3.3.1.3).
Definition at line 567 of file Overload.h.
Enumerator | |
---|---|
Better | |
Indistinguishable | |
Worse |
Definition at line 785 of file Overload.h.
Kind - The kind of implicit conversion sequence.
BadConversion specifies that there is no conversion from the source type to the target type. AmbiguousConversion represents the unique ambiguous conversion (C++0x [over.best.ics]p10). StaticObjectArgumentConversion represents the conversion rules for the synthesized first argument of calls to static member functions ([over.best.ics.general]p8).
Enumerator | |
---|---|
StandardConversion | |
StaticObjectArgumentConversion | |
UserDefinedConversion | |
AmbiguousConversion | |
EllipsisConversion | |
BadConversion |
Definition at line 576 of file Overload.h.
|
inline |
Definition at line 633 of file Overload.h.
References clang::StandardConversionSequence::setAsIdentityConversion(), and Standard.
Referenced by operator=().
|
inline |
Definition at line 639 of file Overload.h.
References Ambiguous, AmbiguousConversion, Bad, BadConversion, clang::AmbiguousConversionSequence::copyFrom(), EllipsisConversion, clang::Other, Standard, StandardConversion, StaticObjectArgumentConversion, UserDefined, and UserDefinedConversion.
|
inline |
Definition at line 663 of file Overload.h.
void ImplicitConversionSequence::DiagnoseAmbiguousConversion | ( | Sema & | S, |
SourceLocation | CaretLoc, | ||
const PartialDiagnostic & | PDiag | ||
) | const |
Diagnoses an ambiguous conversion.
The partial diagnostic is the "lead" diagnostic; it will be given two arguments, the source and target types of the conversion.
Definition at line 11152 of file SemaOverload.cpp.
References clang::SemaBase::Diag(), clang::Sema::Diags, E, clang::DiagnosticsEngine::getNumOverloadCandidatesToShow(), int, clang::Sema::NoteOverloadCandidate(), and clang::DiagnosticsEngine::overloadCandidatesShown().
Referenced by NoteAmbiguousUserConversions(), and clang::Sema::PerformImplicitConversion().
void ImplicitConversionSequence::dump | ( | ) | const |
dump - Print this implicit conversion sequence to standard error.
Useful for debugging overloading issues.
Definition at line 670 of file SemaOverload.cpp.
References AmbiguousConversion, BadConversion, clang::StandardConversionSequence::dump(), clang::UserDefinedConversionSequence::dump(), EllipsisConversion, hasInitializerListContainerType(), Standard, StandardConversion, UserDefined, and UserDefinedConversion.
|
inline |
Definition at line 758 of file Overload.h.
References hasInitializerListContainerType().
Referenced by CompareImplicitConversionSequences().
|
inline |
Definition at line 667 of file Overload.h.
References isInitialized().
Referenced by clang::Sema::AddConversionCandidate(), BuildConvertedConstantExpression(), CompareImplicitConversionSequences(), DiagnoseNarrowingInInitList(), getKindRank(), isAmbiguous(), isBad(), isEllipsis(), isStandard(), isStaticObjectArgument(), isUserDefined(), clang::Sema::PerformImplicitConversion(), and TryContextuallyConvertToObjCPointer().
|
inline |
Return a ranking of the implicit conversion sequence kind, where smaller ranks represent better conversion sequences.
In particular, this routine gives user-defined conversion sequences and ambiguous conversion sequences the same rank, per C++ [over.best.ics]p10.
Definition at line 679 of file Overload.h.
References AmbiguousConversion, BadConversion, EllipsisConversion, getKind(), StandardConversion, StaticObjectArgumentConversion, and UserDefinedConversion.
Referenced by CompareImplicitConversionSequences().
|
inlinestatic |
Form an "implicit" conversion sequence from nullptr_t to bool, for a direct-initialization of a bool object from nullptr_t.
Definition at line 766 of file Overload.h.
References clang::StandardConversionSequence::First, clang::ICK_Boolean_Conversion, clang::ICK_Lvalue_To_Rvalue, clang::StandardConversionSequence::Second, clang::StandardConversionSequence::setAsIdentityConversion(), clang::StandardConversionSequence::setFromType(), setStandard(), clang::StandardConversionSequence::setToType(), and Standard.
Referenced by clang::InitializationSequence::InitializeFrom(), and TryContextuallyConvertToBool().
|
inline |
Definition at line 748 of file Overload.h.
Referenced by CompareImplicitConversionSequences(), dump(), and getInitializerListContainerType().
|
inline |
Definition at line 705 of file Overload.h.
References AmbiguousConversion, and getKind().
Referenced by isFailure(), and NoteAmbiguousUserConversions().
|
inline |
Definition at line 699 of file Overload.h.
References BadConversion, and getKind().
Referenced by clang::Sema::AddSurrogateCandidate(), CompareImplicitConversionSequences(), DiagnoseBadConversion(), clang::InitializationSequence::InitializeFrom(), isFailure(), NoteAmbiguousUserConversions(), clang::Sema::PerformContextuallyConvertToBool(), clang::Sema::PerformContextuallyConvertToObjCPointer(), clang::Sema::PerformImplicitObjectArgumentInitialization(), clang::Sema::SelectBestMethod(), TryCopyInitialization(), TryListConversion(), TryObjectArgumentInitialization(), and TryReferenceInitializationCore().
|
inline |
Definition at line 704 of file Overload.h.
References EllipsisConversion, and getKind().
|
inline |
Definition at line 707 of file Overload.h.
References isAmbiguous(), and isBad().
Referenced by clang::SemaOpenMP::checkOpenMPDeclareVariantFunction(), and clang::Sema::CheckSingleAssignmentConstraints().
|
inline |
Determines whether this conversion sequence has been initialized.
Most operations should never need to query uninitialized conversions and should assert as above.
Definition at line 712 of file Overload.h.
Referenced by getKind().
|
inline |
Definition at line 755 of file Overload.h.
Referenced by CompareImplicitConversionSequences().
|
inline |
Definition at line 700 of file Overload.h.
References getKind(), and StandardConversion.
Referenced by CheckC23ConstexprInitConversion(), CompareImplicitConversionSequences(), hasDeprecatedStringLiteralToCharPtrConversion(), clang::InitializationSequence::InitializeFrom(), clang::Sema::SelectBestMethod(), and TryReferenceInit().
|
inline |
Definition at line 701 of file Overload.h.
References getKind(), and StaticObjectArgumentConversion.
|
inline |
Definition at line 706 of file Overload.h.
References getKind(), and UserDefinedConversion.
Referenced by CompareImplicitConversionSequences(), hasDeprecatedStringLiteralToCharPtrConversion(), and TryReferenceInit().
|
inline |
Definition at line 657 of file Overload.h.
References ImplicitConversionSequence(), and clang::Other.
|
inline |
Definition at line 733 of file Overload.h.
References Ambiguous, AmbiguousConversion, and clang::AmbiguousConversionSequence::construct().
Referenced by FindConversionForRefInit(), and TryUserDefinedConversion().
|
inline |
Definition at line 739 of file Overload.h.
References clang::StandardConversionSequence::setAllToTypes(), clang::StandardConversionSequence::setAsIdentityConversion(), clang::StandardConversionSequence::setFromType(), setStandard(), Standard, and clang::T.
|
inline |
Sets this sequence as a bad conversion for an explicit argument.
Definition at line 715 of file Overload.h.
References Bad, BadConversion, and clang::BadConversionSequence::init().
Referenced by TryImplicitConversion(), TryListConversion(), TryObjectArgumentInitialization(), TryReferenceInit(), and TryUserDefinedConversion().
|
inline |
Sets this sequence as a bad conversion for an implicit argument.
Definition at line 722 of file Overload.h.
References Bad, BadConversion, and clang::BadConversionSequence::init().
|
inline |
Definition at line 730 of file Overload.h.
References EllipsisConversion.
|
inline |
Definition at line 751 of file Overload.h.
References clang::T.
|
inline |
Definition at line 728 of file Overload.h.
References StandardConversion.
Referenced by getNullptrToBool(), clang::InitializationSequence::InitializeFrom(), setAsIdentityConversion(), TryImplicitConversion(), TryListInitialization(), tryObjCWritebackConversion(), TryObjectArgumentInitialization(), TryReferenceInit(), TryRefInitWithConversionFunction(), and TryUserDefinedConversion().
|
inline |
Definition at line 729 of file Overload.h.
References StaticObjectArgumentConversion.
|
inline |
Definition at line 731 of file Overload.h.
References UserDefinedConversion.
Referenced by FindConversionForRefInit(), and TryUserDefinedConversion().
union { ... } clang::ImplicitConversionSequence::@239 |
AmbiguousConversionSequence clang::ImplicitConversionSequence::Ambiguous |
When ConversionKind == AmbiguousConversion, provides the details of the ambiguous conversion.
Definition at line 626 of file Overload.h.
Referenced by FindConversionForRefInit(), ImplicitConversionSequence(), setAmbiguous(), and TryUserDefinedConversion().
BadConversionSequence clang::ImplicitConversionSequence::Bad |
When ConversionKind == BadConversion, provides the details of the bad conversion.
Definition at line 630 of file Overload.h.
Referenced by DiagnoseBadConversion(), ImplicitConversionSequence(), clang::Sema::PerformImplicitObjectArgumentInitialization(), setBad(), and TryObjectArgumentInitialization().
StandardConversionSequence clang::ImplicitConversionSequence::Standard |
When ConversionKind == StandardConversion, provides the details of the standard conversion sequence.
Definition at line 618 of file Overload.h.
Referenced by clang::Sema::AddConversionCandidate(), clang::Sema::AddSurrogateCandidate(), BuildConvertedConstantExpression(), CheckC23ConstexprInitConversion(), CompareImplicitConversionSequences(), DiagnoseNarrowingInInitList(), dump(), getNullptrToBool(), hasDeprecatedStringLiteralToCharPtrConversion(), ImplicitConversionSequence(), clang::InitializationSequence::InitializeFrom(), clang::Sema::PerformImplicitConversion(), clang::Sema::PerformImplicitObjectArgumentInitialization(), clang::Sema::SelectBestMethod(), setAsIdentityConversion(), TryContextuallyConvertToObjCPointer(), TryImplicitConversion(), TryListInitialization(), tryObjCWritebackConversion(), TryObjectArgumentInitialization(), TryReferenceInit(), TryRefInitWithConversionFunction(), and TryUserDefinedConversion().
UserDefinedConversionSequence clang::ImplicitConversionSequence::UserDefined |
When ConversionKind == UserDefinedConversion, provides the details of the user-defined conversion sequence.
Definition at line 622 of file Overload.h.
Referenced by BuildConvertedConstantExpression(), CompareImplicitConversionSequences(), clang::Sema::DiagnoseMultipleUserDefinedConversion(), DiagnoseNarrowingInInitList(), dump(), FindConversionForRefInit(), hasDeprecatedStringLiteralToCharPtrConversion(), ImplicitConversionSequence(), clang::Sema::PerformImplicitConversion(), TryContextuallyConvertToObjCPointer(), TryReferenceInit(), and TryUserDefinedConversion().