O documento discute conceitos de programação orientada a objetos como polimorfismo universal por inclusão e vtables. Também aborda polimorfismo universal paramétrico e como ele é implementado em C++ através de templates e em Java através de generics e autoboxing, apesar da erasure de tipos em Java.

1. Paradigmas de Linguagens de Programação Paradigma Orientado a Objetos Aula #8 (CopyLeft)2010 - Ismar Frango ismarfrango@gmail.com

2. (More) Small talk ‘bout polymorphism... PUI Um objeto pode ser visto como pertencendo a diferentes classes que não precisam ser disjuntas Animal Polimorfismo Universal por Inclusão Consequências: necessidade de herança, possibilidade de sobreposição, late binding...

3. Vtables http://www.learncpp.com/cpp-tutorial/125-the-virtual-table/

4. Vtables (cont.) cClass obj (D1) __vptr pClass ptr (Base)

5. “ People think of security as a noun, something you go buy. In reality, it's an abstract concept like happiness. Openness is unbelievably helpful to security.” James Gosling Polimorfismo Universal Paramétrico P.U.P. Uma função ou uma classe que siga o polimorfismo universal paramétrico tem um parâmetro de tipo (implícito ou explícito), que determina o tipo de argumento para cada aplicação dessa função/classe. List < >

6. C++: template function members Definição da template pelo programador Chamada de função Instanciação de função pelo pré-processador Algo que, neste caso, uma macro faria

7. Java: Template methods ?  ? 

8. Java: Generics e autoboxing ? 

9. Java: Generics & Type Erasure ?  ? 