Projet

Général

Profil

Wiki » Historique » Version 105

Patrice Nadeau, 2024-01-01 09:47

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