Hi all,<br><br>Given an mpl sequence of types such as:
typedef mpl::vector&lt;T0, T1, T2, T3&gt; arg_types;<br>
<br>
1) the users of my library provide functors such as F (where T0 and T1
may have been any of the types of arg_types:<br>
<br>
class F {<br>
  typedef mpl::pair&lt;T0,T1&gt; signature_type;<br>
  double operator()(const T0&amp; t0, T1&amp; t1);<br>
};<br>
is there a way to generate signature_type automatically ?<br>
<br>
2) if the operator() is overloaded, the user class currently has to
typedef an mpl::vector of mpl::pairs such as<br>
<br>
class G {<br>
  typedef mpl::vector&lt;mpl::pair&lt;T2,T3&gt;, mpl::pair&lt;T1,T1&gt;, mpl::pair&lt;T3,T1&gt; &gt; signature_type;<br><div>
  double operator()(const T2&amp; t2, T3&amp; t3);<br>
  double operator()(const T1&amp; t1, T1&amp; t1);<br>
  double operator()(const T3&amp; t3, T1&amp; t1);<br>
};<br>
<br>
in this case, is it also possible to generate signature_type automatically ?<br><br>Regrads,<br><br>Olivier<br></div>