Subject: Re: [boost] virtual function templates
Date: 2010-02-20 08:49:41
Zitat von Mathias Gaunard <mathias.gaunard_at_[hidden]>:
>> real virtual function templates are obviously not possible without
>> a JIT-compiler
> Wrong, you would just need to do link-time template instantiation,
> which is actually required by the C++ standard (but few implement
> it, and none had the idea to use it to implement virtual template
> functions as an extension).
right, probably because it wouldn't work across DLLs.
>> but if all derived types are known to the base type,
> Then you might as well use Boost.Variant.
it is similar from an implementation viewpoint, but the interface is
take e.g. a base class with a number of virtual functions
virtual void f();
virtual void g();
and then you'd want to add a template parameter to one of them. this
would require you to refactor every use of class A to use
not an option imho.
>> the runtime overhead besides the virtual call is one switch().
> It should be possible to be just a switch and no virtual call.
if you store the index of the most derived class in the base class, yes.
but construction is more difficult that way, and my example also
requires that every vtemplate is overwritten in a derived class. if
you extend this so that functions can be optionally overwritten (like
any regular virtual function) you'd have to store an index for each
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk