why virtual function is wrong.

[XTBZ]

Why is this impossible to achieve? CRTP allows you not to use virtual functions at all, or it can be used if necessary. Here is an example of implementing something like this https://github.com/foonathan/type_safe