Wiki » Historique » Version 95
Patrice Nadeau, 2023-12-31 11:26
1 | 1 | Patrice Nadeau | # Règles de codage C |
---|---|---|---|
2 | |||
3 | 68 | Patrice Nadeau | Le langage C, version [C99] (https://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf) utilisé avec le compilateur [GCC](https://gcc.gnu.org/). |
4 | 1 | Patrice Nadeau | > `gcc` n'est pas entièrement compatible avec le standard C99 (<https://gcc.gnu.org/c99status.html>). |
5 | |||
6 | --- |
||
7 | 73 | Patrice Nadeau | |
8 | {{>toc}} |
||
9 | 1 | Patrice Nadeau | |
10 | ## Style |
||
11 | |||
12 | 6 | Patrice Nadeau | Le code DOIT : |
13 | 5 | Patrice Nadeau | * Être dans le style [K&R](https://fr.wikipedia.org/wiki/Style_d%27indentation#Style_K&R) avec la variante *one true brace style* (1TBS): |
14 | 1 | Patrice Nadeau | * L’indentation est de 4 espaces |
15 | * Le « backslash » est utilisé pour les lignes de plus de 80 caractères |
||
16 | * Une instruction par ligne |
||
17 | * Une espace avant et après un opérateur sauf pour les opérateurs « [unaires](https://fr.wikipedia.org/wiki/Op%C3%A9ration_unaire) » |
||
18 | 52 | Patrice Nadeau | * Les commentaires DOIVENT |
19 | * Être de style C (/* ... */) |
||
20 | 50 | Patrice Nadeau | * En minuscules et commencer par une majuscule |
21 | 52 | Patrice Nadeau | * En français |
22 | 50 | Patrice Nadeau | * Précéder l’élément à documenté |
23 | 1 | Patrice Nadeau | |
24 | 46 | Patrice Nadeau | Justifications : |
25 | 1 | Patrice Nadeau | * [K&R](https://fr.wikipedia.org/wiki/Style_d%27indentation#Style_K&R) |
26 | * Prévient les erreurs lors d'ajout dans les boucles n'ayant qu'une instruction comme bloc |
||
27 | 46 | Patrice Nadeau | * Support ASCII 7-bits |
28 | * Correspondance avec la fiche technique (datasheet) |
||
29 | 1 | Patrice Nadeau | * [Loi sur la langue officielle et commune du Québec, le français](https://www.publicationsduquebec.gouv.qc.ca/fileadmin/Fichiers_client/lois_et_reglements/LoisAnnuelles/fr/2022/2022C14F.PDF) |
30 | |||
31 | Exemple : |
||
32 | ``` c |
||
33 | 47 | Patrice Nadeau | int fonction(void) { |
34 | 1 | Patrice Nadeau | int x; |
35 | if (var != 1) { |
||
36 | x = x + 1; |
||
37 | 14 | Patrice Nadeau | y++; |
38 | 91 | Patrice Nadeau | /* Longue ligne */ |
39 | 1 | Patrice Nadeau | printf("This is a long\ |
40 | line that should be splitted"); |
||
41 | } else { |
||
42 | 16 | Patrice Nadeau | x--; |
43 | }; |
||
44 | 20 | Patrice Nadeau | return 0; |
45 | } |
||
46 | ``` |
||
47 | |||
48 | 93 | Patrice Nadeau | ## Commentaires Doxygen |
49 | La documentation est faite a l'aide de commentaires [Doxygen](https://www.doxygen.nl/) : |
||
50 | 94 | Patrice Nadeau | * Dans le format [Javadoc](https://www.doxygen.nl/manual/docblocks.html) (`/** */`) |
51 | 1 | Patrice Nadeau | * Chaque objet DOIT être commenté/documenté : |
52 | 94 | Patrice Nadeau | * `@brief` |
53 | 1 | Patrice Nadeau | * Les « décorations » (gras, italique, etc.) sont faites avec la syntaxe Markdown |
54 | 94 | Patrice Nadeau | * Gras : `*` |
55 | * Italique : `_` |
||
56 | 95 | Patrice Nadeau | * La gradations de notes et remarques se fait selon |
57 | * `@remark` : Non importante |
||
58 | * `@note` : Générale |
||
59 | * `@attention` : Important |
||
60 | * `@warning` : Conséquence négative |
||
61 | |||
62 | 90 | Patrice Nadeau | |
63 | Exemple : |
||
64 | ``` c |
||
65 | /** |
||
66 | * @brief Fonction principale |
||
67 | * @return Une valeur |
||
68 | * @remark Note non importante |
||
69 | * @note Note générale |
||
70 | * @attention Note importante |
||
71 | * @warning Note conséquence négative |
||
72 | */ |
||
73 | 92 | Patrice Nadeau | int fonction(void); |
74 | 90 | Patrice Nadeau | ``` |
75 | |||
76 | 1 | Patrice Nadeau | ## Fichiers |
77 | Le nom des fichiers DOIT être composé de la manière suivante : |
||
78 | * En minuscule |
||
79 | 79 | Patrice Nadeau | * Un préfixe de 8 caractères maximum |
80 | * Un des suffixe (extensions) suivants : |
||
81 | * `.h` : entête |
||
82 | * `.c` : sources |
||
83 | * Contient une section Doxygen : |
||
84 | * `@file` |
||
85 | * `@brief` |
||
86 | * `@version` |
||
87 | * `@date` |
||
88 | * `@author` |
||
89 | * `@copyright` |
||
90 | 1 | Patrice Nadeau | * Les fichier d’entête contiennent en plus |
91 | * Une section Doxygen « mainpage » |
||
92 | 79 | Patrice Nadeau | * Une définition macro pour éviter de ré-inclure le fichier. |
93 | 1 | Patrice Nadeau | |
94 | Exemple : |
||
95 | ```c |
||
96 | #ifndef _test_h |
||
97 | #define _test_h |
||
98 | /** |
||
99 | * @file : test.h |
||
100 | * @brief Description |
||
101 | * @version 0.00.01 |
||
102 | * @date 2023-02-26 |
||
103 | * @author Patrice Nadeau <pnadeau@patricenadeau.com> |
||
104 | * @copyright 2023 Patrice Nadeau |
||
105 | */ |
||
106 | |||
107 | /** |
||
108 | * @mainpage lcd |
||
109 | 37 | Patrice Nadeau | * @brief ATMEL AVR 8-bit C librairie |
110 | 1 | Patrice Nadeau | * @author Patrice Nadeau <pnadeau@patricenadeau.com> |
111 | * @version 0.0.02 |
||
112 | * @date 2023-03-27 |
||
113 | 54 | Patrice Nadeau | * @pre AVR supportés (testés en gras) : |
114 | 1 | Patrice Nadeau | * - ATmega88 |
115 | * - ATmega168 |
||
116 | 15 | Patrice Nadeau | * - **ATmega328P** |
117 | 1 | Patrice Nadeau | * @copyright |
118 | 13 | Patrice Nadeau | * @include{doc} LICENSE.txt |
119 | 1 | Patrice Nadeau | */ |
120 | |||
121 | ... |
||
122 | |||
123 | #endif /*_usart.h*/ |
||
124 | ``` |
||
125 | |||
126 | 85 | Patrice Nadeau | --- |
127 | 82 | Patrice Nadeau | |
128 | 60 | Patrice Nadeau | ## Objets |
129 | 1 | Patrice Nadeau | |
130 | 31 | Patrice Nadeau | * Comporter au maximum **31** caractères |
131 | * Être séparées par des traits de soulignement si comporte plusieurs mots |
||
132 | * Exceptions : |
||
133 | * Fonction et variables DOIVENT |
||
134 | * Être en minuscule |
||
135 | * Macros, constantes et `#define` DOIVENT |
||
136 | * Être en majuscule |
||
137 | 1 | Patrice Nadeau | |
138 | Justification : |
||
139 | * Linux kernel coding style : <https://www.kernel.org/doc/html/v4.10/process/coding-style.html#naming> |
||
140 | * GNU Coding Standards <https://www.gnu.org/prep/standards/html_node/Writing-C.html#Writing-C> |
||
141 | * Embedded C Coding Standard : <https://barrgroup.com/embedded-systems/books/embedded-c-coding-standard> |
||
142 | |||
143 | 61 | Patrice Nadeau | ### Déclarations locales |
144 | 1 | Patrice Nadeau | |
145 | Une déclaration n’ayant qu’une visibilité locale DOIT : |
||
146 | * Être de classe `static` |
||
147 | |||
148 | Exemple: |
||
149 | ``` c |
||
150 | /** |
||
151 | 75 | Patrice Nadeau | * @brief Fonction locale |
152 | * @return Une valeur |
||
153 | */ |
||
154 | 7 | Patrice Nadeau | static int local_func(void) { |
155 | 1 | Patrice Nadeau | ... |
156 | return 0; |
||
157 | } |
||
158 | ``` |
||
159 | |||
160 | 62 | Patrice Nadeau | ### Constantes |
161 | 1 | Patrice Nadeau | |
162 | Utilisé au lieu d’une macro quand le type ou la visibilité de la variable doit être définis. |
||
163 | |||
164 | Exemple : |
||
165 | |||
166 | ``` c |
||
167 | /** |
||
168 | 38 | Patrice Nadeau | * @name Liste des constantes |
169 | 1 | Patrice Nadeau | * @brief |
170 | */ |
||
171 | /** @{ */ |
||
172 | 38 | Patrice Nadeau | /** @brief La chaîne d'initialisation du projet */ |
173 | 1 | Patrice Nadeau | static const char INIT_STR[6] = "POWER"; |
174 | 38 | Patrice Nadeau | /** @brief Constante globale de la librairie `random` */ |
175 | 1 | Patrice Nadeau | extern int RANDOM_MAX = 25; |
176 | /** @} */ |
||
177 | |||
178 | 38 | Patrice Nadeau | /** @brief Constante */ |
179 | 1 | Patrice Nadeau | const int ANSWER 42; |
180 | ``` |
||
181 | |||
182 | 63 | Patrice Nadeau | ### Énumérations |
183 | 1 | Patrice Nadeau | |
184 | DOIT être utilisée pour définir une série de valeurs. |
||
185 | |||
186 | Exemple : |
||
187 | ```c |
||
188 | /** |
||
189 | 76 | Patrice Nadeau | * @name Liste des valeurs STATUS |
190 | 1 | Patrice Nadeau | * @brief |
191 | * */ |
||
192 | enum STATUS { |
||
193 | 76 | Patrice Nadeau | /** @brief Le processus est OK */ |
194 | 1 | Patrice Nadeau | STATUS_OK = 0, |
195 | 76 | Patrice Nadeau | /** @brief Le processus est en cours d'initialisation */ |
196 | 1 | Patrice Nadeau | STATUS_INIT, |
197 | 76 | Patrice Nadeau | /** @brief Le processus est arrêté */ |
198 | 1 | Patrice Nadeau | STATUS_HALTED |
199 | }; |
||
200 | ``` |
||
201 | |||
202 | 64 | Patrice Nadeau | ### Typedef |
203 | 1 | Patrice Nadeau | |
204 | Format : |
||
205 | * En minuscule, suivie de **_t** |
||
206 | |||
207 | Exemple : |
||
208 | ``` c |
||
209 | 39 | Patrice Nadeau | /** Type de la structure dans la librairie `ds1305` */ |
210 | 1 | Patrice Nadeau | typedef struct { |
211 | 39 | Patrice Nadeau | /** @brief Dernier deux chiffres : ≥ 00, ≤ 99 */ |
212 | 1 | Patrice Nadeau | uint8_t year; |
213 | /** @brief 01 - 12 */ |
||
214 | uint8_t month; |
||
215 | /** @brief 01 - 31 */ |
||
216 | uint8_t date; |
||
217 | /** @brief 1 - 7 */ |
||
218 | uint8_t day; |
||
219 | /** @brief 00 - 23 */ |
||
220 | uint8_t hours; |
||
221 | /** @brief 00 - 59 */ |
||
222 | uint8_t minutes; |
||
223 | /** @brief 00 - 59 */ |
||
224 | uint8_t seconds; |
||
225 | } ds1305_time_t; |
||
226 | ``` |
||
227 | |||
228 | 65 | Patrice Nadeau | ### Variables |
229 | 1 | Patrice Nadeau | |
230 | Exemple : |
||
231 | ``` c |
||
232 | 40 | Patrice Nadeau | /** @brief Variable locale */ |
233 | 1 | Patrice Nadeau | static int ctr; |
234 | 40 | Patrice Nadeau | /** @brief Variable globale */ |
235 | int RANDOM_CTR; |
||
236 | 1 | Patrice Nadeau | ``` |
237 | |||
238 | 66 | Patrice Nadeau | ### Structures |
239 | 1 | Patrice Nadeau | |
240 | Format |
||
241 | * En minuscule, séparé par des «underscores» si nécessaire. |
||
242 | |||
243 | Exemple : |
||
244 | ``` c |
||
245 | /** |
||
246 | 76 | Patrice Nadeau | * @brief Structure d'un menu local |
247 | 1 | Patrice Nadeau | * @see MenuSelect |
248 | */ |
||
249 | struct menu { |
||
250 | 76 | Patrice Nadeau | /** @brief Caractère utilisé pour l'item */ |
251 | 8 | Patrice Nadeau | char choice; |
252 | 76 | Patrice Nadeau | /** @brief Description de l'item */ |
253 | 8 | Patrice Nadeau | char *item; |
254 | 1 | Patrice Nadeau | }; |
255 | ``` |
||
256 | |||
257 | 67 | Patrice Nadeau | ### Fonctions |
258 | 1 | Patrice Nadeau | |
259 | Le nom DOIT être dans le format suivant : *Action***_***Item***_***Attribut*, où *Action* signifie : |
||
260 | 29 | Patrice Nadeau | * **set**, **get**, **clear** : Règle, obtient ou vide un registre |
261 | 1 | Patrice Nadeau | * **read**, **write** : Lis ou écris dans un fichier |
262 | * **init** : Fonction d’initialisation |
||
263 | * **is** : Vérifie un état |
||
264 | 36 | Patrice Nadeau | * **setup** : Fonction de configuration des ports (AVR) |
265 | 1 | Patrice Nadeau | |
266 | Exceptions |
||
267 | 41 | Patrice Nadeau | * Les fonctions définies dans une librairie de bas niveau pour du matériel (« driver ») devraient utiliser le nom définis dans la fiche technique. |
268 | 1 | Patrice Nadeau | |
269 | Une fonction DEVRAIT retourner une valeur. |
||
270 | 28 | Patrice Nadeau | * Type entier (oui/non) : |
271 | 1 | Patrice Nadeau | * Succès : **0** |
272 | * Erreur : **1** |
||
273 | * Type booléen (Librairie `<stdbool.h>`) |
||
274 | * **true** |
||
275 | * **false** |
||
276 | * Pointeur : |
||
277 | * **NULL** : Erreur |
||
278 | * Autre valeur : adresse du pointeur |
||
279 | |||
280 | Justification : |
||
281 | * [AVR1000b](https://ww1.microchip.com/downloads/en/Appnotes/AVR1000b-Getting-Started-Writing-C-Code-for-AVR-DS90003262B.pdf) |
||
282 | |||
283 | Exemple : |
||
284 | |||
285 | ``` c |
||
286 | /** |
||
287 | 42 | Patrice Nadeau | * @brief Vérifie si une horloge est est initialisée |
288 | 76 | Patrice Nadeau | * @param[in] nb Timer number. @n Valeurs possibles : |
289 | 24 | Patrice Nadeau | * − @arg **TIMER_1** |
290 | * − @arg **TIMER_2** |
||
291 | 1 | Patrice Nadeau | * @return |
292 | * @retval true Horloge *nb* est initialisée |
||
293 | 42 | Patrice Nadeau | * @retval false Horloge *nb* n'est PAS initialisée |
294 | 1 | Patrice Nadeau | * @pre init_timer |
295 | **/ |
||
296 | static bool is_timer_set(uint8_t nb); |
||
297 | |||
298 | ``` |
||
299 | |||
300 | ## Items déconseillés et retirés |
||
301 | 59 | Patrice Nadeau | |
302 | 76 | Patrice Nadeau | Les fonctions et variables ne devant plus être utilisés, DOIVENT générer un message lors de la compilation (`-Wall`) si un appel est effectué. |
303 | 80 | Patrice Nadeau | * Les attributs`deprecated` ou `unavailable` DOIVENT être ajoutés à la déclaration. |
304 | 1 | Patrice Nadeau | * La documentation DOIT indiquer les substituts à utiliser. |
305 | 59 | Patrice Nadeau | |
306 | Exemple : |
||
307 | ``` c |
||
308 | /** |
||
309 | * @brief OldFunction |
||
310 | 76 | Patrice Nadeau | * @deprecated Utiliser NewFunction à la place |
311 | 59 | Patrice Nadeau | * @since Version x.x.xx |
312 | */ |
||
313 | 84 | Patrice Nadeau | int OldFunction(void) __attribute__((deprecated)); |
314 | 59 | Patrice Nadeau | |
315 | /** |
||
316 | * @brief OldFunction |
||
317 | 76 | Patrice Nadeau | * @deprecated Utiliser NewFunction à la place |
318 | 1 | Patrice Nadeau | * @since Version x.x.xx |
319 | 59 | Patrice Nadeau | */ |
320 | 84 | Patrice Nadeau | int OldFunction(void) __attribute__((unavailable)); |
321 | 59 | Patrice Nadeau | ``` |
322 | 11 | Patrice Nadeau | |
323 | ## Préprocesseur |
||
324 | 1 | Patrice Nadeau | Directives du préprocesseur gcc. |
325 | |||
326 | ### #include |
||
327 | |||
328 | 43 | Patrice Nadeau | Pour inclure d’autres fichier comme les fichiers entête. |
329 | 1 | Patrice Nadeau | |
330 | ### #ifdef / ifndef |
||
331 | |||
332 | 76 | Patrice Nadeau | Surtout utilisé pour des options de compilation sur différentes plateforme. |
333 | 1 | Patrice Nadeau | Utiliser une forme évitant les répétitions. |
334 | |||
335 | > N’est pas documenté dans Doxygen. |
||
336 | |||
337 | Exemple : |
||
338 | ```c |
||
339 | const char BLUE = |
||
340 | #if ENABLED(FEATURE_ONE) |
||
341 | '1' |
||
342 | #else |
||
343 | '0' |
||
344 | #endif |
||
345 | ; |
||
346 | ``` |
||
347 | |||
348 | ### Diagnostiques |
||
349 | |||
350 | 78 | Patrice Nadeau | Les macros `#warning` et `#error` sont utilisées pour afficher des avertissements ou des erreurs lors de la compilation. |
351 | 1 | Patrice Nadeau | |
352 | > Ne sont pas documentées dans Doxygen. |
||
353 | |||
354 | Exemple : |
||
355 | ``` c |
||
356 | #ifndef usart_AVR |
||
357 | #error "__FILE_NAME__ is not supported on this AVR !" |
||
358 | #endif |
||
359 | |||
360 | #ifndef __test__ |
||
361 | #warning "test is not defined !" |
||
362 | #endif |
||
363 | ``` |
||
364 | |||
365 | ### Définitions |
||
366 | |||
367 | Un `#define` est utilisé pour remplacer une valeur au moment de la compilation |
||
368 | > Pour la définition d'une valeur « integer », un `enum` DOIT être utilisé. |
||
369 | |||
370 | Exemple : |
||
371 | ``` c |
||
372 | /** |
||
373 | 76 | Patrice Nadeau | * @name Nom des registres |
374 | 1 | Patrice Nadeau | */ |
375 | /** @{ */ |
||
376 | /** @brief USART1 */ |
||
377 | #define USART1 REG1 |
||
378 | /** @brief USART2 */ |
||
379 | #define USART2 REG2 |
||
380 | /** @} */ |
||
381 | |||
382 | USART1 = 0x0F; |
||
383 | ``` |
||
384 | |||
385 | ## Atmel AVR |
||
386 | |||
387 | Particularités pour les microcontrôleurs 8 bits AVR d’Atmel. |
||
388 | |||
389 | [Atmel AVR4027: Tips and Tricks to Optimize Your C Code for 8-bit AVR Microcontrollers](https://ww1.microchip.com/downloads/en/AppNotes/doc8453.pdf) |
||
390 | |||
391 | ### Fichier d’en-têtes |
||
392 | |||
393 | 25 | Patrice Nadeau | Vérification du modèle de microcontrôleur |
394 | > Via l'option `-m` de [gcc](https://github.com/embecosm/avr-gcc/blob/avr-gcc-mainline/gcc/config/avr/avr-mcus.def) |
||
395 | |||
396 | 1 | Patrice Nadeau | ```c |
397 | 25 | Patrice Nadeau | #ifndef defined (__AVR_ATmega48__) || (__AVR_ATmega48P__) || \ |
398 | (__AVR_ATmega88P__) || defined (__AVR_ATmega88__) || \ |
||
399 | (__AVR_ATmega168__) || defined (__AVR_ATmega168P__) || \ |
||
400 | (__AVR_ATmega328__) || defined (__AVR_ATmega328P__) |
||
401 | #warning "Cette librairie n'as pas été testée sur cette famille de microcontrôleur." |
||
402 | #endif |
||
403 | 1 | Patrice Nadeau | ``` |
404 | |||
405 | ### Macros |
||
406 | 45 | Patrice Nadeau | |
407 | Définis dans le fichier `config.h` |
||
408 | |||
409 | Liste : |
||
410 | 1 | Patrice Nadeau | * `F_CPU` : La fréquence utilisée par l'horloge (interne ou externe) du microcontrôleur |
411 | |||
412 | > Les « fuses » doivent correspondent à la bonne source de l'horloge. |
||
413 | |||
414 | ### Types |
||
415 | |||
416 | De nouveau type d'entier sont fournis avec la librairie `<stdint.h>`. |
||
417 | |||
418 | L'utilisation de ces types DOIT être utilisé afin d'exprimer le nombre de bit d'un objet. |
||
419 | |||
420 | ### Progmem |
||
421 | 44 | Patrice Nadeau | |
422 | <https://www.avrfreaks.net/s/topic/a5C3l000000U5SFEA0/t034767> |
||
423 | |||
424 | 1 | Patrice Nadeau | Pour mettre des variables en lecture seule dans la section FLASH au lieu de SRAM avec `<avr/pgmspace.h>`. |
425 | > L’accès à ces variables est faite via les macros de la librairie. |
||
426 | |||
427 | Le nom de la variable DOIT être suivie de **_P** |
||
428 | |||
429 | Exemple : |
||
430 | ```c |
||
431 | #include <avr/pgmspace.h> |
||
432 | ... |
||
433 | /** @brief Variable en FLASH */ |
||
434 | const int Variable1_P PROGMEM = 42; |
||
435 | ``` |
||
436 | |||
437 | ### Fonction main |
||
438 | Un microcontrôleur AVR ne termine jamais la fonction `main`. |
||
439 | |||
440 | * Déclarer la fonction main avec l’attribut `noreturn` |
||
441 | * La boucle sans fin la plus optimisé est le `for (;;)` |
||
442 | |||
443 | Justification : [AVR035](https://ww1.microchip.com/downloads/en/AppNotes/doc1497.pdf) |
||
444 | |||
445 | Exemple : |
||
446 | ```c |
||
447 | 26 | Patrice Nadeau | #include <avr/io.h> |
448 | |||
449 | 1 | Patrice Nadeau | /** |
450 | * @brief Never ending loop |
||
451 | */ |
||
452 | 83 | Patrice Nadeau | void main(void) __attribute__((noreturn)); |
453 | 1 | Patrice Nadeau | |
454 | /* main function definition */ |
||
455 | 9 | Patrice Nadeau | void main(void) { |
456 | 1 | Patrice Nadeau | ... |
457 | /* never return */ |
||
458 | for (;;) { |
||
459 | }; |
||
460 | }; |
||
461 | ``` |
||
462 | |||
463 | 70 | Patrice Nadeau | ### Opérations « atomiques » |
464 | 69 | Patrice Nadeau | Opérations ne devant pas être interrompus, comme charger un registre de 16 bits avec un registre de 8 bits. |
465 | 1 | Patrice Nadeau | |
466 | La librairie `avr-libc` (util/atomic.h) fournit des macros permettant la gestion entre autre des interruptions. |
||
467 | |||
468 | Les instructions critiques sont insérées dans un `ATOMIC_BLOCK`. |
||
469 | |||
470 | Exemple : |
||
471 | ```c |
||
472 | 72 | Patrice Nadeau | #include <util/atomic.h> |
473 | 1 | Patrice Nadeau | ... |
474 | ATOMIC_BLOCK(ATOMIC_RESTORESTATE) { |
||
475 | ... |
||
476 | } |
||
477 | ... |
||
478 | ``` |