Projet

Général

Profil

Wiki » Historique » Version 90

Patrice Nadeau, 2023-12-31 11:10

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