Considere un proyecto grande, donde muchos tipos están typedef , por ejemplo
typedef int age; typedef int height;y algunas funciones obteniendo argumentos de esos tipos:
void printPerson(age a, height h) { printf("Age %d, Height %d\n", a, h); }¿Hay alguna manera de advertir en tiempo de compilación, si esos argumentos son del tipo incorrecto, por ejemplo?
age a = 30; height h = 180; printPerson(h, a); /* No warning, because a and h are both integers */¿Tiene gcc (o alguna herramienta de análisis de código estático) una opción para advertir en tales casos?
No hay soporte incorporado para esto en GCC.
Hay una solicitud de función para agregar esto, basada en el atributo Sparse nocast . Sin embargo, esto no se ha implementado. Sin embargo, si puede usar Sparse, puede hacerlo marcando cada typedef con __attribute__((nocast)) .
En C ++, puede hacer esto creando clases contenedoras en lugar de typedefs, y luego simplemente no definiendo conversiones implícitas para ellas.
Klocwork tiene algunos controles relacionados con lo que ellos llaman "teclado fuerte".
Para su código arroja STRONG.TYPE.ASSIGN.ARG porque los tipos de argumentos no coinciden.
También se queja de la asignación de valores int (las constantes) a las variables de tipo age y height y del uso de las variables como int en printf .
Sin embargo, escuché que es bastante caro.
Como ha quedado claro en las otras respuestas, no obtendrá esto gratis de gcc. Definitivamente estás en el mundo de las herramientas de análisis estático para resolver esto.
Ha habido varias sugerencias para esto, algunas de las cuales requieren anotaciones adicionales, otras no, pero pueden ser más de lo que está buscando. Por lo tanto, pensé en agregar uno más a la mezcla...
Una larga espera para mí han sido las diversas herramientas de pelusa de línea de comandos. En tu caso, creo que PC-lint/flexelint encaja muy bien a pesar de que es una herramienta comercial. Ver aquí para su verificación de tipo fuerte.