Projet

Général

Profil

Wiki » Historique » Version 91

Patrice Nadeau, 2023-12-31 11:11

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