Projet

Général

Profil

Wiki » Historique » Version 135

Patrice Nadeau, 2024-01-01 12:35

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