1 1 Funciones en C++: Nota: Este material es de estudio personal, en clases sólo revisaremos las láminas con. Usted revise todo. Agustín J. González ELO329

2 2 Parámetros Un parámetro actual (o valor, argumento) es el valor pasado a la función desde el código invocador. Un parámetro formal (o variable) es la variable declarada en la lista de parámetros de la función que recibe los valores. Parámetros de entrada reciben los valores pasados a la función. Parámetros de salida retornan valores desde la función al código invocador.

3 3 double future_value( double p )‏ { double b = 1000 * pow(1 + p / (12 * 100), 12 * 10); return b; } Parámetro formal Función Valor Futuro Esta función calcula el valor futuro de una inversión de 1000 sobre 10 años y calculado mensualmente. No es muy flexible, pero se conserva como una sola tarea.

4 4 cout > rate; double balance = future_value(rate); cout

5 5 double future_value(double initial_balance, double p, int nyear)‏ { double b = initial_balance * pow(1 + p / (12 * 100), 12 * nyear); return b; } Haciendo al Función más Flexible Esta versión de future_value() es más flexible porque el balance inicial y el número de años son pasados como parámetros actuales.

6 6 Uso de Comentarios, Recomiendo usar doxygen double future_value(double initial_balance, double p, int nyear)‏ // Propósito: calcula el valor de la inversión // usando interés compuesto // Recibe: // initial_balance - El valor inicial de la // inversión. // p - la tasa de interés en porcentaje // nyear - el número de años que la // inversión será mantenida // Retorna: el balance después de nyear años // Observaciones: el interés es actualizado // mensualmente Esta versión de future_value tiene comentarios según se espera sus tareas de programación:

7 7 Retorno cuando encontramos un Error double future_value(double initial_balance, double p, int nyear)‏ { if( nyear < 0 ) return 0; // error if( p < 0 ) return 0; // error double b = initial_balance * pow(1 + p / (12 * 100), 12 * nyear); return b; } Use la sentencia return para terminar inmediatamente. En el ejemplo, errores de rango son manejados retornando un valor por defecto:

8 8 Funciones Booleanas (1)‏ bool IsValidYear( int year )‏ { if(( year > 1600 ) and ( year < 2100 ))‏ return true; else return false; } Alternativamente: bool IsValidYear( int year )‏ { return(( year > 1600 ) and ( year < 2100 )); } Funciones que retornan un valor booleano son apropiadas para validación de datos. Se recomienda centralizar sólo una tarea por función:

9 9 Funciones Booleanas (2)‏ if( IsValidYear( birthYear )‏ and IsLeapYear( birthYear ))‏ { cout

10 10 Prototipo de Funciones double future_value(double initial_balance, double p, int nyear); // function prototype Alternativamente: double future_value(double, double, int); // function prototype Una declaración de función (or prototipo) es requerida cuando un llamado a función no ha sido precedida por una definición de función. El prototipo indica información de llamado que es esencial para el compilador.

11 11 double future_value(double initial_balance, double p, int nyear)‏ { if( nyear < 0 ){ cout

12 12 Procedimientos void DisplayReport( double initial_balance, double p, int nyear)‏ { cout

13 13 Paso por Referencia (1) void swap( int & x, int & y )‏ // Exchange the values of two variables. { int temp = x; x = y; y = temp; } Pasar un parámetro por referencia significa que el nombre del parámetro formal queda definido en la misma localización de memoria del parámetro actual. Así la función puede modificar la variable (parámetro actual). Por ejemplo::

14 14 Paso por Referencia (2) void GetUserName( string &lastName,string &firstName )‏ { cout > lastName; cout > firstName; } Una función que recibe varias entradas del usuario normalmente usa parámetros por referencia porque la función no puede retornar más de un valor.

15 15 Paso por Referencia (3) string firstName; string lastName; GetUserName( lastName, firstName ); // Ahora los valores de firstName y LastName // han cambiado... En el código que invoca la función, las variables pasadas a la función son actualizadas:

16 16 Parámetros de Entrada y Salida Parámetros de Entrada contienen datos que han sido pasados a la función desde el código llamador. Parámetros de Salida contienen datos que son fijados dentro de la función y retornados al código llamador. Parámetros de Entrada/Salida reciben datos desde el código llamador, modifica los datos, y retorna los datos al código llamador.

17 17 Parámetros de Entrada double CalcPay( double hours, double payRate )‏ { return hours * payRate; } CalcPay() usa parámetros de entrada, hours y payRate:

18 18 Parámetros de Salida void GetUserName( string & lastName, string & firstName )‏ { cout > lastName; cout > firstName; } GetUserName(), visto antes, usa dos parámetros de salida:

19 19 Parámetros de Entrada/Salida void swap( int & x, int & y )‏ { int temp = x; x = y; y = temp; } La función swap() usa dos parámetros de entrada y salida:

20 20 Paso por Referencia Constante void ShowName( const string & firstName, const string & lastName )‏ { cout

21 21 No pases Objetos por Valor Debemos evitar esto: void ShowName( string firstName, string lastName )‏ { cout

22 22 Alcance de Variables (1) if( X > Y )‏ { // begin block int sum = X + Y; } // end block cout

23 23 Alcance de Variables (2) int Evaluate( int n )‏ { int j = 99; if( n > 5 )‏ { int j = 20; } return j; } No enmascarar variables de alcance mayor dentro con otra que posee alcance interior. Si esta función recibe como entrada 10, qué retornará?

24 24 Variables Globales double g_initial_balance, g_principal; int g_nyear; double future_value()‏ { return (g_initial_balance * pow(1 + g_principal / (12 * 100), 12 * g_nyear)); } Una variable global es declarada fuera de cualquier función. Evitar esto cuando sea posible. Nunca usarlas como una forma de evitar paso de parámetros a funciones.

25 25 Uso de Precondiciones (1)‏ double future_value(double initial_balance, double p, int nyear)‏ { assert( nyear >= 0 ); assert( p >= 0 ); double b = initial_balance * pow(1 + p / (12 * 100), 12 * nyear); return b; } La macro assert() puede ser llamada cuando se desee garantizar absolutamente que se satisface alguna condición. Chequeo de rango es común:

26 26 Uso de Precondiciones (2)‏ Assertion failure in file mysub.cpp, line 201: nyear >= 0 Si la expresión pasada a la macro assert() es falsa, el programa se detiene inmediatamente con un mensaje de diagnóstico del tipo: Con assert el programa no tiene la posibilidad de recuperarse del error. Para eliminar el efecto de assert se debe compilar el programa con la definición de NDEBUG para el procesador. #define NDEBUG

27 27 double future_value(double initial_balance, double p, int nyear)‏ { if( nyear >= 0 )‏ throw RangeException( "nyear", 0 ); // etc. Uso de Precondiciones (3)‏ Una mejor forma para manejar errores es usar el mecanismo de manejo de excepciones de C++ (lo veremos más delante). En este caso el programa tiene la posibilidad de recuperarse e intentar nuevamente:

28 28 Recursión (1) void ChaseMyTail()‏ { //... ChaseMyTail(); } Recursión ocurre cuando una función ya sea (a) se llama así misma, o (b) llama a otra función que eventualmente termina por llamar a la función original. Aquí, una función se llama así misma, creando lo que parece una recursión infinita:

29 29 Recursión (2) void One()‏ { Two(); } void Two()‏ { Three(); } void Three()‏ { Four(); } void Four()‏ { One(); } Recursión Indirecta ocurre cuando una serie de llamados a función conduce a una función previa en la serie, creando un efecto de bucle. Esto parece trabajar pero su correcto funcionamiento puede ser un problema.

30 30 Recursión (3) long Factorial( int n )‏ { if( n == 0 )‏ return 1; else { long result = n * factorial( n - 1 ); return result; } Condición de térmico Recursión tiene que ser controlada proveyendo una condición de término que permite detener la recursión cuando el caso básico es alcanzado.

31 31 Función Factorial Recursiva 5! = 5 * 4! and 4! = 4 * 3! and 3! = 3 * 2! and 2! = 2 * 1! and 1! = 1 * 0! and 0! = 1 (por definición)‏ Pensemos n! Como el producto de n por (n-1)!. Esto siempre es verdadero mientras n>0.