Dadas as afirmativas sobre o paradigma orientado a objetos e as linguagens Java e C++,

I. O uso de artifícios como Templates (de C++) ou Generics (de Java) é considerado um tipo particular de polimorfismo, denominado polimorfismo paramétrico.

II. Em linguagens orientadas a objetos somente existem três tipos de polimorfismo.

III. Apesar de aumentar a flexibilidade do software, o uso de polimorfismo é desaconselhado, uma vez que prejudica a segurança do sistema.

verifica-se que está(ão) correta(s)