Algoritmos y Programación en Pascal

168 Capítulo 8. Procedimientos y funciones
En el paso de parámetros por referencia,
procedure IncrementarYescribir (var v: integer);
begin
v:= v + 1;
WriteLn(v)
end; {IncrementarYescribir}
la siguiente llamada produce esta salida:
w:= 5
WriteLn(w); 5
IncrementarYescribir(w); 6
WriteLn(w) 6
En este segundo caso, al tratarse de parámetros por referencia, el espacio en
memoria de w coincide durante la llamada con el de v; por ello, el incremento de
v se efectúa también sobre w. Al terminar el procedimiento, w tiene el valor 6.
8.2.4 Consistencia entre definición y llamada
Es imprescindible que la definición y la llamada a un subprograma encajen:
para ello, la llamada debe efectuarse utilizando el mismo identificador definido
para el subprograma, seguido entre paréntesis de los parámetros, separados por
comas. Estos argumentos reales deberán coincidir con los parámetros formales
en número y ser respectivamente del mismo tipo. Como dijimos antes, los
argumentos reales correspondientes a parámetros formales por valor podrán ser
expresiones cualesquiera (con el requisito, ya mencionado, de tener el mismo
tipo):
WriteLn(n + 2)
En cambio, los argumentos correspondientes a parámetros formales por referencia
deberán ser necesariamente variables, para que las modificaciones efectuadas en
el subprograma repercutan en el espacio de memoria asociado a las variables
argumentos. Como contraejemplo, obsérvese la siguiente llamada imposible:
ReadLn(n + 2)
En el caso de las funciones, el tipo del resultado devuelto debe, además,
encajar en la llamada efectuada.