Estoy trabajando en C incrustado. ¿Alguien podría ayudarme con qué código?
¿Es eficiente en términos de robustez, memoria y compatibilidad con Misra?
Código1:
if (func() == 1 || func() == 2) { /* Body of the function */ }Código2:
locvar = func(); if (locvar == 1 || locvar == 2) { /* Body of the function */ }Como se señaló, los dos ejemplos pueden hacer cosas diferentes y dar resultados diferentes.
El cumplimiento de MISRA-C y la solidez van de la mano. En cuanto al uso de la memoria, no es un problema en este código.
Es probable que el primer ejemplo no sea sólido ni cumpla con MISRA: específicamente, la regla 13.5 de MISRA-C:2012 prohíbe el operando derecho de && y || de contener efectos secundarios persistentes.
Además, reglas como la 12.1 requieren que las subexpresiones de expresiones largas estén rodeadas por paréntesis, para hacer explícita la precedencia del operador.
Una versión compatible con MISRA-C sería algo como:
locvar = func(); if ((locvar == 1) || (locvar == 2)) { ... }Además de la respuesta de @Lundin, la única consideración de MISRA C: 2012 es si hay un efecto secundario persistente dentro de func() ; si no hay efectos secundarios persistentes, entonces MISRA C tiene poco que decir.
Del mismo modo, desde la perspectiva de la eficiencia del código, un compilador eficiente (probablemente) optimizará el código; de todos modos, incluso puede inline el cuerpo de la función...
Para mí, la consideración principal sería la legibilidad del código (y, por lo tanto, la capacidad de mantenimiento): una sola llamada deja en claro lo que está haciendo... y si no hay efectos secundarios persistentes, ¿qué se gana al hacer una segunda llamada de función?
Voto por el Código 2.
En teoría, calcular el valor utilizado en la condición de bifurcación puede mejorar la predicción de bifurcación para el procesador, pero un compilador optimizador debería hacerlo por usted. Creo que esta respuesta podría ser interesante: