Projet

Général

Profil

Wiki » Historique » Version 92

Patrice Nadeau, 2023-12-31 11:13

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