precondiciones en el obligatorio

precondiciones en el obligatorio

de Carolina Lorena Garrido Di Lorenzi -
Número de respuestas: 2

Hola


EStoy chequeando las funciones y me surgio la duda sobre las precondiciones.

Chequeamos nosotros en nuestras funciones que los unsigned int sean de como maximo 32 bits?

Varias funciones y procedimientos mencionan se debe suponer que ....

Nosostros suponemos que se cumple y lo chequea el que invoque las funciones y procedimientos?

Agradezco si alguien me lo aclara.

Sds

En respuesta a Carolina Lorena Garrido Di Lorenzi

Re: precondiciones en el obligatorio

de Camilo Joaquin Mariño Cabrera -
Hola Carolina,

Lo que asumimos en los obligatorios es que el tamaño de los int y unsigned int en C es 32 bits. Por esto,  el valor más alto que se puede obtener en un unsigned int es 2^32 -1. Respondiendo a tu pregunta, no tenés que chequear ninguna precondición de este tipo.

Asumir lo anterior no es algo fuera de lo común, lo más usual es que en arquitecturas de 64 bits los compiladores asignen 32 bits a los int y unsigned int. Esto lo podés verificar compilando y corriendo el código "size.c" que esta adjunto, viendo los tamaños que tiene cada tipo de datos en tú máquina.
Además, en la seccion 2.2 del libtro podes encontrar más detalles.

Saludos,
Camilo