Mirando esta respuesta y sabiendo que 0 es una constante octal :
Para hexadecimal [constantes [y octal según los comentarios]] , es el primer tipo en el que puede caber el valor:
int,unsigned int,long,unsigned long,long long,unsigned long long
Por lo tanto, deduzco que esto no necesita un molde:
size_t foo = 0;Sin embargo, debido a una herramienta de pelusa estricta de MISRA-C, recibo un mensaje sobre una conversión de tipo implícita ilegal: MISRA-C:2004 Regla 10.1.
¿Mi comprensión es incorrecta o la herramienta está equivocada?
(Nota: cambié a size_t foo = 0U; ya que es mucho más simple que discutir con control de calidad, pero me gustaría satisfacer mi propia curiosidad).
No estoy seguro de lo que estás tratando de lograr, pero...
size_t requiere el tipo size_t - y los tamaños (generalmente) no están firmados
Entonces, para un cumplimiento estricto, size_t foo = 0U; aunque podría ser más correcto usar size_t foo = (size_t)0;
Aparte, la discusión sobre si 0 es decimal, octal o cualquier otra cosa es irrelevante... sigue siendo cero.
--
Editar para agregar:
Aunque la conversión explícita entre firmado y sin firmar quedó obsoleta en MISRA C: 2004 (aunque esto se desvió ampliamente), para MISRA C: 2012, la regla 10.3 permite explícitamente que una expresión constante de entero no negativo de tipo esencialmente firmado pueda asignarse a un objeto de esencialmente tipo sin firmar si su valor puede ser representado por ese tipo
Esta es una forma estándar de decir que no necesitas la U