Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

boost::any and templates

I'm writing a library which involves a good amount of both template trickery and boost::any. I've run into a situation where I essentially have this:

boost::any a1, a2, a3, a4;

... and I need to call a function which looks like this:

template <typename A1, typename A2, typename A3, typename A4>
void somefunc (A1 a1, A2 a2, A3 a3, A4 a4);

I could resort to an obscenely nested series of if statements, but assuming I'm handling 10 distinct types, that's 10,000 if statements! Boost preprocessor could help here, but this is still a horrible solution.

Is there a better way to call a templated function with the contents of a boost::any without resorting to this sort of madness? As far as I can tell, there is not.

like image 641
Xtapolapocetl Avatar asked Feb 27 '13 00:02

Xtapolapocetl


1 Answers

If all your any objects can be set at the same time, you can just hard-code the type for the function pointer then and there. Stuff it all into a seperate object and you're good to go. This is basically a double-take on type-erasure, and could also be implemented through virtual functions (like how boost::any works internally), but I like this version more:

// note that this can easily be adapted to boost::tuple and variadic templates
struct any_container{
  template<class T1, class T3, class T3>
  any_container(T1 const& a1, T2 const& a2, T3 const& a3)
    : _ichi(a1), _ni(a2), _san(a3), _somefunc(&somefunc<T1, T2, T3>) {}

  void call(){ _somefunc(_ichi, _ni, _san); }

private:
  boost::any _ichi, _ni, _san;
  // adjust to your need
  typedef void (*func_type)(boost::any&, boost::any&, boost::any&);
  func_type _somefunc;

  template<class T1, class T2, class T3>
  void somefunc(boost::any& a1, boost::any& a2, boost::any& a3){
    // access any objects with 'boost::any_cast<TN>(aN)'
  }
};
like image 151
Xeo Avatar answered Sep 27 '22 21:09

Xeo