Projet

Général

Profil

Wiki » Historique » Version 74

Patrice Nadeau, 2023-09-03 20:27

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