Reapplies all the IPC system work (reverts the revert r56272).

base/tuple.h

 // Copyright (c) 2006-2008 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // A Tuple is a generic templatized container, similar in concept to std::pair.
 // There are classes Tuple0 to Tuple6, cooresponding to the number of elements
 // it contains.  The convenient MakeTuple() function takes 0 to 6 arguments,
 // and will construct and return the appropriate Tuple object.  The functions
 // DispatchToMethod and DispatchToFunction take a function pointer or instance
 // and method pointer, and unpack a tuple into arguments to the call.
@@ skipping 34 matching lines @@
   typedef const P& ParamType;
 };
 
 template <class P>
 struct TupleTraits<P&> {
   typedef P ValueType;
   typedef P& RefType;
   typedef P& ParamType;
 };
 
+template <class P>
+struct TupleTypes { };
+
 // Tuple -----------------------------------------------------------------------
 //
 // This set of classes is useful for bundling 0 or more heterogeneous data types
 // into a single variable.  The advantage of this is that it greatly simplifies
 // function objects that need to take an arbitrary number of parameters; see
 // RunnableMethod and IPC::MessageWithTuple.
 //
 // Tuple0 is supplied to act as a 'void' type.  It can be used, for example,
 // when dispatching to a function that accepts no arguments (see the
 // Dispatchers below).
 // Tuple1<A> is rarely useful.  One such use is when A is non-const ref that you
 // want filled by the dispatchee, and the tuple is merely a container for that
 // output (a "tier").  See MakeRefTuple and its usages.
 
 struct Tuple0 {
   typedef Tuple0 ValueTuple;
   typedef Tuple0 RefTuple;
   typedef Tuple0 ParamTuple;
 };
 
 template <class A>
 struct Tuple1 {
  public:
   typedef A TypeA;
-  typedef Tuple1<typename TupleTraits<A>::ValueType> ValueTuple;
-  typedef Tuple1<typename TupleTraits<A>::RefType> RefTuple;
-  typedef Tuple1<typename TupleTraits<A>::ParamType> ParamTuple;
 
   Tuple1() {}
   explicit Tuple1(typename TupleTraits<A>::ParamType a) : a(a) {}
 
   A a;
 };
 
 template <class A, class B>
 struct Tuple2 {
  public:
   typedef A TypeA;
   typedef B TypeB;
-  typedef Tuple2<typename TupleTraits<A>::ValueType,
-                 typename TupleTraits<B>::ValueType> ValueTuple;
-  typedef Tuple2<typename TupleTraits<A>::RefType,
-                 typename TupleTraits<B>::RefType> RefTuple;
-  typedef Tuple2<typename TupleTraits<A>::ParamType,
-                 typename TupleTraits<B>::ParamType> ParamTuple;
 
   Tuple2() {}
   Tuple2(typename TupleTraits<A>::ParamType a,
          typename TupleTraits<B>::ParamType b)
       : a(a), b(b) {
   }
 
   A a;
   B b;
 };
 
 template <class A, class B, class C>
 struct Tuple3 {
  public:
   typedef A TypeA;
   typedef B TypeB;
   typedef C TypeC;
-  typedef Tuple3<typename TupleTraits<A>::ValueType,
-                 typename TupleTraits<B>::ValueType,
-                 typename TupleTraits<C>::ValueType> ValueTuple;
-  typedef Tuple3<typename TupleTraits<A>::RefType,
-                 typename TupleTraits<B>::RefType,
-                 typename TupleTraits<C>::RefType> RefTuple;
-  typedef Tuple3<typename TupleTraits<A>::ParamType,
-                 typename TupleTraits<B>::ParamType,
-                 typename TupleTraits<C>::ParamType> ParamTuple;
 
   Tuple3() {}
   Tuple3(typename TupleTraits<A>::ParamType a,
          typename TupleTraits<B>::ParamType b,
          typename TupleTraits<C>::ParamType c)
       : a(a), b(b), c(c){
   }
 
   A a;
   B b;
   C c;
 };
 
 template <class A, class B, class C, class D>
 struct Tuple4 {
  public:
   typedef A TypeA;
   typedef B TypeB;
   typedef C TypeC;
   typedef D TypeD;
-  typedef Tuple4<typename TupleTraits<A>::ValueType,
-                 typename TupleTraits<B>::ValueType,
-                 typename TupleTraits<C>::ValueType,
-                 typename TupleTraits<D>::ValueType> ValueTuple;
-  typedef Tuple4<typename TupleTraits<A>::RefType,
-                 typename TupleTraits<B>::RefType,
-                 typename TupleTraits<C>::RefType,
-                 typename TupleTraits<D>::RefType> RefTuple;
-  typedef Tuple4<typename TupleTraits<A>::ParamType,
-                 typename TupleTraits<B>::ParamType,
-                 typename TupleTraits<C>::ParamType,
-                 typename TupleTraits<D>::ParamType> ParamTuple;
 
   Tuple4() {}
   Tuple4(typename TupleTraits<A>::ParamType a,
          typename TupleTraits<B>::ParamType b,
          typename TupleTraits<C>::ParamType c,
          typename TupleTraits<D>::ParamType d)
       : a(a), b(b), c(c), d(d) {
   }
 
   A a;
   B b;
   C c;
   D d;
 };
 
 template <class A, class B, class C, class D, class E>
 struct Tuple5 {
  public:
   typedef A TypeA;
   typedef B TypeB;
   typedef C TypeC;
   typedef D TypeD;
   typedef E TypeE;
-  typedef Tuple5<typename TupleTraits<A>::ValueType,
-    typename TupleTraits<B>::ValueType,
-    typename TupleTraits<C>::ValueType,
-    typename TupleTraits<D>::ValueType,
-    typename TupleTraits<E>::ValueType> ValueTuple;
-  typedef Tuple5<typename TupleTraits<A>::RefType,
-    typename TupleTraits<B>::RefType,
-    typename TupleTraits<C>::RefType,
-    typename TupleTraits<D>::RefType,
-    typename TupleTraits<E>::RefType> RefTuple;
-  typedef Tuple5<typename TupleTraits<A>::ParamType,
-    typename TupleTraits<B>::ParamType,
-    typename TupleTraits<C>::ParamType,
-    typename TupleTraits<D>::ParamType,
-    typename TupleTraits<E>::ParamType> ParamTuple;
 
   Tuple5() {}
   Tuple5(typename TupleTraits<A>::ParamType a,
     typename TupleTraits<B>::ParamType b,
     typename TupleTraits<C>::ParamType c,
     typename TupleTraits<D>::ParamType d,
     typename TupleTraits<E>::ParamType e)
     : a(a), b(b), c(c), d(d), e(e) {
   }
 
   A a;
   B b;
   C c;
   D d;
   E e;
 };
 
 template <class A, class B, class C, class D, class E, class F>
 struct Tuple6 {
  public:
   typedef A TypeA;
   typedef B TypeB;
   typedef C TypeC;
   typedef D TypeD;
   typedef E TypeE;
   typedef F TypeF;
-  typedef Tuple6<typename TupleTraits<A>::ValueType,
-    typename TupleTraits<B>::ValueType,
-    typename TupleTraits<C>::ValueType,
-    typename TupleTraits<D>::ValueType,
-    typename TupleTraits<E>::ValueType,
-    typename TupleTraits<F>::ValueType> ValueTuple;
-  typedef Tuple6<typename TupleTraits<A>::RefType,
-    typename TupleTraits<B>::RefType,
-    typename TupleTraits<C>::RefType,
-    typename TupleTraits<D>::RefType,
-    typename TupleTraits<E>::RefType,
-    typename TupleTraits<F>::RefType> RefTuple;
-  typedef Tuple6<typename TupleTraits<A>::ParamType,
-    typename TupleTraits<B>::ParamType,
-    typename TupleTraits<C>::ParamType,
-    typename TupleTraits<D>::ParamType,
-    typename TupleTraits<E>::ParamType,
-    typename TupleTraits<F>::ParamType> ParamTuple;
 
   Tuple6() {}
   Tuple6(typename TupleTraits<A>::ParamType a,
     typename TupleTraits<B>::ParamType b,
     typename TupleTraits<C>::ParamType c,
     typename TupleTraits<D>::ParamType d,
     typename TupleTraits<E>::ParamType e,
     typename TupleTraits<F>::ParamType f)
     : a(a), b(b), c(c), d(d), e(e), f(f) {
   }
 
   A a;
   B b;
   C c;
   D d;
   E e;
   F f;
 };
 
 template <class A, class B, class C, class D, class E, class F, class G>
 struct Tuple7 {
  public:
   typedef A TypeA;
   typedef B TypeB;
   typedef C TypeC;
   typedef D TypeD;
   typedef E TypeE;
   typedef F TypeF;
   typedef G TypeG;
-  typedef Tuple7<typename TupleTraits<A>::ValueType,
-    typename TupleTraits<B>::ValueType,
-    typename TupleTraits<C>::ValueType,
-    typename TupleTraits<D>::ValueType,
-    typename TupleTraits<E>::ValueType,
-    typename TupleTraits<F>::ValueType,
-    typename TupleTraits<G>::ValueType> ValueTuple;
-  typedef Tuple7<typename TupleTraits<A>::RefType,
-    typename TupleTraits<B>::RefType,
-    typename TupleTraits<C>::RefType,
-    typename TupleTraits<D>::RefType,
-    typename TupleTraits<E>::RefType,
-    typename TupleTraits<F>::RefType,
-    typename TupleTraits<G>::RefType> RefTuple;
-  typedef Tuple7<typename TupleTraits<A>::ParamType,
-    typename TupleTraits<B>::ParamType,
-    typename TupleTraits<C>::ParamType,
-    typename TupleTraits<D>::ParamType,
-    typename TupleTraits<E>::ParamType,
-    typename TupleTraits<F>::ParamType,
-    typename TupleTraits<G>::ParamType> ParamTuple;
 
   Tuple7() {}
   Tuple7(typename TupleTraits<A>::ParamType a,
     typename TupleTraits<B>::ParamType b,
     typename TupleTraits<C>::ParamType c,
     typename TupleTraits<D>::ParamType d,
     typename TupleTraits<E>::ParamType e,
     typename TupleTraits<F>::ParamType f,
     typename TupleTraits<G>::ParamType g)
     : a(a), b(b), c(c), d(d), e(e), f(f), g(g) {
@@ skipping 13 matching lines @@
 struct Tuple8 {
  public:
   typedef A TypeA;
   typedef B TypeB;
   typedef C TypeC;
   typedef D TypeD;
   typedef E TypeE;
   typedef F TypeF;
   typedef G TypeG;
   typedef H TypeH;
-  typedef Tuple8<typename TupleTraits<A>::ValueType,
-    typename TupleTraits<B>::ValueType,
-    typename TupleTraits<C>::ValueType,
-    typename TupleTraits<D>::ValueType,
-    typename TupleTraits<E>::ValueType,
-    typename TupleTraits<F>::ValueType,
-    typename TupleTraits<G>::ValueType,
-    typename TupleTraits<H>::ValueType> ValueTuple;
-  typedef Tuple8<typename TupleTraits<A>::RefType,
-    typename TupleTraits<B>::RefType,
-    typename TupleTraits<C>::RefType,
-    typename TupleTraits<D>::RefType,
-    typename TupleTraits<E>::RefType,
-    typename TupleTraits<F>::RefType,
-    typename TupleTraits<G>::RefType,
-    typename TupleTraits<H>::RefType> RefTuple;
-  typedef Tuple8<typename TupleTraits<A>::ParamType,
-    typename TupleTraits<B>::ParamType,
-    typename TupleTraits<C>::ParamType,
-    typename TupleTraits<D>::ParamType,
-    typename TupleTraits<E>::ParamType,
-    typename TupleTraits<F>::ParamType,
-    typename TupleTraits<G>::ParamType,
-    typename TupleTraits<H>::ParamType> ParamTuple;
 
   Tuple8() {}
   Tuple8(typename TupleTraits<A>::ParamType a,
     typename TupleTraits<B>::ParamType b,
     typename TupleTraits<C>::ParamType c,
     typename TupleTraits<D>::ParamType d,
     typename TupleTraits<E>::ParamType e,
     typename TupleTraits<F>::ParamType f,
     typename TupleTraits<G>::ParamType g,
     typename TupleTraits<H>::ParamType h)
     : a(a), b(b), c(c), d(d), e(e), f(f), g(g), h(h) {
   }
 
   A a;
   B b;
   C c;
   D d;
   E e;
   F f;
   G g;
   H h;
 };
 
+// Tuple types ----------------------------------------------------------------
+//
+// Allows for selection of ValueTuple/RefTuple/ParamTuple without needing the
+// definitions of class types the tuple takes as parameters.
+
+template <>
+struct TupleTypes< Tuple0 > {
+  typedef Tuple0 ValueTuple;
+  typedef Tuple0 RefTuple;
+  typedef Tuple0 ParamTuple;
+};
+
+template <class A>
+struct TupleTypes< Tuple1<A> > {
+  typedef Tuple1<typename TupleTraits<A>::ValueType> ValueTuple;
+  typedef Tuple1<typename TupleTraits<A>::RefType> RefTuple;
+  typedef Tuple1<typename TupleTraits<A>::ParamType> ParamTuple;
+};
+
+template <class A, class B>
+struct TupleTypes< Tuple2<A, B> > {
+  typedef Tuple2<typename TupleTraits<A>::ValueType,
+                 typename TupleTraits<B>::ValueType> ValueTuple;
+typedef Tuple2<typename TupleTraits<A>::RefType,
+               typename TupleTraits<B>::RefType> RefTuple;
+  typedef Tuple2<typename TupleTraits<A>::ParamType,
+                 typename TupleTraits<B>::ParamType> ParamTuple;
+};
+
+template <class A, class B, class C>
+struct TupleTypes< Tuple3<A, B, C> > {
+  typedef Tuple3<typename TupleTraits<A>::ValueType,
+                 typename TupleTraits<B>::ValueType,
+                 typename TupleTraits<C>::ValueType> ValueTuple;
+typedef Tuple3<typename TupleTraits<A>::RefType,
+               typename TupleTraits<B>::RefType,
+               typename TupleTraits<C>::RefType> RefTuple;
+  typedef Tuple3<typename TupleTraits<A>::ParamType,
+                 typename TupleTraits<B>::ParamType,
+                 typename TupleTraits<C>::ParamType> ParamTuple;
+};
+
+template <class A, class B, class C, class D>
+struct TupleTypes< Tuple4<A, B, C, D> > {
+  typedef Tuple4<typename TupleTraits<A>::ValueType,
+                 typename TupleTraits<B>::ValueType,
+                 typename TupleTraits<C>::ValueType,
+                 typename TupleTraits<D>::ValueType> ValueTuple;
+typedef Tuple4<typename TupleTraits<A>::RefType,
+               typename TupleTraits<B>::RefType,
+               typename TupleTraits<C>::RefType,
+               typename TupleTraits<D>::RefType> RefTuple;
+  typedef Tuple4<typename TupleTraits<A>::ParamType,
+                 typename TupleTraits<B>::ParamType,
+                 typename TupleTraits<C>::ParamType,
+                 typename TupleTraits<D>::ParamType> ParamTuple;
+};
+
+template <class A, class B, class C, class D, class E>
+struct TupleTypes< Tuple5<A, B, C, D, E> > {
+  typedef Tuple5<typename TupleTraits<A>::ValueType,
+                 typename TupleTraits<B>::ValueType,
+                 typename TupleTraits<C>::ValueType,
+                 typename TupleTraits<D>::ValueType,
+                 typename TupleTraits<E>::ValueType> ValueTuple;
+typedef Tuple5<typename TupleTraits<A>::RefType,
+               typename TupleTraits<B>::RefType,
+               typename TupleTraits<C>::RefType,
+               typename TupleTraits<D>::RefType,
+               typename TupleTraits<E>::RefType> RefTuple;
+  typedef Tuple5<typename TupleTraits<A>::ParamType,
+                 typename TupleTraits<B>::ParamType,
+                 typename TupleTraits<C>::ParamType,
+                 typename TupleTraits<D>::ParamType,
+                 typename TupleTraits<E>::ParamType> ParamTuple;
+};
+
+template <class A, class B, class C, class D, class E, class F>
+struct TupleTypes< Tuple6<A, B, C, D, E, F> > {
+  typedef Tuple6<typename TupleTraits<A>::ValueType,
+                 typename TupleTraits<B>::ValueType,
+                 typename TupleTraits<C>::ValueType,
+                 typename TupleTraits<D>::ValueType,
+                 typename TupleTraits<E>::ValueType,
+                 typename TupleTraits<F>::ValueType> ValueTuple;
+typedef Tuple6<typename TupleTraits<A>::RefType,
+               typename TupleTraits<B>::RefType,
+               typename TupleTraits<C>::RefType,
+               typename TupleTraits<D>::RefType,
+               typename TupleTraits<E>::RefType,
+               typename TupleTraits<F>::RefType> RefTuple;
+  typedef Tuple6<typename TupleTraits<A>::ParamType,
+                 typename TupleTraits<B>::ParamType,
+                 typename TupleTraits<C>::ParamType,
+                 typename TupleTraits<D>::ParamType,
+                 typename TupleTraits<E>::ParamType,
+                 typename TupleTraits<F>::ParamType> ParamTuple;
+};
+
+template <class A, class B, class C, class D, class E, class F, class G>
+struct TupleTypes< Tuple7<A, B, C, D, E, F, G> > {
+  typedef Tuple7<typename TupleTraits<A>::ValueType,
+                 typename TupleTraits<B>::ValueType,
+                 typename TupleTraits<C>::ValueType,
+                 typename TupleTraits<D>::ValueType,
+                 typename TupleTraits<E>::ValueType,
+                 typename TupleTraits<F>::ValueType,
+                 typename TupleTraits<G>::ValueType> ValueTuple;
+typedef Tuple7<typename TupleTraits<A>::RefType,
+               typename TupleTraits<B>::RefType,
+               typename TupleTraits<C>::RefType,
+               typename TupleTraits<D>::RefType,
+               typename TupleTraits<E>::RefType,
+               typename TupleTraits<F>::RefType,
+               typename TupleTraits<G>::RefType> RefTuple;
+  typedef Tuple7<typename TupleTraits<A>::ParamType,
+                 typename TupleTraits<B>::ParamType,
+                 typename TupleTraits<C>::ParamType,
+                 typename TupleTraits<D>::ParamType,
+                 typename TupleTraits<E>::ParamType,
+                 typename TupleTraits<F>::ParamType,
+                 typename TupleTraits<G>::ParamType> ParamTuple;
+};
+
+template <class A, class B, class C, class D, class E, class F, class G,
+          class H>
+struct TupleTypes< Tuple8<A, B, C, D, E, F, G, H> > {
+  typedef Tuple8<typename TupleTraits<A>::ValueType,
+                 typename TupleTraits<B>::ValueType,
+                 typename TupleTraits<C>::ValueType,
+                 typename TupleTraits<D>::ValueType,
+                 typename TupleTraits<E>::ValueType,
+                 typename TupleTraits<F>::ValueType,
+                 typename TupleTraits<G>::ValueType,
+                 typename TupleTraits<H>::ValueType> ValueTuple;
+typedef Tuple8<typename TupleTraits<A>::RefType,
+               typename TupleTraits<B>::RefType,
+               typename TupleTraits<C>::RefType,
+               typename TupleTraits<D>::RefType,
+               typename TupleTraits<E>::RefType,
+               typename TupleTraits<F>::RefType,
+               typename TupleTraits<G>::RefType,
+               typename TupleTraits<H>::RefType> RefTuple;
+  typedef Tuple8<typename TupleTraits<A>::ParamType,
+                 typename TupleTraits<B>::ParamType,
+                 typename TupleTraits<C>::ParamType,
+                 typename TupleTraits<D>::ParamType,
+                 typename TupleTraits<E>::ParamType,
+                 typename TupleTraits<F>::ParamType,
+                 typename TupleTraits<G>::ParamType,
+                 typename TupleTraits<H>::ParamType> ParamTuple;
+};
+
 // Tuple creators -------------------------------------------------------------
 //
 // Helper functions for constructing tuples while inferring the template
 // argument types.
 
 inline Tuple0 MakeTuple() {
   return Tuple0();
 }
 
 template <class A>
@@ skipping 608 matching lines @@
          class InA, class InB, class InC, class InD, class InE, class InF,
          class OutA, class OutB, class OutC, class OutD, class OutE>
 inline void DispatchToMethod(ObjT* obj, Method method,
                              const Tuple6<InA, InB, InC, InD, InE, InF>& in,
                              Tuple5<OutA, OutB, OutC, OutD, OutE>* out) {
   (obj->*method)(in.a, in.b, in.c, in.d, in.e, in.f,
                  &out->a, &out->b, &out->c, &out->d, &out->e);
 }
 
 #endif  // BASE_TUPLE_H__