Projet

Général

Profil

Wiki » Historique » Version 154

Patrice Nadeau, 2024-01-14 11:51

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