Tipos de Dados Básicos e Estruturados

Um tipo de dado associa um conjunto de valores às operações que a linguagem admite sobre esses valores. Declarar a variável com aquele tipo restringe o uso: inteiro não admite metade; um caractere não admite concatenar.

Arranjos, tipos abstratos e ponteiros deste tópico — e comandos, encapsulamento e estruturas elementares nos tópicos seguintes — partem dessa restrição.

As páginas se agrupam em quatro blocos. O primeiro classifica o conjunto de um valor só e recusa a operação que aquele conjunto não admite.

O segundo agrupa vários valores sob um nome. Calcula Base + i×tam para o elemento do mesmo tipo, distingue definir o molde da estrutura de criar a variável, e rotula um conjunto fechado de constantes.

O terceiro descreve o valor pelo contrato das operações, sem escolher o arranjo em memória. Distingue inserção e remoção no mesmo extremo da inserção numa ponta e remoção na outra.

O quarto guarda um endereço: o operador de endereço produz o lugar da célula; o de desreferência lê ou escreve o conteúdo.

Decidir se −7 é inteiro e não natural, ou se um caractere não é cadeia, está em Tipos de Dados Primitivos. Distinguir a definição da estrutura da variável está em Tipos de Dados Compostos.

Campos e ordem na memória estão em Tipos de Dados Compostos. O axioma topo(empilhar(S,x)) = x e o contraste LIFO versus FIFO, sem citar célula, estão em Tipos de Dados Abstratos.

O endereço de A[i] por Base + i×tam está em Tipos de Dados Compostos. Endereço e desreferência de variável ponteiro estão em operadores C & (endereço) e * (desreferência) em variáveis ponteiro.