Arrays, índices e limites

Compreender

Um índice localiza um elemento, enquanto o valor é o dado guardado nesse lugar. Na lista 12, 15 e 14 segundos, o máximo é 15, encontra-se na posição 1 e o último valor é 14 na posição 2. Confundir tamanho 3 com índice 3 conduz a acesso inválido. Uma operação de máximo deve ainda prever o caso de lista vazia.

Valor e posição respondem a perguntas diferentes: 15 é o maior tempo registado, e 1 é o índice onde se encontra. Se dois tempos fossem iguais, uma procura do máximo precisaria de definir se devolve a primeira posição, todas as posições ou apenas o valor. Um array vazio não possui máximo sem regra suplementar. Esses casos de fronteira pertencem ao contrato da operação, não a detalhes invisíveis do código. A frase «Ter três elementos torna o índice 3 válido porque três é o tamanho da lista.» ultrapassa aquilo que foi demonstrado. Para a corrigir, é necessário verificar comprimento e percorrer apenas índices de zero a comprimento menos um. A decisão resulta da comparação entre o dado, o conceito e a condição que ficou por testar.

A lista [12, 15, 14] tem comprimento 3 e índices 0, 1 e 2. Um algoritmo de máximo começa pelo primeiro valor, compara os restantes e pode guardar também o índice onde encontrou 15. A posição 3 não existe, embora 3 seja o comprimento. Para um vetor vazio, não se pode iniciar o máximo com a posição 0; o programa precisa de devolver uma indicação de ausência de dados ou rejeitar a operação segundo um contrato declarado.