Utilisation d'annotations pour réduire les erreurs de code C/C++
Les annotations permettent à une fonction d'indiquer explicitement le comportement des paramètres et des valeurs de retour avant et après que la fonction a été appelée. Ces informations supplémentaires fournies par le développeur sont utilisées par l'outil d'analyse du code pour détecter des violations du contrat entre l'appelant et l'appelé. La méthode d'annotation est implémentée en tant qu'attributs du compilateur VC++.
Les sections suivantes fournissent des informations supplémentaires au sujet des attributs et de la manière de les définir et de les appliquer.
Dans cette section
Pour en savoir plus sur les annotations, les attributs, les propriétés et leur utilisation. |
|
Méthode d'annotation du code C/C++ qui est compilé à l'aide de l'option /TP. |
|
Méthode d'annotation du code C/C++ qui est compilé à l'aide de l'option /TC. |
|
Répertorie et décrit les propriétés qui peuvent être utilisées lorsque le code est annoté. |