#include "clang/Sema/TemplateDeduction.h"#include "TreeTransform.h"#include "TypeLocBuilder.h"#include "clang/AST/ASTContext.h"#include "clang/AST/ASTLambda.h"#include "clang/AST/Decl.h"#include "clang/AST/DeclAccessPair.h"#include "clang/AST/DeclBase.h"#include "clang/AST/DeclCXX.h"#include "clang/AST/DeclTemplate.h"#include "clang/AST/DeclarationName.h"#include "clang/AST/Expr.h"#include "clang/AST/ExprCXX.h"#include "clang/AST/NestedNameSpecifier.h"#include "clang/AST/RecursiveASTVisitor.h"#include "clang/AST/TemplateBase.h"#include "clang/AST/TemplateName.h"#include "clang/AST/Type.h"#include "clang/AST/TypeLoc.h"#include "clang/AST/UnresolvedSet.h"#include "clang/Basic/AddressSpaces.h"#include "clang/Basic/ExceptionSpecificationType.h"#include "clang/Basic/LLVM.h"#include "clang/Basic/LangOptions.h"#include "clang/Basic/PartialDiagnostic.h"#include "clang/Basic/SourceLocation.h"#include "clang/Basic/Specifiers.h"#include "clang/Sema/Ownership.h"#include "clang/Sema/Sema.h"#include "clang/Sema/Template.h"#include "llvm/ADT/APInt.h"#include "llvm/ADT/APSInt.h"#include "llvm/ADT/ArrayRef.h"#include "llvm/ADT/DenseMap.h"#include "llvm/ADT/FoldingSet.h"#include "llvm/ADT/Optional.h"#include "llvm/ADT/SmallBitVector.h"#include "llvm/ADT/SmallPtrSet.h"#include "llvm/ADT/SmallVector.h"#include "llvm/Support/Casting.h"#include "llvm/Support/Compiler.h"#include "llvm/Support/ErrorHandling.h"#include <algorithm>#include <cassert>#include <tuple>#include <utility>#include "clang/AST/TypeNodes.inc"
Go to the source code of this file.
Classes | |
| struct | clang::DeducedPack |
| A pack that we're currently deducing. More... | |
| struct | IsPartialSpecialization< T > |
| struct | IsPartialSpecialization< ClassTemplatePartialSpecializationDecl > |
| struct | IsPartialSpecialization< VarTemplatePartialSpecializationDecl > |
Namespaces | |
| clang | |
Macros | |
| #define | NON_CANONICAL_TYPE(Class, Base) case Type::Class: llvm_unreachable("deducing non-canonical type: " #Class); |
| #define | TYPE(Class, Base) |
| #define | TYPE(Class, Base) |
| #define | ABSTRACT_TYPE(Class, Base) |
| #define | DEPENDENT_TYPE(Class, Base) |
| #define | NON_CANONICAL_TYPE(Class, Base) case Type::Class: |
Enumerations | |
| enum | clang::TemplateDeductionFlags { clang::TDF_None = 0, clang::TDF_ParamWithReferenceType = 0x1, clang::TDF_IgnoreQualifiers = 0x02, clang::TDF_DerivedClass = 0x04, clang::TDF_SkipNonDependent = 0x08, clang::TDF_TopLevelParameterTypeList = 0x10, clang::TDF_AllowCompatibleFunctionType = 0x20, clang::TDF_ArgWithReferenceType = 0x40 } |
| Various flags that control template argument deduction. More... | |
Functions | |
| static bool | hasSameExtendedValue (llvm::APSInt X, llvm::APSInt Y) |
| Compare two APSInts, extending and switching the sign as necessary to compare their values regardless of underlying type. More... | |
| static Sema::TemplateDeductionResult | DeduceTemplateArgumentsByTypeMatch (Sema &S, TemplateParameterList *TemplateParams, QualType P, QualType A, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, bool PartialOrdering, bool DeducedFromArrayBound) |
| Deduce the template arguments by comparing the parameter type and the argument type (C++ [temp.deduct.type]). More... | |
| static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, ArrayRef< TemplateArgument > Ps, ArrayRef< TemplateArgument > As, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, bool NumberOfArgumentsMustMatch) |
| static void | MarkUsedTemplateParameters (ASTContext &Ctx, const TemplateArgument &TemplateArg, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
| Mark the template parameters that are used by this template argument. More... | |
| static void | MarkUsedTemplateParameters (ASTContext &Ctx, QualType T, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
| Mark the template parameters that are used by the given type. More... | |
| static const NonTypeTemplateParmDecl * | getDeducedParameterFromExpr (const Expr *E, unsigned Depth) |
| If the given expression is of a form that permits the deduction of a non-type template parameter, return the declaration of that non-type template parameter. More... | |
| static const NonTypeTemplateParmDecl * | getDeducedParameterFromExpr (TemplateDeductionInfo &Info, Expr *E) |
| static bool | isSameDeclaration (Decl *X, Decl *Y) |
| Determine whether two declaration pointers refer to the same declaration. More... | |
| static DeducedTemplateArgument | checkDeducedTemplateArguments (ASTContext &Context, const DeducedTemplateArgument &X, const DeducedTemplateArgument &Y) |
| Verify that the given, deduced template arguments are compatible. More... | |
| static Sema::TemplateDeductionResult | DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, const DeducedTemplateArgument &NewDeduced, QualType ValueType, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| Deduce the value of the given non-type template parameter as the given deduced template argument. More... | |
| static Sema::TemplateDeductionResult | DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, const llvm::APSInt &Value, QualType ValueType, bool DeducedFromArrayBound, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| Deduce the value of the given non-type template parameter from the given integral constant. More... | |
| static Sema::TemplateDeductionResult | DeduceNullPtrTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, QualType NullPtrType, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| Deduce the value of the given non-type template parameter from the given null pointer template argument type. More... | |
| static Sema::TemplateDeductionResult | DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, Expr *Value, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| Deduce the value of the given non-type template parameter from the given type- or value-dependent expression. More... | |
| static Sema::TemplateDeductionResult | DeduceNonTypeTemplateArgument (Sema &S, TemplateParameterList *TemplateParams, const NonTypeTemplateParmDecl *NTTP, ValueDecl *D, QualType T, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| Deduce the value of the given non-type template parameter from the given declaration. More... | |
| static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, TemplateName Param, TemplateName Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| static Sema::TemplateDeductionResult | DeduceTemplateSpecArguments (Sema &S, TemplateParameterList *TemplateParams, const QualType P, QualType A, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| Deduce the template arguments by comparing the template parameter type (which is a template-id) with the template argument type. More... | |
| static bool | IsPossiblyOpaquelyQualifiedTypeInternal (const Type *T) |
| static bool | IsPossiblyOpaquelyQualifiedType (QualType T) |
| Determines whether the given type is an opaque type that might be more qualified when instantiated. More... | |
| static TemplateParameter | makeTemplateParameter (Decl *D) |
| Helper function to build a TemplateParameter when we don't know its type statically. More... | |
| static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const QualType *Params, unsigned NumParams, const QualType *Args, unsigned NumArgs, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, unsigned TDF, bool PartialOrdering=false) |
| Deduce the template arguments by comparing the list of parameter types to the list of argument types, as in the parameter-type-lists of function types (C++ [temp.deduct.type]p10). More... | |
| static bool | hasInconsistentOrSupersetQualifiersOf (QualType ParamType, QualType ArgType) |
| Determine whether the parameter has qualifiers that the argument lacks. More... | |
| static unsigned | getFirstInnerIndex (FunctionTemplateDecl *FTD) |
| Get the index of the first template parameter that was originally from the innermost template-parameter-list. More... | |
| static bool | isForwardingReference (QualType Param, unsigned FirstInnerIndex) |
| Determine whether a type denotes a forwarding reference. More... | |
| static CXXRecordDecl * | getCanonicalRD (QualType T) |
| static Sema::TemplateDeductionResult | DeduceTemplateBases (Sema &S, const CXXRecordDecl *RD, TemplateParameterList *TemplateParams, QualType P, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| Attempt to deduce the template arguments by checking the base types according to (C++20 [temp.deduct.call] p4b3. More... | |
| static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const TemplateArgument &P, TemplateArgument A, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| static bool | hasTemplateArgumentForDeduction (ArrayRef< TemplateArgument > &Args, unsigned &ArgIdx) |
| Determine whether there is a template argument to be used for deduction. More... | |
| static bool | hasPackExpansionBeforeEnd (ArrayRef< TemplateArgument > Args) |
| Determine whether the given set of template arguments has a pack expansion that is not the last template argument. More... | |
| static Sema::TemplateDeductionResult | DeduceTemplateArguments (Sema &S, TemplateParameterList *TemplateParams, const TemplateArgumentList &ParamList, const TemplateArgumentList &ArgList, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced) |
| static bool | isSameTemplateArg (ASTContext &Context, TemplateArgument X, const TemplateArgument &Y, bool PackExpansionMatchesPack=false) |
| Determine whether two template arguments are the same. More... | |
| static bool | ConvertDeducedTemplateArgument (Sema &S, NamedDecl *Param, DeducedTemplateArgument Arg, NamedDecl *Template, TemplateDeductionInfo &Info, bool IsDeduced, SmallVectorImpl< TemplateArgument > &Output) |
| Convert the given deduced template argument and add it to the set of fully-converted template arguments. More... | |
| template<typename TemplateDeclT > | |
| static Sema::TemplateDeductionResult | ConvertDeducedTemplateArguments (Sema &S, TemplateDeclT *Template, bool IsDeduced, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info, SmallVectorImpl< TemplateArgument > &Builder, LocalInstantiationScope *CurrentInstantiationScope=nullptr, unsigned NumAlreadyConverted=0, bool PartialOverloading=false) |
| static DeclContext * | getAsDeclContextOrEnclosing (Decl *D) |
| template<typename TemplateDeclT > | |
| static Sema::TemplateDeductionResult | CheckDeducedArgumentConstraints (Sema &S, TemplateDeclT *Template, ArrayRef< TemplateArgument > DeducedArgs, TemplateDeductionInfo &Info) |
| template<typename T > | |
| static std::enable_if_t< IsPartialSpecialization< T >::value, Sema::TemplateDeductionResult > | FinishTemplateArgumentDeduction (Sema &S, T *Partial, bool IsPartialOrdering, const TemplateArgumentList &TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info) |
| Complete template argument deduction for a partial specialization. More... | |
| static Sema::TemplateDeductionResult | FinishTemplateArgumentDeduction (Sema &S, TemplateDecl *Template, bool PartialOrdering, const TemplateArgumentList &TemplateArgs, SmallVectorImpl< DeducedTemplateArgument > &Deduced, TemplateDeductionInfo &Info) |
| Complete template argument deduction for a class or variable template, when partial ordering against a partial specialization. More... | |
| static bool | isSimpleTemplateIdType (QualType T) |
| Determine whether the given type T is a simple-template-id type. More... | |
| static Sema::TemplateDeductionResult | CheckOriginalCallArgDeduction (Sema &S, TemplateDeductionInfo &Info, Sema::OriginalCallArg OriginalArg, QualType DeducedA) |
| Check whether the deduced argument type for a call to a function template matches the actual argument type per C++ [temp.deduct.call]p4. More... | |
| static unsigned | getPackIndexForParam (Sema &S, FunctionTemplateDecl *FunctionTemplate, const MultiLevelTemplateArgumentList &Args, unsigned ParamIdx) |
| Find the pack index for a particular parameter index in an instantiation of a function template with specific arguments. More... | |
| static QualType | GetTypeOfFunction (Sema &S, const OverloadExpr::FindResult &R, FunctionDecl *Fn) |
| Gets the type of a function for template-argument-deducton purposes when it's considered as part of an overload set. More... | |
| static QualType | ResolveOverloadForDeduction (Sema &S, TemplateParameterList *TemplateParams, Expr *Arg, QualType ParamType, bool ParamWasReference) |
| Apply the deduction rules for overload sets. More... | |
| static bool | AdjustFunctionParmAndArgTypesForDeduction (Sema &S, TemplateParameterList *TemplateParams, unsigned FirstInnerIndex, QualType &ParamType, QualType &ArgType, Expr *Arg, unsigned &TDF) |
| Perform the adjustments to the parameter and argument types described in C++ [temp.deduct.call]. More... | |
| static bool | hasDeducibleTemplateParameters (Sema &S, FunctionTemplateDecl *FunctionTemplate, QualType T) |
| static Sema::TemplateDeductionResult | DeduceTemplateArgumentsFromCallArgument (Sema &S, TemplateParameterList *TemplateParams, unsigned FirstInnerIndex, QualType ParamType, Expr *Arg, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, SmallVectorImpl< Sema::OriginalCallArg > &OriginalCallArgs, bool DecomposedParam, unsigned ArgIdx, unsigned TDF) |
| Perform template argument deduction per [temp.deduct.call] for a single parameter / argument pair. More... | |
| static Sema::TemplateDeductionResult | DeduceFromInitializerList (Sema &S, TemplateParameterList *TemplateParams, QualType AdjustedParamType, InitListExpr *ILE, TemplateDeductionInfo &Info, SmallVectorImpl< DeducedTemplateArgument > &Deduced, SmallVectorImpl< Sema::OriginalCallArg > &OriginalCallArgs, unsigned ArgIdx, unsigned TDF) |
| Attempt template argument deduction from an initializer list deemed to be an argument in a function call. More... | |
| static bool | diagnoseAutoDeductionFailure (Sema &S, Sema::TemplateDeductionResult TDK, TemplateDeductionInfo &Info, ArrayRef< SourceRange > Ranges) |
| Attempt to produce an informative diagostic explaining why auto deduction failed. More... | |
| static Sema::DeduceAutoResult | CheckDeducedPlaceholderConstraints (Sema &S, const AutoType &Type, AutoTypeLoc TypeLoc, QualType Deduced) |
| static void | AddImplicitObjectParameterType (ASTContext &Context, CXXMethodDecl *Method, SmallVectorImpl< QualType > &ArgTypes) |
| If this is a non-static member function,. More... | |
| static bool | isAtLeastAsSpecializedAs (Sema &S, SourceLocation Loc, FunctionTemplateDecl *FT1, FunctionTemplateDecl *FT2, TemplatePartialOrderingContext TPOC, unsigned NumCallArguments1, bool Reversed) |
Determine whether the function template FT1 is at least as specialized as FT2. More... | |
| static bool | isVariadicFunctionTemplate (FunctionTemplateDecl *FunTmpl) |
| Determine whether this a function template whose parameter-type-list ends with a function parameter pack. More... | |
| static bool | isSameTemplate (TemplateDecl *T1, TemplateDecl *T2) |
| Determine if the two templates are equivalent. More... | |
| template<typename TemplateLikeDecl > | |
| static bool | isAtLeastAsSpecializedAs (Sema &S, QualType T1, QualType T2, TemplateLikeDecl *P2, TemplateDeductionInfo &Info) |
| Determine whether one partial specialization, P1, is at least as specialized than another, P2. More... | |
| static void | MarkUsedTemplateParameters (ASTContext &Ctx, const Expr *E, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
| Mark the template parameters that are used by the given expression. More... | |
| static void | MarkUsedTemplateParameters (ASTContext &Ctx, NestedNameSpecifier *NNS, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
| Mark the template parameters that are used by the given nested name specifier. More... | |
| static void | MarkUsedTemplateParameters (ASTContext &Ctx, TemplateName Name, bool OnlyDeduced, unsigned Depth, llvm::SmallBitVector &Used) |
| Mark the template parameters that are used by the given template name. More... | |
Macro Definition Documentation
◆ ABSTRACT_TYPE
| #define ABSTRACT_TYPE | ( | Class, | |
| Base | |||
| ) |
◆ DEPENDENT_TYPE
| #define DEPENDENT_TYPE | ( | Class, | |
| Base | |||
| ) |
◆ NON_CANONICAL_TYPE [1/2]
| #define NON_CANONICAL_TYPE | ( | Class, | |
| Base | |||
| ) | case Type::Class: llvm_unreachable("deducing non-canonical type: " #Class); |
◆ NON_CANONICAL_TYPE [2/2]
| #define NON_CANONICAL_TYPE | ( | Class, | |
| Base | |||
| ) | case Type::Class: |
◆ TYPE [1/2]
| #define TYPE | ( | Class, | |
| Base | |||
| ) |
◆ TYPE [2/2]
| #define TYPE | ( | Class, | |
| Base | |||
| ) |
Function Documentation
◆ AddImplicitObjectParameterType()
|
static |
If this is a non-static member function,.
Definition at line 4923 of file SemaTemplateDeduction.cpp.
References clang::ASTContext::getLValueReferenceType(), clang::CXXMethodDecl::getMethodQualifiers(), clang::CXXMethodDecl::getParent(), clang::ASTContext::getQualifiedType(), clang::CXXMethodDecl::getRefQualifier(), clang::ASTContext::getRValueReferenceType(), clang::ASTContext::getTypeDeclType(), and clang::RQ_RValue.
◆ AdjustFunctionParmAndArgTypesForDeduction()
|
static |
Perform the adjustments to the parameter and argument types described in C++ [temp.deduct.call].
- Returns
- true if the caller should not attempt to perform any template argument deduction based on this P/A pair because the argument is an overloaded function set that could not be resolved.
Definition at line 3721 of file SemaTemplateDeduction.cpp.
◆ CheckDeducedArgumentConstraints()
|
static |
Definition at line 2789 of file SemaTemplateDeduction.cpp.
◆ CheckDeducedPlaceholderConstraints()
|
static |
Definition at line 4558 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::DeduceAutoType().
◆ checkDeducedTemplateArguments()
|
static |
Verify that the given, deduced template arguments are compatible.
- Returns
- The deduced template argument, or a NULL template argument if the deduced template arguments were incompatible.
Definition at line 211 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::CreatePackCopy(), clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateArgument::getAsDecl(), clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsIntegral(), clang::TemplateArgument::getAsTemplate(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNonTypeTemplateArgumentType(), hasSameExtendedValue(), clang::ASTContext::hasSameTemplateName(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, clang::TemplateArgument::isNull(), clang::QualType::isNull(), isSameDeclaration(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), clang::TemplateArgument::pack_size(), clang::Stmt::Profile(), clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, clang::DeducedTemplateArgument::wasDeducedFromArrayBound(), and clang::tooling::X().
◆ CheckOriginalCallArgDeduction()
|
static |
Check whether the deduced argument type for a call to a function template matches the actual argument type per C++ [temp.deduct.call]p4.
Definition at line 3280 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::DeduceAutoType().
◆ ConvertDeducedTemplateArgument()
|
static |
Convert the given deduced template argument and add it to the set of fully-converted template arguments.
Definition at line 2567 of file SemaTemplateDeduction.cpp.
◆ ConvertDeducedTemplateArguments()
|
static |
Definition at line 2658 of file SemaTemplateDeduction.cpp.
◆ DeduceFromInitializerList()
|
static |
Attempt template argument deduction from an initializer list deemed to be an argument in a function call.
Definition at line 3826 of file SemaTemplateDeduction.cpp.
◆ DeduceNonTypeTemplateArgument() [1/4]
|
static |
Deduce the value of the given non-type template parameter as the given deduced template argument.
All non-type template parameter deduction is funneled through here.
Definition at line 372 of file SemaTemplateDeduction.cpp.
◆ DeduceNonTypeTemplateArgument() [2/4]
|
static |
Deduce the value of the given non-type template parameter from the given integral constant.
Definition at line 425 of file SemaTemplateDeduction.cpp.
◆ DeduceNonTypeTemplateArgument() [3/4]
|
static |
Deduce the value of the given non-type template parameter from the given type- or value-dependent expression.
- Returns
- true if deduction succeeded, false otherwise.
Definition at line 460 of file SemaTemplateDeduction.cpp.
◆ DeduceNonTypeTemplateArgument() [4/4]
|
static |
Deduce the value of the given non-type template parameter from the given declaration.
- Returns
- true if deduction succeeded, false otherwise.
Definition at line 473 of file SemaTemplateDeduction.cpp.
◆ DeduceNullPtrTemplateArgument()
|
static |
Deduce the value of the given non-type template parameter from the given null pointer template argument type.
Definition at line 439 of file SemaTemplateDeduction.cpp.
◆ DeduceTemplateArguments() [1/5]
|
static |
Definition at line 2330 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::CheckFunctionTemplateSpecialization(), clang::Sema::CheckVarTemplateId(), and clang::Sema::DeduceTemplateArguments().
◆ DeduceTemplateArguments() [2/5]
|
static |
Deduce the template arguments by comparing the list of parameter types to the list of argument types, as in the parameter-type-lists of function types (C++ [temp.deduct.type]p10).
- Parameters
-
S The semantic analysis object within which we are deducing TemplateParams The template parameters that we are deducing Params The list of parameter types NumParams The number of types in ParamsArgs The list of argument types NumArgs The number of types in ArgsInfo information about the template argument deduction itself Deduced the deduced template arguments TDF bitwise OR of the TemplateDeductionFlags bits that describe how template argument deduction is performed. PartialOrdering If true, we are performing template argument deduction for during partial ordering for a call (C++0x [temp.deduct.partial]).
- Returns
- the result of template argument deduction so far. Note that a "success" result means that template argument deduction has not yet failed, but it may still fail, later, for other reasons.
Definition at line 1002 of file SemaTemplateDeduction.cpp.
◆ DeduceTemplateArguments() [3/5]
|
static |
Definition at line 2194 of file SemaTemplateDeduction.cpp.
◆ DeduceTemplateArguments() [4/5]
|
static |
Definition at line 2411 of file SemaTemplateDeduction.cpp.
◆ DeduceTemplateArguments() [5/5]
|
static |
Definition at line 485 of file SemaTemplateDeduction.cpp.
◆ DeduceTemplateArgumentsByTypeMatch()
|
static |
Deduce the template arguments by comparing the parameter type and the argument type (C++ [temp.deduct.type]).
- Parameters
-
S the semantic analysis object within which we are deducing TemplateParams the template parameters that we are deducing P the parameter type A the argument type Info information about the template argument deduction itself Deduced the deduced template arguments TDF bitwise OR of the TemplateDeductionFlags bits that describe how template argument deduction is performed. PartialOrdering Whether we're performing template argument deduction in the context of partial ordering (C++0x [temp.deduct.partial]).
- Returns
- the result of template argument deduction so far. Note that a "success" result means that template argument deduction has not yet failed, but it may still fail, later, for other reasons.
Definition at line 1335 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::DeduceTemplateArguments().
◆ DeduceTemplateArgumentsFromCallArgument()
|
static |
Perform template argument deduction per [temp.deduct.call] for a single parameter / argument pair.
Definition at line 3893 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::DeduceAutoType(), and clang::Sema::DeduceTemplateArguments().
◆ DeduceTemplateBases()
|
static |
Attempt to deduce the template arguments by checking the base types according to (C++20 [temp.deduct.call] p4b3.
- Parameters
-
S the semantic analysis object within which we are deducing. RD the top level record object we are deducing against. TemplateParams the template parameters that we are deducing. P the template specialization parameter type. Info information about the template argument deduction itself. Deduced the deduced template arguments.
- Returns
- the result of template argument deduction with the bases. "invalid" means no matches, "success" found a single item, and the "MiscellaneousDeductionFailure" result happens when the match is ambiguous.
Definition at line 1216 of file SemaTemplateDeduction.cpp.
◆ DeduceTemplateSpecArguments()
|
static |
Deduce the template arguments by comparing the template parameter type (which is a template-id) with the template argument type.
- Parameters
-
S the Sema TemplateParams the template parameters that we are deducing P the parameter type A the argument type Info information about the template argument deduction itself Deduced the deduced template arguments
- Returns
- the result of template argument deduction so far. Note that a "success" result means that template argument deduction has not yet failed, but it may still fail, later, for other reasons.
Definition at line 548 of file SemaTemplateDeduction.cpp.
◆ diagnoseAutoDeductionFailure()
|
static |
Attempt to produce an informative diagostic explaining why auto deduction failed.
- Returns
trueif diagnosed,falseif not.
Definition at line 4535 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::DeduceAutoType().
◆ FinishTemplateArgumentDeduction() [1/2]
|
static |
Complete template argument deduction for a partial specialization.
Definition at line 2808 of file SemaTemplateDeduction.cpp.
◆ FinishTemplateArgumentDeduction() [2/2]
|
static |
Complete template argument deduction for a class or variable template, when partial ordering against a partial specialization.
Definition at line 2893 of file SemaTemplateDeduction.cpp.
◆ getAsDeclContextOrEnclosing()
|
static |
Definition at line 2769 of file SemaTemplateDeduction.cpp.
References clang::Decl::getDeclContext().
◆ getCanonicalRD()
|
static |
Definition at line 1192 of file SemaTemplateDeduction.cpp.
References clang::Type::castAs(), clang::TagDecl::getCanonicalDecl(), and clang::RecordType::getDecl().
◆ getDeducedParameterFromExpr() [1/2]
|
static |
If the given expression is of a form that permits the deduction of a non-type template parameter, return the declaration of that non-type template parameter.
Definition at line 161 of file SemaTemplateDeduction.cpp.
References Depth.
Referenced by getDeducedParameterFromExpr(), and MarkUsedTemplateParameters().
◆ getDeducedParameterFromExpr() [2/2]
|
static |
Definition at line 191 of file SemaTemplateDeduction.cpp.
References clang::sema::TemplateDeductionInfo::getDeducedDepth(), and getDeducedParameterFromExpr().
◆ getFirstInnerIndex()
|
static |
Get the index of the first template parameter that was originally from the innermost template-parameter-list.
This is 0 except when we concatenate the template parameter lists of a class template and a constructor template when forming an implicit deduction guide.
Definition at line 1170 of file SemaTemplateDeduction.cpp.
References clang::FunctionTemplateDecl::getTemplatedDecl().
Referenced by clang::Sema::DeduceTemplateArguments().
◆ getPackIndexForParam()
|
static |
Find the pack index for a particular parameter index in an instantiation of a function template with specific arguments.
- Returns
- The pack index for whichever pack produced this parameter, or -1 if this was not produced by a parameter. Intended to be used as the ArgumentPackSubstitutionIndex for further substitutions.
Definition at line 3401 of file SemaTemplateDeduction.cpp.
◆ GetTypeOfFunction()
|
static |
Gets the type of a function for template-argument-deducton purposes when it's considered as part of an overload set.
Definition at line 3589 of file SemaTemplateDeduction.cpp.
◆ hasDeducibleTemplateParameters()
|
static |
Definition at line 6081 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::DeduceTemplateArguments().
◆ hasInconsistentOrSupersetQualifiersOf()
Determine whether the parameter has qualifiers that the argument lacks.
Put another way, determine whether there is no way to add a deduced set of qualifiers to the ParamType that would result in its qualifiers matching those of the ArgType.
Definition at line 1114 of file SemaTemplateDeduction.cpp.
References clang::Qualifiers::getAddressSpace(), clang::Qualifiers::getCVRQualifiers(), clang::Qualifiers::getObjCGCAttr(), clang::Qualifiers::getObjCLifetime(), clang::QualType::getQualifiers(), clang::Qualifiers::hasAddressSpace(), clang::Qualifiers::hasObjCGCAttr(), and clang::Qualifiers::hasObjCLifetime().
◆ hasPackExpansionBeforeEnd()
|
static |
Determine whether the given set of template arguments has a pack expansion that is not the last template argument.
Definition at line 2311 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::Pack.
Referenced by MarkUsedTemplateParameters(), and clang::Sema::MarkUsedTemplateParameters().
◆ hasSameExtendedValue()
|
static |
Compare two APSInts, extending and switching the sign as necessary to compare their values regardless of underlying type.
Definition at line 115 of file SemaTemplateDeduction.cpp.
References clang::tooling::X().
Referenced by checkDeducedTemplateArguments(), and isSameTemplateArg().
◆ hasTemplateArgumentForDeduction()
|
static |
Determine whether there is a template argument to be used for deduction.
This routine "expands" argument packs in-place, overriding its input parameters so that Args[ArgIdx] will be the available template argument.
- Returns
- true if there is another template argument (which will be at
Args[ArgIdx]), false otherwise.
Definition at line 2294 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::getKind(), clang::TemplateArgument::Pack, and clang::TemplateArgument::pack_elements().
◆ isAtLeastAsSpecializedAs() [1/2]
|
static |
Determine whether one partial specialization, P1, is at least as specialized than another, P2.
- Template Parameters
-
TemplateLikeDecl The kind of P2, which must be a TemplateDecl or {Class,Var}TemplatePartialSpecializationDecl.
- Parameters
-
T1 The injected-class-name of P1 (faked for a variable template). T2 The injected-class-name of P2 (faked for a variable template).
Definition at line 5314 of file SemaTemplateDeduction.cpp.
◆ isAtLeastAsSpecializedAs() [2/2]
|
static |
Determine whether the function template FT1 is at least as specialized as FT2.
Definition at line 4944 of file SemaTemplateDeduction.cpp.
Referenced by clang::Sema::getMoreSpecializedPartialSpecialization(), clang::Sema::getMoreSpecializedTemplate(), clang::Sema::isMoreSpecializedThanPrimary(), and clang::Sema::isTemplateTemplateParameterAtLeastAsSpecializedAs().
◆ isForwardingReference()
Determine whether a type denotes a forwarding reference.
Definition at line 1178 of file SemaTemplateDeduction.cpp.
References clang::Type::getAs(), and clang::TemplateTypeParmType::getIndex().
◆ IsPossiblyOpaquelyQualifiedType()
Determines whether the given type is an opaque type that might be more qualified when instantiated.
Definition at line 632 of file SemaTemplateDeduction.cpp.
References clang::Type::getCanonicalTypeInternal(), clang::QualType::getTypePtr(), and IsPossiblyOpaquelyQualifiedTypeInternal().
◆ IsPossiblyOpaquelyQualifiedTypeInternal()
Definition at line 606 of file SemaTemplateDeduction.cpp.
References clang::Type::getTypeClass(), and clang::Type::isCanonicalUnqualified().
Referenced by IsPossiblyOpaquelyQualifiedType().
◆ isSameDeclaration()
Determine whether two declaration pointers refer to the same declaration.
Definition at line 197 of file SemaTemplateDeduction.cpp.
References clang::Decl::getCanonicalDecl(), and clang::tooling::X().
Referenced by checkDeducedTemplateArguments(), and isSameTemplateArg().
◆ isSameTemplate()
|
static |
Determine if the two templates are equivalent.
Definition at line 5196 of file SemaTemplateDeduction.cpp.
References clang::Decl::getCanonicalDecl().
Referenced by clang::Sema::getMostSpecialized().
◆ isSameTemplateArg()
|
static |
Determine whether two template arguments are the same.
Definition at line 2422 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::Declaration, clang::TemplateArgument::Expression, clang::TemplateArgument::getAsDecl(), clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsIntegral(), clang::TemplateArgument::getAsTemplateOrTemplatePattern(), clang::TemplateArgument::getAsType(), clang::TemplateName::getAsVoidPointer(), clang::ASTContext::getCanonicalTemplateName(), clang::ASTContext::getCanonicalType(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getNullPtrType(), hasSameExtendedValue(), clang::ASTContext::hasSameType(), clang::TemplateArgument::Integral, clang::TemplateArgument::isPackExpansion(), isSameDeclaration(), clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_begin(), clang::TemplateArgument::pack_size(), clang::Stmt::Profile(), clang::TemplateArgument::Template, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, and clang::tooling::X().
◆ isSimpleTemplateIdType()
Determine whether the given type T is a simple-template-id type.
Definition at line 3039 of file SemaTemplateDeduction.cpp.
References clang::Type::getAs().
◆ isVariadicFunctionTemplate()
|
static |
Determine whether this a function template whose parameter-type-list ends with a function parameter pack.
Definition at line 5107 of file SemaTemplateDeduction.cpp.
References clang::FunctionTemplateDecl::getTemplatedDecl(), and clang::Last.
Referenced by clang::Sema::getMoreSpecializedTemplate().
◆ makeTemplateParameter()
|
static |
Helper function to build a TemplateParameter when we don't know its type statically.
Definition at line 639 of file SemaTemplateDeduction.cpp.
◆ MarkUsedTemplateParameters() [1/5]
|
static |
Mark the template parameters that are used by the given expression.
Definition at line 5612 of file SemaTemplateDeduction.cpp.
References Depth, getDeducedParameterFromExpr(), clang::NonTypeTemplateParmDecl::getDepth(), clang::NonTypeTemplateParmDecl::getIndex(), clang::ASTContext::getLangOpts(), clang::ValueDecl::getType(), MarkUsedTemplateParameters(), and Used.
◆ MarkUsedTemplateParameters() [2/5]
|
static |
Mark the template parameters that are used by this template argument.
Definition at line 5985 of file SemaTemplateDeduction.cpp.
References clang::TemplateArgument::Declaration, Depth, clang::TemplateArgument::Expression, clang::TemplateArgument::Integral, clang::TemplateArgument::Null, clang::TemplateArgument::NullPtr, P, clang::TemplateArgument::Pack, clang::TemplateArgument::Template, clang::TemplateArg, clang::TemplateArgument::TemplateExpansion, clang::TemplateArgument::Type, and Used.
Referenced by MarkUsedTemplateParameters().
◆ MarkUsedTemplateParameters() [3/5]
|
static |
Mark the template parameters that are used by the given nested name specifier.
Definition at line 5643 of file SemaTemplateDeduction.cpp.
References Depth, clang::NestedNameSpecifier::getAsType(), clang::NestedNameSpecifier::getPrefix(), MarkUsedTemplateParameters(), and Used.
◆ MarkUsedTemplateParameters() [4/5]
|
static |
Mark the template parameters that are used by the given type.
Definition at line 5685 of file SemaTemplateDeduction.cpp.
References Depth, clang::DependentAddressSpaceType::getAddrSpaceExpr(), clang::TemplateSpecializationType::getArg(), clang::DependentTemplateSpecializationType::getArg(), clang::SubstTemplateTypeParmPackType::getArgumentPack(), clang::Type::getAs(), clang::ASTContext::getCanonicalType(), clang::MemberPointerType::getClass(), clang::DependentSizedMatrixType::getColumnExpr(), clang::TemplateTypeParmType::getDepth(), clang::DependentSizedExtVectorType::getElementType(), clang::MatrixType::getElementType(), clang::TemplateTypeParmType::getIndex(), clang::FunctionProtoType::getNoexceptExpr(), clang::TemplateSpecializationType::getNumArgs(), clang::DependentTemplateSpecializationType::getNumArgs(), clang::FunctionProtoType::getNumParams(), clang::FunctionProtoType::getParamType(), clang::MemberPointerType::getPointeeType(), clang::DependentAddressSpaceType::getPointeeType(), clang::DependentTemplateSpecializationType::getQualifier(), clang::SubstTemplateTypeParmPackType::getReplacedParameter(), clang::FunctionType::getReturnType(), clang::DependentSizedMatrixType::getRowExpr(), clang::DependentSizedExtVectorType::getSizeExpr(), clang::TemplateSpecializationType::getTemplateName(), clang::Type::getTypeClass(), clang::QualType::getTypePtr(), getUnderlyingType(), hasPackExpansionBeforeEnd(), clang::Type::isDependentType(), clang::QualType::isNull(), MarkUsedTemplateParameters(), clang::TemplateSpecializationType::template_arguments(), and Used.
◆ MarkUsedTemplateParameters() [5/5]
|
static |
Mark the template parameters that are used by the given template name.
Definition at line 5660 of file SemaTemplateDeduction.cpp.
◆ ResolveOverloadForDeduction()
|
static |
Apply the deduction rules for overload sets.
- Returns
- the null type if this argument should be treated as an undeduced context
Definition at line 3616 of file SemaTemplateDeduction.cpp.
