You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
73 lines
1.4 KiB
73 lines
1.4 KiB
#if defined(__GNUC__) && ((__GNUC__ * 100 + __GNUC_MINOR__) < 407)
|
|
# define OLD_GNU
|
|
#endif
|
|
|
|
#ifdef OLD_GNU
|
|
template <int... Is>
|
|
struct Interface;
|
|
#endif
|
|
|
|
template <int I, int... Is>
|
|
struct Interface
|
|
#ifdef OLD_GNU
|
|
<I, Is...>
|
|
#endif
|
|
{
|
|
static int accumulate() { return I + Interface<Is...>::accumulate(); }
|
|
};
|
|
|
|
template <int I>
|
|
struct Interface<I>
|
|
{
|
|
static int accumulate() { return I; }
|
|
};
|
|
|
|
// Note: split this into a separate test if a
|
|
// cxx_variadic_template_template_parameters feature is added.
|
|
|
|
template <typename T>
|
|
struct eval
|
|
{
|
|
enum
|
|
{
|
|
Matched = 0
|
|
};
|
|
};
|
|
|
|
template <template <typename...> class T, typename... U>
|
|
struct eval<T<U...>>
|
|
{
|
|
enum
|
|
{
|
|
Matched = 1
|
|
};
|
|
};
|
|
|
|
template <typename...>
|
|
struct A
|
|
{
|
|
};
|
|
template <typename T>
|
|
struct B
|
|
{
|
|
};
|
|
template <typename T, typename U>
|
|
struct C
|
|
{
|
|
};
|
|
template <typename T, typename U, typename...>
|
|
struct D
|
|
{
|
|
};
|
|
|
|
// Note: This test assumes that a compiler supporting this feature
|
|
// supports static_assert. Add a workaround if that does not hold.
|
|
static_assert(eval<A<>>::Matched, "A Matches");
|
|
static_assert(eval<A<int>>::Matched, "A Matches");
|
|
static_assert(eval<A<int, char>>::Matched, "A Matches");
|
|
static_assert(eval<B<int>>::Matched, "B Matches");
|
|
static_assert(eval<C<int, char>>::Matched, "C Matches");
|
|
static_assert(eval<D<int, char>>::Matched, "D Matches");
|
|
static_assert(eval<D<int, char, bool>>::Matched, "D Matches");
|
|
static_assert(eval<D<int, char, bool, double>>::Matched, "D Matches");
|