Projet

Général

Profil

Wiki » Historique » Version 150

Patrice Nadeau, 2024-01-06 10:54

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