Tiposde Dados, Notas de estudo de Informática

Baixe Tiposde Dados e outras Notas de estudo em PDF para Informática, somente na Docsity!

Prof. Edilberto Silva / edilms.eti.br

Paradigmas de

Programação

Prof.: Edilberto M. Silva

http://www.edilms.eti.br

http://www.edilms.eti.br

Aula 5

Aula 5

Tipos de Dados

Tipos de Dados

Tipos de Dados

Sistema de tipos

Tipos de Dados e Domínios

Métodos de construção de

domínios

Tipos primitivos

Tipos estruturados

Entrada

Processamento

Saída

Tipos de dados em LP:

para que servem?

Um tipo de dados determina a classe de valores

que podem ser:

armazenados em uma variável

passados como parâmetro

resultantes de uma expressão;

A informação de tipo em uma linguagem de

programação é usada para:

prevenir ou detectar construções incorretas em um

programa

determinar os métodos de representação e

manipulação de dados no computador.

Tipos de dados em LP:

vantagens

O conhecimento dos possíveis valores de uma

variável é essencial para o entendimento de um

algoritmo

Saber quais são as operações permitidas

possibilita a detecção de vários erros

O tradutor, de posse destas informações, pode:

determinar o espaço necessário para as variáveis e,

como proceder para a implementação das operações

e tratamento de exceções

Linguagens de Programação:

hierarquia de componentes

Tipos de Dados

Expressões

Comandos

Unidades

Programas

representação e operações

obtenção de valores

controle de fluxo

ambientes: abstrações

de valores e comandos

unidade de execução

Existem linguagens de programação que não usam um sistema de tipos,

sendo conhecidas como linguagens não-tipadas. Exemplo: LISP e Perl

Sistema de Tipos

Um sistema de tipos consiste basicamente de:

um mecanismo para definição de tipos de dados através

de construções da linguagem de programação, tais

como constantes, variáveis, parâmetros.

um conjunto de regras para determinar a equivalência

de tipos, a compatibilidade de tipos e a inferência de

tipos, para fins de verificação da validade do uso de

tipos em expressões, atribuições e parâmetros.

Tipos de Dados e Domínios

Um domínio representa um conjunto (infinito) de

valores

Um tipo de dados em LP

possui uma representação finita, dependendo

da declaração do tipo: int, shortint, longint

• da implementação da LP: tipo char, representação ASCII,

UNICODE

é associado a um conjunto de operações para manipular

seus valores

domínio

Tipo de dado:

representação e

operações

Domínios simples: base para

representação de tipos primitivos

Domínios simples

primitivos : não necessitam de definição explícita

• Exemplo: domínio dos números reais

definidos : seus componentes (ordinais) devem ser

especificados por:

• enumeração: cria novo domínio
• domínio estação = ( primavera, verão, outono, inverno)
• restrição: especifica um subdomínio
• domínio mandato = 2000..

domínio

simples

tipos primitivos

e operações

Descrição de tipos em LP

Nome: designação do tipo

Exemplo: Boolean

Valores : domínio de valores

Exemplo: lógicos

Operações: repertório de operações permitidas

Exemplo: negação, conjunção, disjunção.

Testes : relações de igualdade, ordem e outros

predicados

Exemplo: relação de igualdade

Constantes: forma de representação

Exemplo: True , False

Exemplo em java: tipos

primitivos

Tipos disponíveis

boolean (1 bit)

char (16 bits)

byte(8 bits)

short(16 bits), int(32 bits), long(64 bits)

float(32 bits), double(64 bits)

void

Variáveis colocadas diretamente na pilha

sem apontador para representação

tamanho uniforme em todas as plataformas

representação do valor

variável primitiva

Tipos definidos pelo usuário:

ordinais

Definidos por associação ao um domínio de

inteiros positivos

Restrição : sub-seqüência de um tipo

Exemplo de restrição em Pascal:

• maiusculas= ‘A’.. ‘Z’;
• dias= 1..31;

Enumeração : descrição dos elementos

• Exemplo de enumeração em Pascal

type TS = ( verde, vermelho, azul);

VetorCor = array [TS] of boolean;

Enumeração: implementação

Associação de constantes a valores inteiros

Associação implícita

Ex. C/C++: enum Cores {vermelho, verde, azul}

Associação explícita

Ex. C/C++: enum

Romanos {I=1,V=5,X=10,L=50,C=100,D=500,M=1000}

Cartas{dois=2,tres,quatro,cinco,seis,sete,oito,nove,dez,

valete,dama,reis,as}

0 1 2

Tipos x instâncias

Variável : instância concreta de um tipo

Tipo : descritor

Exemplo em Pascal:

type

Vetor= array [1..5] of boolean;

{ instanciação }

var

v1, v2: Vetor;

definição

declaração

v

v

instanciação

type

natural = 0 .. maxint;

var

i : integer;

s : shortint;

n : natural;

..... n := i ;

Tipos definidos por restrição

Os tipos definidos por restrição são:

considerados subtipos de um tipo base T

úteis para aumentar a legibilidade e podem contribuir

para a confiabilidade ou eficiência de programas.

Exemplo em Pascal