[Programação Modular] Tipos Abstratos de Dados

Um Tipo Abstrato de Dados, ou TAD, é uma especificação de dados e de um conjunto de operações que podem ser realizadas sobre eles, sendo utilizado para encapsular a informação necessária ao desenvolvimento do programa, provendo níveis de abstração, que permitem o tratamento de problemas complexos.

O TAD é caracterizado, assim, não pelos dados que o compões, mas sim pelas operações que se aplicam sobre ele. Dessa forma, as operações providas pelo TAD ficam visíveis ao usuário e os detalhes de implementação ficam ocultos.

Dessa forma, pode-se modificar a implementação das operações do TAD sem modificar o código que o utiliza. Essa característica também permite que um TAD possa ser reutilizado por diversos programas distintos.

Em linguagens orientadas a objetos, a implementação do TAD é feita por meio de classes. Já em linguagens estruturadas, são utilizadas definições de tipo e implementação de funções.

O TAD permite a chamada programação por contrato (Design by Contract), que consiste na definição de especificações de interface precisas e verificáveis dos componentes de software. Assim, são definidas as condições (obrigações) que um TAD devem cumprir no fornecimento de serviço a seu usuário (contratante).