111
|
1 // { dg-do compile { target c++11 } }
|
|
2 template<typename R, typename... ArgTypes>
|
|
3 struct make_function_type
|
|
4 {
|
|
5 typedef R type(const ArgTypes&......);
|
|
6 };
|
|
7
|
|
8 template<typename T, typename U>
|
|
9 struct is_same {
|
|
10 static const bool value = false;
|
|
11 };
|
|
12
|
|
13 template<typename T>
|
|
14 struct is_same<T, T> {
|
|
15 static const bool value = true;
|
|
16 };
|
|
17
|
|
18 int a0[is_same<make_function_type<int>::type, int(...)>::value? 1 : -1];
|
|
19 int a1[is_same<make_function_type<int, float>::type, int(const float&...)>::value? 1 : -1];
|
|
20 int a2[is_same<make_function_type<int, float>::type, int(const float&,...)>::value? 1 : -1];
|
|
21 int a3[is_same<make_function_type<int, float, double>::type, int(const float&, double const&...)>::value? 1 : -1];
|