La estructura if-else es mejor cuando se necesita ejecutar exactamente uno de dos bloques de código mutuamente excluyentes basándose en una sola condición booleana por ejemplo: la validacion de la entrada de un usuario o determinar si un número es par o impar.

Se recomiendan evitar las globales porque pueden llevar a código difícil de depurar y mantener ya que cualquier función puede modificar su valor y seria dificil de encontrar el valor.

Se detectaría principalmente mediante pruebas unitarias o pruebas de integración que revelen un comportamiento inesperado o mediante la revisión cuidadosa del código.

Es generalmente seguro cuando se promociona un tipo más pequeño a uno más grande ya que la precisión o el rango de valores se mantienen o aumentan sin embargo no es siempre seguro si la operación implicara una conversión descendente lo cual si no se maneja con un cast explícito, puede resultar en pérdida de datos o en un desbordamiento si el valor es demasiado grande para el tipo de destino.