diff options
| author | Douglas Gregor <dgregor@apple.com> | 2010-12-23 01:52:01 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2010-12-23 01:52:01 +0000 |
| commit | ea6c96f63a45b4ffdcdf9824a9cf31a32825c0f6 (patch) | |
| tree | 82ce536c268f6f5f568b2bcd198ac4dbcedc4b1b /lib/Sema/SemaTemplateDeduction.cpp | |
| parent | 7b976ece336d209977b25b5c28ee09c2d2146e6a (diff) | |
Implement the part of C++0x [temp.arg.explicit]p3 that pertains to
parameter packs. In particular, a parameter pack not otherwise deduced
is deduced to an empty parameter pack.
The C++0x wording here is a bit unfortunate; this should really only
apply to function templates, and it mentions "trailing" parameter
packs, which doesn't really make sense in the context of function
templates. Will file a core issue separately.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122463 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaTemplateDeduction.cpp')
| -rw-r--r-- | lib/Sema/SemaTemplateDeduction.cpp | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/lib/Sema/SemaTemplateDeduction.cpp b/lib/Sema/SemaTemplateDeduction.cpp index ad649c067c..90894f22a3 100644 --- a/lib/Sema/SemaTemplateDeduction.cpp +++ b/lib/Sema/SemaTemplateDeduction.cpp @@ -1708,9 +1708,10 @@ Sema::FinishTemplateArgumentDeduction(FunctionTemplateDecl *FunctionTemplate, // [...] or if any template argument remains neither deduced nor // explicitly specified, template argument deduction fails. llvm::SmallVector<TemplateArgument, 4> Builder; - for (unsigned I = 0, N = Deduced.size(); I != N; ++I) { + for (unsigned I = 0, N = Deduced.size(); I != N; ++I) { // FIXME: Variadic templates. Unwrap argument packs? NamedDecl *Param = FunctionTemplate->getTemplateParameters()->getParam(I); + if (!Deduced[I].isNull()) { if (I < NumExplicitlySpecified) { // We have already fully type-checked and converted this @@ -1777,6 +1778,15 @@ Sema::FinishTemplateArgumentDeduction(FunctionTemplateDecl *FunctionTemplate, continue; } + + // C++0x [temp.arg.explicit]p3: + // A trailing template parameter pack (14.5.3) not otherwise deduced will + // be deduced to an empty sequence of template arguments. + // FIXME: Where did the word "trailing" come from? + if (Param->isTemplateParameterPack()) { + Builder.push_back(TemplateArgument(0, 0)); + continue; + } // Substitute into the default template argument, if available. TemplateArgumentLoc DefArg |