1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// { dg-options "-std=gnu++0x" }
template<class> struct X { static const bool primary = true; };
template<class R, class... ArgTypes> struct X<R(int, ArgTypes...)> {
static const bool primary = false;
};
template<class... Types> struct Y { static const bool primary = true; };
template<class T, class... Types> struct Y<T, Types&...> {
static const bool primary = false;
};
static_assert (X<int>::primary, "uses primary template");
static_assert (!X<int(int, float, double)>::primary,
"uses partial specialization");
static_assert (X<int(float, int)>::primary, "uses primary template");
static_assert (Y<>::primary, "uses primary template");
static_assert (!Y<int&, float&, double&>::primary,
"uses partial specialization");
static_assert (Y<int, float, double>::primary, "uses primary template");
|
