Re: double dispatch, half compile-time

From:

Ethan Eade <ee231@cam.ac.uk>

Newsgroups:

comp.lang.c++.moderated

Date:

Fri, 2 Mar 2007 18:45:44 CST

Message-ID:

<vp2Gh.1493$Yv5.1465@newsfe3-win.ntli.net>

Radu,

One solution would probably be to use External Polymorphism, like:

[snipped]

int main()
{
    Variant v;
    Value<int> val;
    Adapter<Variant, long> av(v);
    I<long> *iV = &av;
    Adapter<Value<int>, long> aval(val);
    I<long> *iVal = &aval;

Right here you have assumed simultaneous explicit knowledge at compile
time of both int (Value<int>) and long (A == long). Once you have this,
the solution is easy (as you have shown). The problem is that I don't
have that. I know A at compile time, but I only know T up to abstract
base class:

template <class A> void single_bound(A& a, const Variant& v)
{
    // what can I do here to turn v into Adapter<A,Value<T> > ?
}

So unfortunately, your suggestion might be useful when you know A at the
time of the creation of the Variant, but not when A is supplied elsewhere.

Thanks,
Ethan

--
      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]