TetaTricks/chap/C.tex

\chapter{Le langage C}
\label{C}\index{C}

Un chapitre un peu particulier, puisque c'est le début d'une
initiation au langage C pour les non-codeurs qui souhaitent
rentrer dans le sujet à la dure.

Certaines des explications qui vont suivre ne sont pas très
rigoureuses, mais montrent bien les principes généraux et
les erreurs classiques. La futilité des exemples est assumée.

Les détails nécessaires seront présentés dans la suite.

% ---------------------------------------------------------

\section{Hello World}

Hop, on y va... 

Le tout début d'un programme en C est l'appel par
le \textsl{runtime} d'une fonction 
nommée \texttt{main} qui reçoit deux paramètres
dont l'utilisation est décrite un peu plus bas.
Ces paramètres sont fournis par le système d'exploitation.

\lstinputlisting[language=c]{code/hello.c}

Un fois passé l'entrée, nous somme dans la partie active.
Nous appelons à ce moment la fonction \texttt{printf}
qui a pour but d'afficher sur l'écran le texte
passé en paramètre.

Voila, c'est fait. Nous savons dire bonjour au monde. 
Point suivant~: dire boujour à quelqu'un d'autre. Et pour
cela il nous fait récupérer un argument depuis la ligne
de commande.

% ---------------------------------------------------------

\section{Arguments}

Expliquons maintenant les deux paramètres
\texttt{argc} et \texttt{argv} du point d'entrée du programme
(la fonction main).
Le premier est le nombre de "mots" détectés par l'interpréteur
de commande qui va lancer votre proggy, et le second est
un tableau de chaines de caractères contenant ces différents mots.

Ce petit bout de code va nous afficher tout ça~:

\lstinputlisting[language=c]{code/arguments.c}

Et voici un exemple d'exécution depuis un shell~:\index{shell}

\begin{verbatim}
$ ./arguments un deux "trois quatre"
    0     ./arguments
    1     un
    2     deux
    3     trois quatre
$ 
\end{verbatim}

Nous constatons que la première valeur affichée est en fait
le nom de notre programme, ou plutôt le chemin vers le fichier
exécutable, et surtout que son indice est 0, ce qui semble
logique\footnote{Rez-de-chaussée, premier étage, toussa\dots}.
En C, les tableaux commencent toujours à l'indice 0.

Pour le traitement des options, il faut sauter à
la page \pageref{getopt}.

% ---------------------------------------------------------
\section{Les variables}

En gros, une variable du C est une zone de mémoire destinée
à contenir une valeur.
Une variable peut être caractérisée par trois choses~:
son nom, son type, et sa portée.

\textbf{Le nom} : Il doit commencer par une
lettre\footnote{To be ASCII or not to be ?} majuscule ou minuscule,
laquelle peut être suivie d'un nombre suffisant de lettres, de chiffres
et du caractère 'souligné'. La différence de casse est signifiante.

\textbf{Le type} : C'est une désignation du genre d'information
que l'on peut stocker dans une variable.

\textbf{La portée} : 

% ---------------------------------------------------------
\section{Les fonctions}

Nous avons vu brièvement dans la première section de ce chapitre
la fonction \texttt{main} et ses deux paramètres.
Il est temps de préciser les détails.

XXX\index{XXX}

% ---------------------------------------------------------

\section{Entrées / Sorties}
\index{stdin} \index{stdout} \index{stderr}

\subsection{Les trois flux canoniques}

\texttt{stdin}, \texttt{stdout} et \texttt{stderr}\dots

Par défaut, au lancement du programme, ces trois canaux
d'entrée/sortie sont pré-connectés, et donc directement
utilisables.
Le premier (\texttt{stdin}), l'entrée standard, est connecté
au clavier du consoliste\footnote{De quel roman est tiré ce terme ?},
le second (\texttt{stdout}), la sortie standard, permet d'afficher
les résultats du programme sur l'écran,
et le troisème (), la sortie d'erreur, permet d'afficher
les éventuels messages d'erreur.
La différence entre \textsl{out} et \textsl{err} est expliquée
plus loin.

\subsection{IO de base}\index{getchar}\index{putchar}

Les fonctions \texttt{getchar} et \texttt{putchar} sont les plus
simples.
Avec elles, on peut lire un caractère depuis \texttt{stdin},
et afficher un caractère dans \texttt{stdout}. Tout cela semble
très bien, mais la fonction de lecture est piégeuse
"\textsc{It's a trap}", comme nous allons bientôt le voir.

Vous devez logiquement penser que si nous allons lire un caractère
depuis l'entrée du programme, nous pouvons utiliser une variable de
type \texttt{char}, puisque ce type est prévu pour stocker un
caractère. Seulement, pour indiquer l'abscence de caractère,
la fin du fichier, il nous faut une valeur \textsl{out of band}
et donc getchar renvoit en fait un \texttt{int} dont une valeur
particulière sera nommée \texttt{EOF}, \textsl{end of file}.

\begin{verbatim}
while (EOF != (foo=getchar())) { ....
\end{verbatim}

Voilà un piège éliminé, et vous trouverez un exemple complet
un peu plus loin.

\subsection{Écrire : \texttt{printf}}
\index{printf}

La fonction \texttt{printf} permet d'afficher le contenu d'une
(ou plusieurs)
variable sous divers formats contrôlables par un petit DSL.

\begin{verbatim}
int bar, foo = 42;
bar = printf ("foo = %d\n", foo);
\end{verbatim}

La première ligne déclare deux variables dont une (foo) est
initialisée à une valeur connue. La seconde ligne appelle
la fonction '\texttt{printf}' avec les paramêtres appropriés et
conserve la valeur de retour de celle-ci.

Le premier de ces paramêtres, \texttt{"foo = \%d\textbackslash{}n"},
est appelé \emph{chaine de format}. C'est une chaine de caractères
que l'on peut classer en trois catégories~:

\begin{itemize}

\item{\textsl{caractères crus} : ils sont directements poussés vers
la sortie. La plupart d'entre eux donnent le résultat attendu.}

\item{\textsl{codes de format} : les fragments qui commencent par le
caractère '\%'. Ils servent à contrôler l'apparence de ce qui va
suivre. Par exemple \texttt{\%x} va afficher un int en hexadécimal}

\item{\textsl{échappements} : les caractères précédés d'un
'\textbackslash' ou \textsl{backslash}\footnote{barre-penchée-du-8}
permettent d'inclure dans la chaine de format des caractères
non imprimables.
Par exemple, \texttt{'\textbackslash{}n'} va générer le caractère
\textsl{newline} qui marque la fin d'une ligne de texte.
}

\end{itemize}

Quand à la valeur de retour, elle contient le nombre de caractères
efectivement écrits. Ce nombre peut être différent du nombre attendu,
par exemple si le disque est saturé.

Ce nombre peut être utilisé pour un affichage de multiples données
en limitant la taille des lignes.

\begin{verbatim}
int foo, nbre = 0;
for (foo=0; foo<1000; foo++) {
        nbre += printf("%d ", foo);
        if (nbre > 62) {
                putchar('\n'); nbre = 0;
                }
        }
\end{verbatim}

\subsection{Lire : \texttt{scanf}}
\index{scanf}

Avez-vous bien révisé la section qui cause des pointeurs ?
Êtes-vous prèt à d'étranges comportements ?
Alors les subtilités de scanf vont vous plaire.

\textit{To be continued...}

\subsection{Les fichiers}\index{fopen}\index{fclose}

Lire et écrire depuis les flux gérés par le système, c'est bien, mais
c'est mieux de pouvoir faire la même chose depuis ou vers un fichier
enregistré. Il nous faut un moyen pour se 'connecter' à un ficher, et
y balancer des trucs à grand coup de printf.

Ce mécanisme passe par la fonction \texttt{fopen} et \texttt{fclose}.
La première va nous renvoyer (si tout se passe bien) un pointeur
sur une structure opaque de type \texttt{FILE *} qui pourra être
utilisé dans la suite des opérations. Voici son prototype~:

\begin{verbatim}
#include  <stdio.h>
FILE *fopen(const char *pathname, const char *mode);
\end{verbatim}

Le premier paramêtre est le nom du fichier concerné, possiblement avec
son chemin d'accès (absolu ou relatif), comme \texttt{"foo.fimg"},
\texttt{"/var/tmp/foo.data"} ou \texttt{"./bla.txt"}. 
Le second est le mode d'accès à ce fichier. Ce mode précise, entre
autres, si nous souhaitons lire ou écrire dans ce fichier.
La valeur retournée par cette fonction est un pointeur qui peut
être égal à \texttt{NULL} en cas d'erreur~: par exemple le fichier
n'existe pas ou ne peut pas être crée.

Notre fichier est maintenant ouvert, la fonction \texttt{fprintf} va
nous permettre d'écrire quelque chose dedans. Elle est analogue au
\texttt{prinf} vu un peu plus tôt, sauf qu'elle demande un
argument supplémentaire, et c'est justement le pointeur retourné
par \texttt{fopen}~:

\begin{verbatim}
int fprintf(FILE *stream, const char *format, ...);
\end{verbatim}


% ---------------------------------------------------------

\section{Un filtre Unix}\label{filtre-unix}

Ce qu'on appelle un "filtre" est un logiciel destiné à transformer
les données qui le traversent. Pour bien comprendre, le mieux,
comme d'habitude, est un exemple. Il est un peu artificiel,
il s'agit d'éliminer les lettres \textsc{o} et \textsc{p}.
Le voici~:

\lstinputlisting[language=c]{code/no-op.c}

Démonstration~:

\begin{verbatim}
$ echo apopoz | ./no-op
az
$ ./no-op < no-op.c | head -5
/*
 *	n-.c is an useless shell filter
 */
#include  <stdi.h>
#include  <ctye.h>
$
\end{verbatim}

Pour une explication plus détaillée sur les mécanismes
utilisés et les usages possibles d'un tel filtre,
il faut voir le concept de pipeline du shell en
page \pageref{pipeline}.

% ---------------------------------------------------------

\section{Les pointeurs}\label{pointeur}\index{pointeur}

\textbf{Ah, enfin, on a failli attendre !}

Qu'est-ce qu'un pointeur ? La réponse est multiple, et c'est
le pointeur qui fait à la fois la force et la faiblesse du C.
Pour faire simple, un pointeur est une variable qui contient
l'adresse dans la mémoire d'une autre variable.

Mais en fait c'est un peu plus subtil : un pointeur « connait » la taille
de l'objet pointé, et peut donc « parcourir » un tableau de ces objets.

\begin{verbatim}
Objet        tableau[N];
Objet        *ptr;
ptr = tableau;             //   *ptr désigne tableau[0];
ptr++;                     //   *ptr désigne tableau[1];
\end{verbatim}


% ---------------------------------------------------------

\section{Le préprocesseur}\index{cpp}

Nous avons déja abordé de loin la directive \texttt{\#include},
qui fait partie du préprocesseur, comme toutes les lignes
de code commençant par le caractère \textbf{\#}.
Le concept de base, qu'il faut bien capter, est que le
préprocesseur pratique des \emph{substitutions de texte}.
Pratiquement, il se passe ça~:

\begin{verbatim}
#define    NUMID        1664
#define    FLAVOUR      "tisane"
printf("La %d c'est de la %s\n", NUMID, FLAVOUR);
\end{verbatim}

Ces trois lignes de code
(deux directives pour cpp et un appel classique de fonction)
seront converties en une seule ligne de C.

\begin{verbatim}
printf("La %d c'est de la %s\n", 1664, "tisane");
\end{verbatim}

C'est donc cette ligne qui sera ensuite passée au vrai compilateur
pour être traduite en codes opératoires, dont l'exécution
affichera une maxime dont la véracité demande à être vérifiée
par l'expérimentation. Mais ça n'est pas fini.

Ce sympathique \textsf{préproc'} nous permet aussi de faire
de la compilation conditinnelle, et ça, c'est cool parce que
ça ouvre la porte à plein de choses.
Par exemple, l'instrumentation du code afin de faciliter
les tests et le debug.

\begin{verbatim}
...
#ifdef TRACEUR
fprintf(stderr, "pid %d was here.\n", getpid());
#endif
...
\end{verbatim}

Et à la compilation, il vous faut passer l'option
\texttt{-DTRACEUR} à Gcc pour que ce message de trace soit
pris en compte. 

% ---------------------------------------------------------

\subsection{Les macros}

Une chose très fourbe dont voici un exemple ?

\begin{verbatim}
#define pixidx(fi,x,y) (((y)*fi->width)+(x))
#define getRpix(fi,x,y) (fi->R[ pixidx(fi,(x),(y)) ])
#define getGpix(fi,x,y) (fi->G[ pixidx(fi,(x),(y)) ])
#define getBpix(fi,x,y) (fi->B[ pixidx(fi,(x),(y)) ])
\end{verbatim}

Finalemant, ça n'est pas si compliqué que ça.
Il suffit juste de savoir protéger les choses fragiles
avec des parenthèses. Partout.


% =========================================================


\section{Unités de compilation}

Jusque à maintenant, nous n'avons vu que des programmes dont
le code source n'était que dans un seul fichier, ce qui devient
vite ingérable pour un gros projet. C permet facilement
de faire de la compilation séparée~: chacun des fichiers source
est compilé indépendament en un fichier \textsl{objet}, lesquels
seront ensuite \textbf{liés} pour obtenir l'exécutable final.

Mais découper un gros logiciel en plusieurs fichiers source 
a d'autres avantages.

% ---------------------------------------------------------

\section{Les structures}

Une structure est une sorte de boite dans laquelle on peut
ranger plusieurs variables afin de les manipuler comme
une seule entité.

XXX

% ---------------------------------------------------------

\section{Gestion de la mémoire}
\index{malloc} \index{free}

Nous avons déja entrevu la gestion « implicite » de la mémoire
avec les variables locales. Il est temps de passer à une gestion
explicite de celle-ci~:
les fonctions \texttt{malloc} et \texttt{free} sont là pour ça.

La première demande au mc/p de nous préter une certaine quantité
de mémoire, que nous pourront utiliser à notre guise.
Et la seconde restitue la zone mémoire au système sous-jacent.

Un rapide synopsis minimal d'utilisation~:

\begin{verbatim}
int     foo, *ptr;
if (NULL==(ptr=malloc(sizeof(int)*NBITEMS)))      abort();
for (foo=0; foo<NBITEMS; foo++)                   ptr[foo] = rand();
do_something(ptr);
free(ptr);
\end{verbatim}

Pour les besoins de la démo, nous avons deux variables, l'une
est entière (\texttt{foo}) et l'autre, \texttt{ptr}, est
un pointeur sur $N$ entiers.
Ce pointeur est initialisé sur la seconde ligne par un appel
à la fonction \texttt{malloc(3)} avec en paramètre le
nombre d'\textbf{octets} que nous voulons emprunter.
Ce nombre est ici calculé en multipliant le nombre de case
désiré par la taille de la case, une bonne occasion de
découvrir l'opérateur \texttt{sizeof}\dots

La boucle \texttt{for} de la ligne suivante insère des données
pertinentes dans notre tableau. Lesquelles données seront
habilement traitées sur la ligne suivante par l'appel
de cette fonction~:

\begin{verbatim}
void do_something(int values[])
{
int       foo;
double    sum = 0.0;
for (foo=0; foo<NBITEMS; foo++)     sum += (double)values[foo];
printf("sum is %g\n", sum);
}
\end{verbatim}

Et finalement, nous avons réussi à générer un \textsl{useless number}.
Notre mission est terminée, nous rendons notre bloc de mémoire
au mc/p avec \texttt{free(ptr);}.

% ---------------------------------------------------------

\section{Gérer les options}\index{getopt}\label{getopt}

\begin{verbatim}
#include <unistd.h>
int getopt(int argc, char * const argv[], const char *optstring);
extern char *optarg;
extern int optind, opterr, optopt;
\end{verbatim}

La page de man de getopt(3) contient des explications détaillées
et un exemple simple d'utilisation.

% ---------------------------------------------------------

\section{Erreurs classiques}

\begin{itemize}
\item{Variables non initialisées.}

\item{Sortir d'un tableau (par le haut ou par le bas).}

\item{Dépassement de la taille d'une chaine.}

\item{Libérer deux fois la mémoire.}

\item{\textsl{file pointer} invalide.}
\end{itemize}

% =========================================================

\section{Random} \index{ramdom} \label{c-random}

XXX \index{XXX}

% =========================================================

\section{Debug} \index{Debug}

Des outils et astuces en page \pageref{chap:debug}.

\begin{quote}
splint is an annotation-assisted lightweight static checker.
It is a tool for
statically checking C programs for security vulnerabilities and coding
mistakes.
If additional effort is invested in adding annotations to programs,
splint can perform stronger checking.
\end{quote}

% =========================================================
\section{Legalize}

"The two forms of conforming implementation are hosted and freestanding.
A conforming hosted implementation shall accept any strictly conforming
program. A conforming freestanding implementation shall accept any
strictly conforming program in which the use of the features specified
in the library clause (Clause 7) is confined to the contents of the
standard headers <float.h> , <iso646.h> , <limits.h> , <stdalign.h> ,
<stdarg.h> , <stdbool.h> , <stddef.h> , <stdint.h> , and <stdnoreturn.h>
. Additionally, a conforming freestanding implementation shall accept
any strictly conforming program in which the use of the features
specified in the header <string.h> , except the following functions:
strdup , strndup , strcoll , strxfrm , strerror ." (4p6)


% =========================================================

\section{Dessiner}

\subsection{G2} \index{g2} \label{g2}

\begin{quote}
\textbf{g2} is a simple to use graphics library for 2D graphical applications
written in \textit{ANSI C}. This library provides a comprehensive set of
functions for simultaneous generation of graphical output on different
types of devices.
\end{quote}

\lstinputlisting[language=c]{code/g2/un_dessin.c}


% =========================================================

\section{Ailleurs dans cet ouvrage}

Il y a plein d'autres exemples de code en C, sur des sujets
divers comme Open Sound Control (page \pageref{chap:OSC}) ou
libsndfile (page \pageref{chap:son}).
Et pour les gens du système~:
l'utilisation des signaux (page \pageref{get-signal}), 
le chargement dynamique d'un \textsl{plug-in} (page \pageref{ex_dlopen}).


% ---------------------------------------------------------