As explained here, it is possible to perform a compile-time check using templates for whether a function with a given name and signature exists in a class.
Can we verify that a function exists with a given name and signature and that, in addition, it's virtual
?