Utilisation d'annotations pour réduire les erreurs de code C/C++
Mise à jour : novembre 2007
Les annotations permettent aux fonctions de déclarer explicitement un comportement. 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 /Tc, /Tp, /TC, /TP (Spécifier le type de fichier source). |
|
Méthode d'annotation du code C/C++ qui est compilé à l'aide de l'option /Tc, /Tp, /TC, /TP (Spécifier le type de fichier source). |
|
Répertorie et décrit les propriétés qui peuvent être utilisées lorsque le code est annoté. |