Estoy tratando de construir una macro SIGNOF simple:
#define SIGNOF(a) ((a) < 0 ? -1 : 1) Si a es negativo, debería devolver -1; de lo contrario, 1. Si a es un tipo sin firmar, siempre debería devolver 1 y el compilador puede optimizar la ruta del código negativo.
Sin embargo, GCC me advierte con razón que
error: comparison of unsigned expression in '< 0' is always false [-Werror=type-limits] 29 | #define SIGNOF(a) ((a) < 0 ? -1 : 1) Pero en este caso realmente quiero este comportamiento. ¿Hay alguna forma de decirle al compilador que esto es intencional, similar a /* fall-though */ en un caso de cambio?
Si su compilador lo admite, puede usar _Generic :
#define SIGNOF(a) _Generic(a, unsigned char: 1, \ unsigned short: 1, \ unsigned int: 1, \ unsigned long: 1, \ unsigned long long: 1, \ default: (a) < 0 ? -1 : 1)lo que funciona es
static inline int __signof(long long a) { return a < 0 ? -1 : 1; } #define SIGNOF(a) _Generic(a, unsigned char: 1, \ unsigned short: 1, \ unsigned int: 1, \ unsigned long: 1, \ unsigned long long: 1, \ default: __signof(a))Esto parece solucionar el problema de advertencia, a expensas de evaluar el operando dos veces:
#define SIGNOF(a) ((a) == 0 ? +1 : ((a) > 0) ? +1 : -1) Observo que dado que la macro DIV_ROUND() propuesta evalúa ambos argumentos dos veces, también tiene problemas si los argumentos tienen efectos secundarios (incrementos, llamadas a funciones, etc.).