Projet

Général

Profil

Wiki » Historique » Version 94

Patrice Nadeau, 2023-12-31 11:21

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