From our study of C++, it should be clear that, unlike class encapsulation and single inheritance, which were essentially free in C, polymorphism in C involves some complexity and overhead. In the ...

Not really, 'cos it only covers inheritance and virtual functions (inclusion polymorphism). It neglects templates (parametric polymorphism), overloaded functions (ad hoc polymorphism), or implicit ...