Here's my situation: I have a template for a virtual class, with one templated friend global function, and one pure virtual function which the global function tries to call through a pointer to ...

Here I once more bravely assert that no such increases occur, and will offer side-by-side comparison as proof. Inheritance The form of polymorphism by inheritance used by C++ is subtyping.