gcc/testsuite/g++.dg/cpp0x/variadic75.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

// { dg-options "-std=gnu++0x" }

template<typename...> struct tuple { };

template<template<typename T> class Meta, typename... Values>
struct apply_all
{
  typedef tuple<typename Meta<Values>::type...> type;
};

template<typename T, typename U>
struct is_same {
  static const bool value = false;
};

template<typename T>
struct is_same<T, T> {
  static const bool value = true;
};

template<typename T>
struct add_reference {
  typedef T& type;
};

template<typename T>
struct add_reference<T&> {
  typedef T& type;
};

static_assert(is_same<apply_all<add_reference, int, int&, float>::type,
 	                        tuple<int&, int&, float&> >::value, 
	      "check apply");