Algoritmos y Programación en Pascal

182 Capítulo 8. Procedimientos y funciones
simples. Tanto para los procedimientos como para las funciones, dichos valores
pueden enviarse mediante parámetros por referencia.
Una tercera vía consiste en utilizar las variables globales (o las no locales),
porque dichas variables son reconocidas en cualquier lugar del bloque. En consecuencia,
si dentro de un procedimiento o función se hace referencia a una variable
global (o no local), asignándole un nuevo valor, dicha asignación es correcta, al
menos desde el punto de vista sintáctico.
Sin embargo, esta última posibilidad merma la autonomía de los subprogramas,
y es perjudicial porque puede introducir cambios en variables globales y
errores difíciles de detectar. Asimismo, resta independencia a los subprogramas,
reduciendo la posibilidad de reutilizarlos en otros programas.
❡❡
Si se evita sistemáticamente el uso de los objetos globales en los subprogramas,
los cambios que efectúa un subprograma se identifican inspeccionando
la lista de parámetros por referencia. Por ello, se recomienda adquirir esta
costumbre desde el principio.
Si por el contrario se suelen escribir subprogramas que emplean objetos
globales, para conocer los efectos de un subprograma se tendrá que repasar
cuidadosamente la totalidad del procedimiento o función. Por ello, esta
práctica es desaconsejable y debe evitarse siempre.
Como norma general, debe evitarse toda alusión a las variables globales dentro
de los subprogramas. No obstante, se incluirán como parámetros cuando sea
preciso. Es importante que la comunicación se realice exclusivamente a través
de los parámetros para garantizar la independencia de los subprogramas.
A los cambios en variables globales producidos por subprogramas se les denomina
efectos laterales o secundarios. Veamos un ejemplo de una función cuya
ejecución modifica una variable global de la que depende el propio resultado de
la función.
Program ConDefectos (output);
var
estado: boolean;
function Fea (n: integer): integer;
begin
if estado then
Fea:= n
else
Fea:= 2 * n + 1;
estado:= not estado
end; {Fea}