maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add example from C++0x [temp.deduct.type]p21, which already works 

llvm-svn: 123237
This commit is contained in:
Douglas Gregor 2011-01-11 15:36:52 +00:00
parent 1339223186
commit 7a7dc6f504
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
clang/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.type/p21.cpp Normal file
View File

@ -0,0 +1,31 @@
// RUN: %clang_cc1 -std=c++0x -fsyntax-only -verify %s
// Note: Template argument deduction involving parameter packs
// (14.5.3) can deduce zero or more arguments for each parameter pack.
template<class> struct X {
static const unsigned value = 0;
};
template<class R, class ... ArgTypes> struct X<R(int, ArgTypes ...)> {
static const unsigned value = 1;
};
template<class ... Types> struct Y {
static const unsigned value = 0;
};
template<class T, class ... Types> struct Y<T, Types& ...> {
static const unsigned value = 1;
};
template<class ... Types> int f(void (*)(Types ...));
void g(int, float);
int check0[X<int>::value == 0? 1 : -1]; // uses primary template
int check1[X<int(int, float, double)>::value == 1? 1 : -1]; // uses partial specialization
int check2[X<int(float, int)>::value == 0? 1 : -1]; // uses primary template
int check3[Y<>::value == 0? 1 : -1]; // uses primary template
int check4[Y<int&, float&, double&>::value == 1? 1 : -1]; // uses partial specialization
int check5[Y<int, float, double>::value == 0? 1 : -1]; // uses primary template
int fv = f(g); // okay