Dynamic templated virtuals - I still often want them

[Adam D. Ruppe]

On Thursday, 23 July 2020 at 10:18:34 UTC, Arafel wrote:
> This can obviously not be resolved at compile time (where the 
> template `this` parameter works).
>
> For runtime resolution you can already use `typeid(this)`, and 
> this (this time yes) works:

Right. Part of my drive here is to provide features typeid 
currently doesn't; if you can auto-instantiate a template in 
child classes to implement a normal virtual interface, then we 
can bridge the CT and RT worlds very, very easily and create new 
things as-needed.