1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
//===------- SemaTemplateDeduction.cpp - Template Argument Deduction ------===/
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//===----------------------------------------------------------------------===/
//
// This file implements C++ template argument deduction.
//
//===----------------------------------------------------------------------===/
#include "Sema.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/Parse/DeclSpec.h"
#include "llvm/Support/Compiler.h"
using namespace clang;
static bool DeduceTemplateArguments(ASTContext &Context, QualType Param,
QualType Arg,
llvm::SmallVectorImpl<TemplateArgument> &Deduced) {
// We only want to look at the canonical types, since typedefs and
// sugar are not part of template argument deduction.
Param = Context.getCanonicalType(Param);
Arg = Context.getCanonicalType(Arg);
// If the parameter type is not dependent, just compare the types
// directly.
if (!Param->isDependentType())
return Param == Arg;
// FIXME: Use a visitor or switch to handle all of the kinds of
// types that the parameter may be.
if (const TemplateTypeParmType *TemplateTypeParm
= Param->getAsTemplateTypeParmType()) {
// The argument type can not be less qualified than the parameter
// type.
if (Param.isMoreQualifiedThan(Arg))
return false;
assert(TemplateTypeParm->getDepth() == 0 && "Can't deduce with depth > 0");
unsigned Quals = Arg.getCVRQualifiers() & ~Param.getCVRQualifiers();
QualType DeducedType = Arg.getQualifiedType(Quals);
unsigned Index = TemplateTypeParm->getIndex();
if (Deduced[Index].isNull())
Deduced[Index] = TemplateArgument(SourceLocation(), DeducedType);
else {
// C++ [temp.deduct.type]p2:
// [...] If type deduction cannot be done for any P/A pair, or if for
// any pair the deduction leads to more than one possible set of
// deduced values, or if different pairs yield different deduced
// values, or if any template argument remains neither deduced nor
// explicitly specified, template argument deduction fails.
if (Deduced[Index].getAsType() != DeducedType)
return false;
}
return true;
}
if (Param.getCVRQualifiers() != Arg.getCVRQualifiers())
return false;
if (const PointerType *PointerParam = Param->getAsPointerType()) {
const PointerType *PointerArg = Arg->getAsPointerType();
if (!PointerArg)
return false;
return DeduceTemplateArguments(Context,
PointerParam->getPointeeType(),
PointerArg->getPointeeType(),
Deduced);
}
// FIXME: Many more cases to go (to go).
return false;
}
static bool
DeduceTemplateArguments(ASTContext &Context, const TemplateArgument &Param,
const TemplateArgument &Arg,
llvm::SmallVectorImpl<TemplateArgument> &Deduced) {
assert(Param.getKind() == Arg.getKind() &&
"Template argument kind mismatch during deduction");
switch (Param.getKind()) {
case TemplateArgument::Type:
return DeduceTemplateArguments(Context, Param.getAsType(),
Arg.getAsType(), Deduced);
default:
return false;
}
}
static bool
DeduceTemplateArguments(ASTContext &Context,
const TemplateArgumentList &ParamList,
const TemplateArgumentList &ArgList,
llvm::SmallVectorImpl<TemplateArgument> &Deduced) {
assert(ParamList.size() == ArgList.size());
for (unsigned I = 0, N = ParamList.size(); I != N; ++I) {
if (!DeduceTemplateArguments(Context, ParamList[I], ArgList[I], Deduced))
return false;
}
return true;
}
bool
Sema::DeduceTemplateArguments(ClassTemplatePartialSpecializationDecl *Partial,
const TemplateArgumentList &TemplateArgs) {
llvm::SmallVector<TemplateArgument, 4> Deduced;
Deduced.resize(Partial->getTemplateParameters()->size());
return ::DeduceTemplateArguments(Context, Partial->getTemplateArgs(),
TemplateArgs, Deduced);
}
|
