Re: [boost] [type_erasure] call with multiple placeholders

24 Jul 2014

      AMDG

On 07/24/2014 04:12 PM, Benedek Thaler wrote:
...
Hi,
I have the following type erasure setup:
https://github.com/erenon/pipeline/blob/type_erasure/include/boost/pipeline/...
I'd like to make `any` have a method template, `connect_to`, i.e:
class any {
  template <typename T> auto connect_to(const T&) {}
}
I'm not exactly sure what you're trying to do, but
I'm pretty sure that it's impossible for the same
reason that:

class Base {
  template<class T>
  virtual auto connect_to(const T&) = 0;
};

is impossible.

What you can do is to define connect_to as

void connect_to(any<some_concept, const _self&>);

if establish precisely what the requirements on the
argument are.

In Christ,
Steven Watanabe