Diferencias

Muestra las diferencias entre dos versiones de la página.

--- funciones2 [2013/04/12 21:08] – [Ordenar un arreglo de enteros] lmateu
+++ funciones2 [2014/09/24 21:36] (actual) – [Ejercicios] lmateu
@@ Línea 48: / Línea 48: @@
 === Primer ejemplo de uso ===
-El siguiente programa utiliza la función anterior para ordenar líneas lexicográficamente:
+El siguiente programa utiliza la función anterior para ordenar líneas lexicográficamente los parámetros recibos desde la línea de comandos.  Por ejemplo:
 <code>
-  #include <stdio.h>
+% ordenar juan pedro diego
-  #include <string.h>
+diego
+juan
+pedro
+</code>
-  void qsort(void *a[], int left, int right,
+Esta es la solución usando qsort:
-             int (*compare)(void *, void *));
+<code>
+  int mistrcmp(void *p1, void *p2) {
+    char *s1= (char*)p1;
+    char *s2= (char*)p2;
+    return strcmp(s1, s2);
+  }
   int main(int argc, char **argv) {
     int j;
-    int (*compare)(void *, void *)= (int (*)(void *, void*)) strcmp; /* Ver nota */
-    qsort((void**)argv, 1, argc-1, compare);
+    qsort((void**)argv, 1, argc-1, mistrcmp);
     for (j= 1; j<argc; ++j)
       printf("%s\n", argv[j]);
   }
+</code>
+=== Segundo ejemplo de uso ===
+Esto no es elegante pero permite usar directamente la función strcmp, sin tener que definir mistrcmp.
+<code>
+  int (*compare)(void *, void *)= (int (*)(void *, void*)) strcmp; /* Ver nota */
+  qsort((void**)argv, 1, argc-1, compare);
 </code>
@@ Línea 71: / Línea 88: @@
 para compatibilizar strcmp con el tipo de la variable asignada.
 Si se pasa directamente strcmp a qsort, el compilador podría reclamar conflicto
-de tipos.
+de tipos.  Este cast es correcto en este caso porque todos los parámetros
+de la función son punteros y sabemos que un cast entre punteros no realiza
+ninguna conversión.  ¡Pero cuidado!  Los efectos son impredecibles si los parámetros
+no son punteros.  Por ejemplo el siguiente cast seguramente llevará a resultados
+impredescibles:
+<code>
+  int h(int x, double y);
+  int (*f)(double x, int k)= (int (*)(double x, int k)) h;
+</code>
+Si no se coloca el cast, el compilador reclama porque no hay concordancia de tipos.
+Con el cast, el compilador no reclama, pero al invocar f mediante:
+<code>
+  int n= (*f)(3.14, 1);
+  int m= (*f)(3, 1.5);
+</code>
+En ningún caso la función h recibirá algo parecido a los argumentos usados en estas invocaciones.
+El error ocurre porque en este caso los argumentos de la función sí requieren conversión de tipo
+(entero a real o viceversa), pero debido al cast de funciones el compilador no realizará
+ninguna conversión.
-Otra forma de hacer esto mismo:
+Otra forma de lograr lo mismo, aunque no es más o menos eficiente, es:
 <code>
@@ Línea 89: / Línea 128: @@
 </code>
-Lo cual es mucho más legible.
+Lo cual es más legible.
-Por último también se puede usar una función de comparación de strings propia que
+=== Tercer ejemplo de uso ===
-reciba como parámetros punteros a void:
-<code>
-  int mistrcmp(void *p1, void *p2) {
-    char *s1= (char*)p1;
-    char *s2= (char*)p2;
-    return strcmp(s1, s2);
-  }
-</code>
-Ahora se puede llamar a qsort especificando como comparador mistrcmp sin tener
-que aplicar un complicado cast:
-<code>
-    qsort((void**)argv, 1, argc-1, mistrcmp);
-</code>
-=== Segundo ejemplo de uso ===
 Este ejemplo ordena los strings por valor numérico:
 <code>
-  int numcmp(void *s1, void *s2) /* compara numricamente */ {
+  int numcmp(void *s1, void *s2) /* compara numéricamente */ {
     int i1, i2;
@@ Línea 183: / Línea 204: @@
 <code>
+  /* Este programa solo funciona en plataformas de 32 bits, no cuando son de 64 bits */
   int a[6]= {3, 7, 8, 10, 1, 2};
@@ Línea 209: / Línea 231: @@
 correctamente en x86, al compilarlos en una arquitectura de 64 bits, ya no funcionan.
-Pero en Linux/amd64 se puede hacer que funcione declarando ''a'' como arreglo de long, no de int:
+=== Forma portable ===
+La siguiente solución debería funcionar en todas las plataformas.  El tructo está en vestir
+los enteros como punteros en el arreglo que recibe qsort:
 <code>
-  long a[6]= {3, 7, 8, 10, 1, 2};
+  void *a[6]= {(void*)3, (void*)7, (void*)8, (void*)10, (void*)1, (void*)2};
   int longcmp(void *p1, void *p2) {
@@ Línea 227: / Línea 252: @@
   int main() {
     int i;
-    qsort((void**)a, 0, 5, longcmp);
+    qsort(a, 0, 5, longcmp);
     for (i= 0; i<6; i++)
-      printf("%ld\n", a[i]); /* esta vez si ordena a */
+      printf("%ld\n", (long)a[i]); /* esta vez si ordena a */
     return 0;
   }
 </code>
-Pero esto no funcionará en Windows de 64 bits, porque en esta plataforma el tipo long es de 32 bits como
+En Windows de 64 bits el tipo long es de 32 bits como
-se explica [[http://stackoverflow.com/questions/384502/what-is-the-bit-size-of-long-on-64-bit-windows|acá]].
+se explica [[http://stackoverflow.com/questions/384502/what-is-the-bit-size-of-long-on-64-bit-windows|acá]]
+y por lo tanto no coincide con el tamaño de un puntero.  Esto podría significar que el compilador
+entregue algún warning.  Pero a pesar del warning el ordenamiento debería hacerse correctamente.
+Enfín, el autor de este documento no recomienda escribir este tipo de código, pero sí entenderlo
+porque hay abundante código del legado que recurre a este tipo de trucos y por lo tanto es importante
+ser capaz de modificarlo si se requieren cambios.
+==== Ejercicios ====
+  * Resuelva la pregunta 3 parte i.- del [[http://users.dcc.uchile.cl/~lmateu/CC3301/controles/ex-131.pdf|examen de 2013/1]].
+  * Resuelva la pregunta 1 del [[http://users.dcc.uchile.cl/~lmateu/CC3301/controles/c2-131.pdf|control 2 de 2013/1]].  Pruebe su solución usando el archivo [[http://users.dcc.uchile.cl/~lmateu/CC3301/download/colapri.zip|colapri.zip]].  Para la parte a.- complete el archivo p1a.c.  Verifique el resultado con el comando "make test-p1a".  Luego resuelva la parte b.- en el archivo ordenar.c y verifique su funcionamiento con el comando "make test-p1b".