Twenty-three years ago, in his Design Principles and Design Patterns article, Robert "Uncle Bob" Martin boiled down the Liskov substitution principle to the idea that "derived classes should be ...

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 the ...