Atenção: esse artigo tem uma palestra complementar. Clique e assista!

Um dos novos recursos do Delphi são Generics. Eles são similares aos templates do C++, mas não totalmente idênticos, por isso não vamos compará-los. São mais parecidos com os Generics do C#, então quem já está familiarizado com o ambiente .NET não sentirá dificuldades em usá-los no Delphi, e ainda ficará feliz em saber que agora podemos desfrutar desse recurso em um compilador de executáveis Win32 nativos.

Generics é um tipo de dado flexível. São tipos parametrizados, ou, mais claramente, parâmetros-tipo, que podem ser definidos em design. Não devemos confundir os parâmetros genéricos com os tipos propriamente ditos. Generics não são tipos, são parâmetros. Assim como os parâmetros ou argumentos de um método são substituídos por um valor, o parâmetro do tipo genérico é substituído por um tipo. Os Generics fornecem uma nova forma de flexibilização dos nossos sistemas, para somar-se às formas que nós já conhecemos, como interfaces, padrões de projeto e RTTI.

Podemos criar métodos com argumentos cujos tipos podem ser indefinidos, assim, podemos trocar o tipo de dado que o método usa cada vez que precisarmos, sem ter a obrigação de criar vários métodos diferentes. Também é possível criar classes que podem virtualmente se conectar com quaisquer outras, porque contém métodos ou propriedades que aceitam dados de qualquer tipo.

Você pode argumentar que sempre fez isso usando Variants quando o tipo de dado era um tipo primitivo, ou um objeto da classe TObject quando o tipo fosse uma classe qualquer. Porém, nesses casos, você era obrigado a usar os comandos da RTTI “is” e “as” para tentar fazer um TypeCast seguro, ou disparar uma exceção caso o tipo não fosse o correto. Nem sempre você conseguiria o tipo correto e isso era causa de erros no seu código.

Outras vezes, para flexibilizar a passagem de parâmetros entre os objetos, porém limitando para que não fosse usado qualquer tipo, nós usaríamos interfaces. Fazendo com que vários objetos implementassem a mesma interface você poderia intercambiá-los à vontade, ainda com a vantagem de acesso a todos os métodos da interface, do AutoComplete em tempo de design, no IDE, e da notificação de algum erro na hora da compilação.

Então, para que Generics?

Generics permitem que o tipo de dado passado seja um tipo primitivo, como Integer ou Double, ou um objeto de uma classe, ou ainda um tipo estruturado como um Record. Além disso, caso você informar o tipo errado, você receberá a mensagem de erro na hora da compilação, e não em tempo de execução, com o programa em produção, causando um Access Violation. E ainda tem a vantagem de ter acesso a todas as informações do objeto em tempo de Design, através do AutoComplete.

Na maioria dos casos usam-se os tipos genéricos para se compor listas de objetos, ou objetos que contêm outros. O Delphi já vem com algumas classes em suas bibliotecas que usam Generics, mais adiante falaremos delas.

Primeiro exemplo com Generics

O primeiro exemplo mostra como é a sintaxe para se criar um método genérico. Vamos criar um novo projeto VCL Forms para Win32 e dar o nome de ConhecendoGenerics.dpr ao projeto e frmGenerics para a Form principal. Criaremos na unit principal duas classes: TPessoa e TOperacao. A classe pessoa terá apenas a propriedade Nome e o método DigaOla. A classe TOperacao terá um método para trocar dois objetos do tipo TPessoa. Vamos adicionar um botão no formulário, chamado btEx1 com o Caption “Exemplo 1” para executar as operações. A classe TPessoa terá um construtor especial onde poderemos inicializar sua propriedade Nome. Então o nome da pessoa poderá ser alterado tanto ao se instanciar o objeto quanto ao mudar sua propriedade Nome. O construtor especial marcamos como overload porque, como a classe é descendente de Tobject, ela já possui um construtor Create implícito, sem argumentos, e nós não queremos substituí-lo, mas queremos ficar com os dois. Vejamos os código da "