Tema 4
Subprogramas
Maximiliano Paredes Velasco 1
Objetivo
• Exponer las principales ventajas de la
descomposición de programas en
subprogramas
• Presentar la correcta construcción de
programas y de subprogramas
Maximiliano Paredes Velasco 2
4.1 Estructura de
subprogramas
• Problemas:
código fuente repetido
falta de estructuración del código fuente
• Solución: subprogramas
un subprograma soluciona una parte del
problema inicial (facilita la estructuración)
pueden ser utilizados desde distintos puntos de
un programa (evitan la repetición de código)
Maximiliano Paredes Velasco 3
4.1 Estructura de
subprogramas
• Hay 2 tipos de subprogramas:
procedimientos: instrucciones definidas por el
programador
funciones: expresiones definidas por el
programador
Maximiliano Paredes Velasco 4
Ejemplo 4.1
Dibujar el patrón
––
|
|
––
|
|
––
Maximiliano Paredes Velasco 5
Ejemplo 4.1: EseNOModular
PROGRAM EseNOModular (output);
{ Programa que permite dibujar una ESE,
sin utilizar subprogramas
1.- Se dibuja la horizontal
2.- “ “ vertical al margen
izquierdo
3.- Se dibuja la horizontal
4.- “ “ vertical al margen
derecho
5.- Se dibuja la horizontal de abajo
NOTA: No necesita entradas }
Maximiliano Paredes Velasco 6
Análisis del ejemplo
• Funciones
devuelven exactamente un valor. Dicho valor se
determina, asignándolo al “nombre” de la función
las llamadas se tratan como expresiones (de igual
manera que si estuvieran predefinidas en Pascal)
t:=TanDeGrados(a) (función definida por el programador)
n:= abs(a) (función predefinida en Pascal)
Maximiliano Paredes Velasco 7
Análisis del ejemplo
• Parámetros:
permiten pasar información a la función (o en
general, al subprograma)
el tipo (y el número) de argumentos en la
llamada han de coincidir con el tipo (y el
número) de los parámetros de la declaración de
la función (o del subprograma)
Maximiliano Paredes Velasco 8
Estructura sintáctica:
• Procedimientos
void <idenproc> ([tipo [&] idenPara, ...], ...){
[declaraciones ]
parámetros
[Cuerpo de instrucciones]
}
void imprimeEsteNumero (int num){
printf(“%i”, num);
}
Maximiliano Paredes Velasco 9
Estructura sintáctica:
• Funciones
tipo <idenfunc> ([tipo [&] idenPara,...){
[declaraciones ]
[Cuerpo de instrucciones ] parámetros
return valorTipo;
} int sumna (int n1, int n2){
tipo de la función return n1+n2;
}
Nota: las funciones no devuelven arrays
Maximiliano Paredes Velasco 10
Estructura sintáctica:
declaraciones
• Declaraciones y definiciones
Idénticas que las del programa:
tipos
constantes
Propios del subprograma. Sólo
variables
desde él se accede a ellos
procedimientos
funciones
Estas definiciones + parámetros constituyen los
elementos locales del subprograma
Maximiliano Paredes Velasco 11
Estructura sintáctica:
cuerpo
• Cuerpo de Instrucciones
secuencia de instrucciones
implementa el algoritmo que resuelve el problema
para el que se definió el subprograma
las instrucciones del cuerpo se ejecutan con cada
llamada al subprograma
Maximiliano Paredes Velasco 12
Estructura sintáctica de
las llamadas
• Procedimientos:
igual que las instrucciones predefinidas
Identificador ( Expresión )
de proc.
,
• Funciones:
igual que las funciones predefinidas
Maximiliano Paredes Velasco 13
Semántica: llamada a
procedimiento
#include …
declaraciones
void P(parámetros){
declaraciones
instrucciones
(2)
}
int main(){ (1)
… (3)
P();
…
} Maximiliano Paredes Velasco 14
Semántica: llamada a
función
…
declaraciones
int F (int p){
int t;
t=25+p;
….. (2)
return expresión;
} (1)
int main(){ (3)
…
iden=F(34);
… üiden ha de ser de un tipo compatible con tipoF
} Maximiliano Paredes Velasco 15
4.2 Subprogramas con
parámetros
• Parámetros formales (“ficticios”)
se utilizan sólo a efectos de definición en el
encabezamiento del subprograma
son datos genéricos que no almacenan valores de
verdad
Maximiliano Paredes Velasco 16
Sentencia return
• Sintaxis return expresion;
• Sirve para devolver el valor de la función
• Provoca la finalización inmediata
Esté en el punto que esté
El resto de instrucciones no se ejecutan
• Se puede colocar en cualquier sitio y puede
haber varias
• En los procedimientos puedo usar return; para
finalizar (sin ningún valor
Maximiliano al lado)
Paredes Velasco 17
Sentencia return
• Ejemplo
int maximo (int x, int y){
if(x>=y){
return x;
}else{
return y;
}
Maximiliano Paredes Velasco 18
4.2 Subprogramas con
parámetros
• Parámetros reales (“actuales”)
se utilizan en la llamada al subprograma
variables (o expresiones) que determinan los
valores concretos con los que se ejecuta el
subprograma
t= TanDeGrados(a);
Maximiliano Paredes Velasco 19
Subprogramas con
parámetros
• Formas de intercambiar información entre
el programa principal y el subprograma
parámetros de entrada (al subprograma)
parámetros de salida “
parámetros de entrada/salida “
Maximiliano Paredes Velasco 20
Subprogramas con
parámetros
• ¿Cómo se especifica si un parámetro es de
entrada?
• Parámetros por valor:
Utilización: Parámetros de entrada
Sintaxis: se usan por defecto
Ejemplo:
float TanDeGrados(float valor)
Maximiliano Paredes Velasco 21
Mecanismo de paso de
parámetros por valor
• Semántica:
se calcula el valor de los parámetros reales en la
llamada (evaluando las expresiones correspondientes)
una copia de dicho valor se asigna a los parámetros
formales del subprograma
el subprograma opera sobre esta copia
al finalizar el subprograma se pierde su estado de
cómputo local, y cualquier cambio hecho en el
parámetro formal NO quedará reflejado en el
parámetro real
Maximiliano Paredes Velasco 22
Mecanismo de paso de
parámetros por valor
• Restricciones:
los parámetros reales pueden ser expresiones
parámetros formales y reales han de ser del
mismo tipo
Maximiliano Paredes Velasco 23
Subprogramas con
parámetros
• ¿Cómo se especifica si un parámetro es de
salida?
• Parámetros por referencia:
Utilización:Parámetros de entrada/salida
Sintaxis: Se antepone & a los parámetros
formales en el encabezamiento y se devuelve void
Ejemplo:
void LeePunto( float &x, float y)
Maximiliano Paredes Velasco 24
Mecanismo de paso por
referencia
• Semántica:
los parámetros reales sustituyen directamente a
los parámetros formales (es decir: los parámetros
formales son sinónimos de los parámetros reales)
el subprograma va modificando dichos
parámetros
aunque al finalizar el subprograma se pierde su
estado de cómputo local, cualquier cambio hecho
en el parámetro formal SI quedará reflejado en el
parámetro real Maximiliano Paredes Velasco 25
Mecanismo de paso por
referencia
• Restricciones:
sólo se permiten variables como parámetros
reales
parámetros formales y reales han de ser de tipos
idénticos
Maximiliano Paredes Velasco 26
4.3 Vigencia y Ámbito
• Aspectos
Estructura de bloques
Vigencia de objetos
Ámbito de identificadores
Efectos laterales
Maximiliano Paredes Velasco 27
ALCANCE DE LAS
VARIABLES
• Variables globales:
se declaran en el bloque del programa principal
(entre el #include y las definiciones de
subprogramas)
p.e.: numero, numInvertido
• Variables locales de un subprograma:
se declaran en el bloque del mismo subprograma
(entre las cabecera y sus instrucciones)
p.e.: aux es variable local de darVuelta
Maximiliano Paredes Velasco 28
Ámbito
• Ambito (o visibilidad) de un identificador:
los bloques en los que se puede acceder a un
objeto
el ámbito de un identificador es el bloque del
subprograma en el que está definido, incluyendo
todos los bloques interiores a él
EXCEPCIÓN: que en los bloques interiores halla
un identificador idéntico que lo oculte
NOTA: en C+- no permite declaraciones de
bloques subprogramas anidadas
Maximiliano Paredes Velasco 29
Efectos Laterales
• Efectos laterales (o secundarios):
Cuando un subprograma influye directamente al
estado de cómputo de otros (es decir, sin que
estos efectos sean producidos por el paso de
parámetros)
Ejemplo:
void incrementarContador(){
{Modifica la variable no local “contador”}
contador = contador+1
} {incrementarContador}
Maximiliano Paredes Velasco 30
Efectos Laterales
• Efectos laterales:
los efectos laterales se producen al asignar
valores a variables globales o no-locales a un
subprograma
aunque dichas asignaciones son sintácticamente
correctas, no se deben usar porque:
disminuyen la reusabilidad del subprograma
dificultan la depuración y verificación del
programa
Maximiliano Paredes Velasco 31
Efectos laterales
• Redefinición de elementos
Se pueden repetir identificadores en bloques
internos
No afectan a las variables más externas (no son
las del bloque interno)
En el bloque interno se referencia la más cercana
• Doble referencia:
La misma variable se accede por dos nombre (el
suyo y por un parámetro)
Maximiliano Paredes Velasco 32
Ejemplo doble referencia
int global;
void cuadrado(int & dato){
global=5;
dato=dato*dato;
}
global=3;
Cuadrado(global)
La salida es 25 y no 9 como lo esperado
Maximiliano Paredes Velasco
