Questão 561254

Um valor do tipo vetor pode ser visto como conjunto homogêneo (elementos do mesmo tipo) e totalmente ordenado de elementos, os quais são acessados, em tempo constante, por meio de índices freqüentemente representados por valores de tipo inteiro.

Um valor do tipo registro é um conjunto heterogêneo, incluindo elementos potencialmente de tipos distintos. Conceitualmente não há necessidade de uma ordem (total ou parcial) entre os elementos, uma vez que estes são acessados por meio de identificadores (nome do campo do registro) e não por sua posição relativa.

Tipos podem ser matematicamente interpretados como conjunto de valores. Sob esta perspectiva, um tipo união, como o nome sugere, corresponde a uma união, no sentido empregado em teoria de conjuntos, de outros tipos conhecidos.

Conceitualmente, um vetor ou matriz não pode ser composto de elementos de um tipo união. Quebra-se a homogeneidade dos tipos armazenados, sendo inviável que todos os elementos ocupem o mesmo tamanho de espaço na memória, além de tornar impossível o acesso indexado em tempo constante.

Sem perda de generalidade, uma matriz de m linhas e n colunas pode ser entendida como um vetor de m vetores de comprimento n ou um vetor de n vetores de comprimento m, dependendo da linguagem em questão.