3. Les bases du langage C

3.1. Introduction

Nous traitons C# d'abord comme un langage de programmation classique. Nous aborderons les classes ultérieurement. Dans un programme on trouve deux choses :

des données
les instructions qui les manipulent

On s'efforce généralement de séparer les données des instructions :

3.2. Les données de C

C# utilise les types de données suivants:

les nombres entiers
les nombres réels
les nombres décimaux
les caractères et chaînes de caractères
les booléens
les objets

3.2.1. Les types de données prédéfinis

Type C#

Type .NET

Donnée représentée

Suffixe

des valeurs littérales

Codage

Domaine de valeurs

char

Char (S)

caractère

2 octets

caractère Unicode (UTF-16)

string

String (C)

chaîne de caractères

référence sur une séquence de caractères Unicode

int

Int32 (S)

nombre entier

4 octets

[-231, 231-1] [–2147483648, 2147483647]

uint

UInt32 (S)

..

U

4 octets

[0, 232-1] [0, 4294967295]

long

Int64 (S)

..

L

8 octets

[-263, 263 -1] [–9223372036854775808, 9223372036854775807]

ulong

UInt64 (S)

..

UL

8 octets

[0, 264 -1] [0, 18446744073709551615]

sbyte

..

1 octet

[-27 , 27 -1] [-128,+127]

byte

Byte (S)

..

1 octet

[0 , 28 -1] [0,255]

short

Int16 (S)

..

2 octets

[-215, 215-1] [-32768, 32767]

ushort

UInt16 (S)

..

2 octets

[0, 216-1] [0,65535]

float

Single (S)

nombre réel

F

4 octets

[1.5 10-45, 3.4 10+38] en valeur absolue

double

Double (S)

..

D

8 octets

[-1.7 10+308, 1.7 10+308] en valeur absolue

decimal

Decimal (S)

nombre décimal

M

16 octets

[1.0 10-28,7.9 10+28] en valeur absolue avec 28 chiffres significatifs

bool

Boolean (S)

..

1 octet

true, false

object

Object (C)

référence d'objet

Ci-dessus, on a mis en face des types C#, leur type .NET équivalent avec le commentaire (S) si ce type est une structure et (C) si le type est une classe. On découvre qu'il y a deux types possibles pour un entier sur 32 bits : int et Int32. Le type int est un type C#. Int32 est une structure appartenant à l'espace de noms System. Son nom complet est ainsi System.Int32. Le type int est un alias C# qui désigne la structure .NET System.Int32. De même, le type C# string est un alias pour le type .NET System.String. System.String est une classe et non une structure. Les deux notions sont proches avec cependant la différence fondamentale suivante :

une variable de type Structure se manipule via sa valeur
une variable de type Classe se manipule via son adresse (référence en langage objet).

Une structure comme une classe sont des types complexes ayant des attributs et des méthodes. Ainsi, on pourra écrire :

1	`string nomDuType=3.GetType().FullName;`

Ci-dessus le littéral 3 est par défaut de type C# int, donc de type .NET System.Int32. Cette structure a une méthode GetType() qui rend un objet encapsulant les caractéristiques du type de données System.Int32. Parmi celles-ci, la propriété FullName rend le nom complet du type. On voit donc que le littéral 3 est un objet plus complexe qu'il n'y paraît à première vue.

Voici un programme illustrant ces différents points :

using System;

namespace Chap1 {
    class P00 {
        static void Main(string[] args) {
            // exemple 1
            int ent = 2;
            float fl = 10.5F;
            double d = -4.6;
            string s = "essai";
            uint ui = 5;
            long l = 1000;
            ulong ul = 1001;
            byte octet = 5;
            short sh = -4;
            ushort ush = 10;
            decimal dec = 10.67M;
            bool b = true;
            Console.WriteLine("Type de ent[{1}] : [{0},{2}]", ent.GetType().FullName, ent,sizeof(int));
            Console.WriteLine("Type de fl[{1}]: [{0},{2}]", fl.GetType().FullName, fl, sizeof(float));
            Console.WriteLine("Type de d[{1}] : [{0},{2}]", d.GetType().FullName, d, sizeof(double));
            Console.WriteLine("Type de s[{1}] : [{0}]", s.GetType().FullName, s);
            Console.WriteLine("Type de ui[{1}] : [{0},{2}]", ui.GetType().FullName, ui, sizeof(uint));
            Console.WriteLine("Type de l[{1}] : [{0},{2}]", l.GetType().FullName, l, sizeof(long));
            Console.WriteLine("Type de ul[{1}] : [{0},{2}]", ul.GetType().FullName, ul, sizeof(ulong));
            Console.WriteLine("Type de b[{1}] : [{0},{2}]", octet.GetType().FullName, octet, sizeof(byte));
            Console.WriteLine("Type de sh[{1}] : [{0},{2}]", sh.GetType().FullName, sh, sizeof(short));
            Console.WriteLine("Type de ush[{1}] : [{0},{2}]", ush.GetType().FullName, ush, sizeof(ushort));
            Console.WriteLine("Type de dec[{1}] : [{0},{2}]", dec.GetType().FullName, dec, sizeof(decimal));
            Console.WriteLine("Type de b[{1}] : [{0},{2}]", b.GetType().FullName, b, sizeof(bool));
        }
    }
}

ligne 7 : déclaration d'un entier ent
ligne 19 : le type d'une variable v peut être obtenue par v.GetType().FullName. La taille d'une structure S peut être obtenue par sizeof(S). L'instruction Console.WriteLine("... {0} ... {1} ...",param0, param1, ...) écrit à l'écran, le texte qui est son premier paramètre, en remplaçant chaque notation {i} par la valeur de l'expression parami.
ligne 22 : le type string désignant une classe et non une structure, on ne peut utiliser l'opérateur sizeof.

Voici le résultat de l'exécution :

Type de ent[2] : [System.Int32,4]
Type de fl[10,5]: [System.Single,4]
Type de d[-4,6] : [System.Double,8]
Type de s[essai] : [System.String]
Type de ui[5] : [System.UInt32,4]
Type de l[1000] : [System.Int64,8]
Type de ul[1001] : [System.UInt64,8]
Type de b[5] : [System.Byte,1]
Type de sh[-4] : [System.Int16,2]
Type de ush[10] : [System.UInt16,2]
Type de dec[10,67] : [System.Decimal,16]
Type de b[True] : [System.Boolean,1]

L'affichage produit les types .NET et non les alias C#.

3.2.2. Notation des données littérales

1	`entier int (32 bits)`

145, -7, 0xFF (hexadécimal)

1	`entier long (64 bits) - suffixe L`

100000L

1	`réel double`

134.789, -45E-18 (-45 10-18)

1	`réel float (suffixe F)`

134.789F, -45E-18F (-45 10-18)

1	`réel decimal (suffixe M)`

100000M

1	`caractère char`

'A', 'b'

1	`chaîne de caractères string`

"aujourd'hui" "c:\\chap1\\paragraph3" @"c:\chap1\paragraph3"

1	`booléen bool`

true, false

date

new DateTime(1954,10,13) (an, mois, jour) pour le 13/10/1954

        ```text linenums="1"
        On notera les deux chaînes littérales : "c:\\chap1\\paragraph3" et @"c:\chap1\paragraph3". Dans les
        chaînes littérales, le caractère \ est interprété. Ainsi "\n" représente la marque de fin de ligne et non
        la succession des deux caractères \ et n. Si on voulait cette succession, il faudrait écrire "\\n" où la
        séquence \\ est interprétée comme un seul caractère \. On pourrait écrire aussi @"\n" pour avoir le même
        résultat. La syntaxe @"texte" demande que texte soit pris exactement comme il est écrit. On appelle
        parfois cela une chaîne verbatim.
        ```

3.2.3. Déclaration des données

3.2.3.1. Rôle des déclarations

Un programme manipule des données caractérisées par un nom et un type. Ces données sont stockées en mémoire. Au moment de la traduction du programme, le compilateur affecte à chaque donnée un emplacement en mémoire caractérisé par une adresse et une taille. Il le fait en s'aidant des déclarations faites par le programmeur.

Par ailleurs celles-ci permettent au compilateur de détecter des erreurs de programmation. Ainsi l'opération

x=x*2;

sera déclarée erronée si x est une chaîne de caractères par exemple.

3.2.3.2. Déclaration des constantes

La syntaxe de déclaration d'une constante est la suivante :

1	`const type nom=valeur; //définit constante nom=valeur`

Par exemple :

1	`const float myPI=3.141592F;`

Pourquoi déclarer des constantes ?

La lecture du programme sera plus aisée si l'on a donné à la constante un nom significatif :

1	`const float taux_tva=0.186F;`

La modification du programme sera plus aisée si la "constante" vient à changer. Ainsi dans le cas précédent, si le taux de tva passe à 33%, la seule modification à faire sera de modifier l'instruction définissant sa valeur :

1	`const float taux_tva=0.33F;`

Si l'on avait utilisé 0.186 explicitement dans le programme, ce serait alors de nombreuses instructions qu'il faudrait modifier.

3.2.3.3. Déclaration des variables

Une variable est identifiée par un nom et se rapporte à un type de données. C# fait la différence entre majuscules et minuscules. Ainsi les variables FIN et fin sont différentes.

Les variables peuvent être initialisées lors de leur déclaration. La syntaxe de déclaration d'une ou plusieurs variables est :

1	`Identificateur_de_type variable1[=valeur1],variable2=[valeur2],...;`

où Identificateur_de_type est un type prédéfini ou bien un type défini par le programmeur. De façon facultative, une variable peut être initialisée en même temps que déclarée.

On peut également ne pas préciser le type exact d'une variable en utilisant le mot clé var en lieu et place de Identificateur_de_type :

 var variable1=valeur1,variable2=valeur2,...;

Le mot clé var ne veut pas dire que les variables n'ont pas un type précis. La variable variablei a le type de la donnée valeuri qui lui est affectée. L'initialisation est ici obligatoire afin que le compilateur puisse en déduire le type de la variable.

Voici un exemple :

using System;

namespace Chap1 {
    class P00 {
        static void Main(string[] args) {
            int i=2;
            Console.WriteLine("Type de int i=2 : {0},{1}",i.GetType().Name,i.GetType().FullName);
            var j = 3;
            Console.WriteLine("Type de var j=3 : {0},{1}", j.GetType().Name, j.GetType().FullName);
            var aujourdhui = DateTime.Now;
            Console.WriteLine("Type de var aujourdhui : {0},{1}", aujourdhui.GetType().Name, aujourdhui.GetType().FullName);
        }
    }
}

ligne 6 : une donnée typée explicitement
ligne 7 : (donnée).GetType().Name est le nom court de (donnée), (donnée).GetType().FullName est le nom complet de (donnée)
ligne 8 : une donnée typée implicitement. Parce que 3 est de type int, j sera de type int.
ligne 10 : une donnée typée implicitement. Parce que DateTime.Now est de type DateTime, aujourdhui sera de type DateTime.

A l'exécution, on obtient le résultat suivant :

Type de int i=2 : Int32,System.Int32
Type de var j=3 : Int32,System.Int32
Type de var aujourdhui : DateTime,System.DateTime

Une variable typée implicitement par le mot clé var ne peut pas ensuite changer de type. Ainsi, on ne pourrait écrire après la ligne 10 du code, la ligne :

            var aujourdhui = "aujourd'hui";

Nous verrons ultérieurement qu'il est possible de déclarer un type "à la volée" dans une expression. C'est alors un type anonyme, un type auquel l'utilisateur n'a pas donné de nom. C'est le compilateur qui donnera un nom à ce nouveau type. Si une donnée de type anonyme doit être affectée à une variable, la seule façon de déclarer celle-ci est d'utiliser le mot clé var.

3.2.4. Les conversions entre nombres et chaînes de caractères

1	`nombre -> chaîne`

nombre.ToString()

1	`chaine -> int`

int.Parse(chaine) ou System.Int32.Parse

1	`chaîne -> long`

long.Parse(chaine) ou System.Int64.Parse

1	`chaîne -> double`

double.Parse(chaîne) ou System.Double.Parse(chaîne)

1	`chaîne -> float`

float.Parse(chaîne) ou System.Float.Parse(chaîne)

La conversion d'une chaîne vers un nombre peut échouer si la chaîne ne représente pas un nombre valide. Il y a alors génération d'une erreur fatale appelée exception. Cette erreur peut être gérée par la clause try/catch suivante :

try{
    appel de la fonction susceptible de générer l'exception
} catch (Exception e){
    traiter l'exception e
}
instruction suivante

Si la fonction ne génère pas d'exception, on passe alors à instruction suivante, sinon on passe dans le corps de la clause catch puis à instruction suivante. Nous reviendrons ultérieurement sur la gestion des exceptions. Voici un programme présentant quelques techniques de conversion entre nombres et chaînes de caractères. Dans cet exemple la fonction affiche écrit à l'écran la valeur de son paramètre. Ainsi affiche(S) écrit la valeur de S à l'écran où S est de type string.

using System;

namespace Chap1 {
    class P01 {
        static void Main(string[] args) {

            // données
            const int i = 10;
            const long l = 100000;
            const float f = 45.78F;
            double d = -14.98;

            // nombre --> chaîne
            affiche(i.ToString());
            affiche(l.ToString());
            affiche(f.ToString());
            affiche(d.ToString());

            //boolean --> chaîne
            const bool b = false;
            affiche(b.ToString());

            // chaîne --> int
            int i1;
            i1 = int.Parse("10");
            affiche(i1.ToString());
            try {
                i1 = int.Parse("10.67");
                affiche(i1.ToString());
            } catch (Exception e) {
                affiche("Erreur : " + e.Message);
            }

            // chaîne --> long
            long l1;
            l1 = long.Parse("100");
            affiche(l1.ToString());
            try {
                l1 = long.Parse("10.675");
                affiche(l1.ToString());
            } catch (Exception e) {
                affiche("Erreur : " + e.Message);
            }

            // chaîne --> double
            double d1;
            d1 = double.Parse("100,87");
            affiche(d1.ToString());
            try {
                d1 = double.Parse("abcd");
                affiche(d1.ToString());
            } catch (Exception e) {
                affiche("Erreur : " + e.Message);
            }

            // chaîne --> float
            float f1;
            f1 = float.Parse("100,87");
            affiche(f1.ToString());
            try {
                d1 = float.Parse("abcd");
                affiche(f1.ToString());
            } catch (Exception e) {
                affiche("Erreur : " + e.Message);
            }

        }// fin main

        public static void affiche(string S) {
            Console.Out.WriteLine("S={0}",S);
        }
    }// fin classe
}

Lignes 30-32, on gère l'éventuelle exception qui peut se produire. e.Message est le message d'erreur lié à l'exception e.

Les résultats obtenus sont les suivants :

S=10
S=100000
S=45,78
S=-14,98
S=False
S=10
S=Erreur : Input string was not in a correct format.
S=100
S=Erreur : Input string was not in a correct format.
S=100,87
S=Erreur : Input string was not in a correct format.
S=100,87
S=Erreur : Input string was not in a correct format.

On remarquera que les nombres réels sous forme de chaîne de caractères doivent utiliser la virgule et non le point décimal. Ainsi on écrira

1	`double d1=10.7;`

mais

        ```text linenums="1"
        double d2=int.Parse("10,7");
        ```

3.2.5. Les tableaux de données

Un tableau C# est un objet permettant de rassembler sous un même identificateur des données de même type. Sa déclaration est la suivante :

1	`Type[] tableau[]=new Type[n]`

n est le nombre de données que peut contenir le tableau. La syntaxe Tableau[i] désigne la donnée n° i où i appartient à l'intervalle [0,n-1]. Toute référence à la donnée Tableau[i] où i n'appartient pas à l'intervalle [0,n-1] provoquera une exception. Un tableau peut être initialisé en même temps que déclaré :

1	`int[] entiers=new int[] {0,10,20,30};`

ou plus simplement :

1	`int[] entiers={0,10,20,30};`

Les tableaux ont une propriété Length qui est le nombre d'éléments du tableau.

Un tableau à deux dimensions pourra être déclaré comme suit :

Type[,] tableau=new Type[n,m];

où n est le nombre de lignes, m le nombre de colonnes. La syntaxe Tableau[i,j] désigne l'élément j de la ligne i de tableau. Le tableau à deux dimensions peut lui aussi être initialisé en même temps qu'il est déclaré :

1	`double[,] réels=new double[,] { {0.5, 1.7}, {8.4, -6}};`

ou plus simplement :

1	`double[,] réels={ {0.5, 1.7}, {8.4, -6}};`

Le nombre d'éléments dans chacune des dimensions peut être obtenue par la méthode GetLength(i) où i=0 représente la dimension correspondant au 1er indice, i=1 la dimension correspondant au 2ième indice, …

Le nombre total de dimensions est obtenu avec la propriété Rank, le nombre total d'éléments avec la propriété Length.

Un tableau de tableaux est déclaré comme suit :

Type[][] tableau=new Type[n][];

La déclaration ci-dessus crée un tableau de n lignes. Chaque élément tableau[i] est une référence de tableau à une dimension. Ces références tableau[i] ne sont pas initialisées lors de la déclaration ci-dessus. Elles ont pour valeur la référence null.

L'exemple ci-dessous illustre la création d'un tableau de tableaux :

            // un tableau de tableaux
            string[][] noms = new string[3][];
            for (int i = 0; i < noms.Length; i++) {
                noms[i] = new string[i + 1];
            }//for
            // initialisation
            for (int i = 0; i < noms.Length; i++) {
                for (int j = 0; j < noms[i].Length; j++) {
                    noms[i][j] = "nom" + i + j;
                }//for j
            }//for i

ligne 2 : un tableau noms de 3 éléments de type string[][]. Chaque élément est un pointeur de tableau (une référence d'objet) dont les éléments sont de type string[].
lignes 3-5 : les 3 éléments du tableau noms sont initialisés. Chacun "pointe" désormais sur un tableau d'éléments de type string[]. noms[i][j] est l'élément j du tableau de type string [] référencé par noms[i].
ligne 9 : initialisation de l'éélment noms[i][j] à l'intérieur d'une double boucle. Ici noms[i] est un tableau de i+1 éléments. Comme noms[i] est un tableau, noms[i].Length est son nombre d'éléments.

Voici un exemple regroupant les trois types de tableaux que nous venons de présenter :

using System;

namespace Chap1 {
    // tableaux

    using System;

    // classe de test
    public class P02 {
        public static void Main() {
            // un tableau à 1 dimension initialisé
            int[] entiers = new int[] { 0, 10, 20, 30 };
            for (int i = 0; i < entiers.Length; i++) {
                Console.Out.WriteLine("entiers[{0}]={1}", i, entiers[i]);
            }//for

            // un tableau à 2 dimensions initialisé
            double[,] réels = new double[,] { { 0.5, 1.7 }, { 8.4, -6 } };
            for (int i = 0; i < réels.GetLength(0); i++) {
                for (int j = 0; j < réels.GetLength(1); j++) {
                    Console.Out.WriteLine("réels[{0},{1}]={2}", i, j, réels[i, j]);
                }//for j
            }//for i

            // un tableau de tableaux
            string[][] noms = new string[3][];
            for (int i = 0; i < noms.Length; i++) {
                noms[i] = new string[i + 1];
            }//for
            // initialisation
            for (int i = 0; i < noms.Length; i++) {
                for (int j = 0; j < noms[i].Length; j++) {
                    noms[i][j] = "nom" + i + j;
                }//for j
            }//for i
            // affichage
            for (int i = 0; i < noms.Length; i++) {
                for (int j = 0; j < noms[i].Length; j++) {
                    Console.Out.WriteLine("noms[{0}][{1}]={2}", i, j, noms[i][j]);
                }//for j
            }//for i
        }//Main
    }//class
}//namespace

A l'exécution, nous obtenons les résultats suivants :

entiers[0]=0
entiers[1]=10
entiers[2]=20
entiers[3]=30
réels[0,0]=0,5
réels[0,1]=1,7
réels[1,0]=8,4
réels[1,1]=-6
noms[0][0]=nom00
noms[1][0]=nom10
noms[1][1]=nom11
noms[2][0]=nom20
noms[2][1]=nom21
noms[2][2]=nom22

3.3. Les instructions élémentaires de C

On distingue

1 les instructions élémentaires exécutées par l'ordinateur.

2 les instructions de contrôle du déroulement du programme.

Les instructions élémentaires apparaissent clairement lorsqu'on considère la structure d'un micro-ordinateur et de ses périphériques.

lecture d'informations provenant du clavier
traitement d'informations
écriture d'informations à l'écran

3.3.1. Ecriture sur écran

Il existe différentes instructions d'écriture à l'écran :

Console.Out.WriteLine(expression)
Console.WriteLine(expression)
Console.Error.WriteLine (expression)

où expression est tout type de donnée qui puisse être converti en chaîne de caractères pour être affiché à l'écran. Tous les objets de C# ou .NET ont une méthode ToString() qui est utilisée pour faire cette conversion.

La classe System.Console donne accès aux opérations d'écriture écran (Write, WriteLine). La classe Console a deux propriétés Out et Error qui sont des flux d'écriture de type TextWriter :

Console.WriteLine() est équivalent à Console.Out.WriteLine() et écrit sur le flux Out associé habituellement à l'écran.
Console.Error.WriteLine() écrit sur le flux Error, habituellement associé lui aussi à l'écran.

Les flux Out et Error peuvent être redirigés vers des fichiers texte au moment de l'exécution du programme comme nous le verrons prochainement.

3.3.2. Lecture de données tapées au clavier

Le flux de données provenant du clavier est désigné par l'objet Console.In de type TextReader. Ce type d'objets permet de lire une ligne de texte avec la méthode ReadLine :

1	`string ligne=Console.In.ReadLine();`

La classe Console offre une méthode ReadLine associée par défaut au flux In. On peut donc écrire écrire :

1	`string ligne=Console.ReadLine();`

La ligne tapée au clavier est rangée dans la variable ligne et peut ensuite être exploitée par le programme. Le flux In peut être redirigé vers un fichier, comme les flux Out et Error.

3.3.3. Exemple d'entrées-sorties

Voici un court programme d'illustration des opérations d'entrées-sorties clavier/écran :

using System;

namespace Chap1 {
    // classe de test
    public class P03 {
        public static void Main() {

            // écriture sur le flux Out
            object obj = new object();
            Console.Out.WriteLine(obj);

            // écriture sur le flux Error
            int i = 10;
            Console.Error.WriteLine("i=" + i);

            // lecture d'une ligne saisie au clavier
            Console.Write("Tapez une ligne : ");
            string ligne = Console.ReadLine();
            Console.WriteLine("ligne={0}", ligne);
        }//fin main
    }//fin classe
}

ligne 9 : obj est une référence d'objet
ligne 10 : obj est écrit à l'écran. Par défaut, c'est la méthode obj.ToString() qui est appelée.
ligne 14 : on peut aussi écrire :

1	`Console.Error.WriteLine("i={0}",i);`

Le 1er paramètre "i={0}" est le format d'affichage, les autres paramètres, les expressions à afficher. Les éléments {n} sont des paramètres "positionnels". A l'exécution, le paramètre {n} est remplacé par la valeur de l'expression n° n.

Le résultat de l'exécution est le suivant :

System.Object
i=10
Tapez une ligne : je suis là
ligne=je suis là

ligne 1 : l'affichage produit par la ligne 10 du code. La méthode obj.ToString() a affiché le nom du type de la variable obj : System.Object. Le type object est un alias C# du type .NET System.Object.

3.3.4. Redirection des E/S

Il existe sous DOS et UNIX trois périphériques standard appelés :

périphérique d'entrée standard - désigne par défaut le clavier et porte le n° 0
périphérique de sortie standard - désigne par défaut l'écran et porte le n° 1
périphérique d'erreur standard - désigne par défaut l'écran et porte le n° 2

En C#, le flux d'écriture Console.Out écrit sur le périphérique 1, le flux d'écriture Console.Error écrit sur le périphérique 2 et le flux de lecture Console.In lit les données provenant du périphérique 0.

Lorsqu'on lance un programme sous Dos ou Unix, on peut fixer quels seront les périphériques 0, 1 et 2 pour le programme exécuté. Considérons la ligne de commande suivante :

1	`pg arg1 arg2 .. argn`

Derrière les arguments argi du programme pg, on peut rediriger les périphériques d'E/S standard vers des fichiers:

1	`0<in.txt`

le flux d'entrée standard n° 0 est redirigé vers le fichier in.txt. Dans le programme le flux Console.In prendra donc ses données dans le fichier in.txt.

1	`1>out.txt`

redirige la sortie n° 1 vers le fichier out.txt. Cela entraîne que dans le programme le flux Console.Out écrira ses données dans le fichier out.txt

1	`1>>out.txt`

idem, mais les données écrites sont ajoutées au contenu actuel du fichier out.txt.

1	`2>error.txt`

redirige la sortie n° 2 vers le fichier error.txt. Cela entraîne que dans le programme le flux Console.Error écrira ses données dans le fichier error.txt

1	`2>>error.txt`

idem, mais les données écrites sont ajoutées au contenu actuel du fichier error.txt.

1	`1>out.txt 2>error.txt`

Les périphériques 1 et 2 sont tous les deux redirigés vers des fichiers

On notera que pour rediriger les flux d'E/S du programme pg vers des fichiers, le programme pg n'a pas besoin d'être modifié. C'est le système d'exploitation qui fixe la nature des périphériques 0,1 et 2. Considérons le programme suivant :

using System;

namespace Chap1 {

    // redirections
    public class P04 {
        public static void Main(string[] args) {
            // lecture flux In
            string data = Console.In.ReadLine();
            // écriture flux Out
            Console.Out.WriteLine("écriture dans flux Out : " + data);
            // écriture flux Error
            Console.Error.WriteLine("écriture dans flux Error : " + data);
        }//Main
    }//classe
}

Générons l'exécutable de ce code source :

en [1] : l'exécutable est créé par clic droit sur le projet / Build
en [2] : dans une fenêtre Dos, l'exécutable 04.exe a été créé dans le dossier bin/Release du projet.

Emettons les commandes suivantes dans la fenêtre Dos [2] :

...\04\bin\Release>echo test >in.txt
...\04\bin\Release>more in.txt
test
...\04\bin\Release>04 0<in.txt 1>out.txt 2>err.txt
...\04\bin\Release>more out.txt
écriture dans flux Out : test
...\04\bin\Release>more err.txt
écriture dans flux Error : test

ligne 1 : on met la chaîne test dans le fichier in.txt
lignes 2-3 : on affiche le contenu du fichier in.txt pour vérification
ligne 4 : exécution du programme 04.exe. Le flux In est redirigé vers le fichier in.txt, le flux Out vers le fichier out.txt, le flux Error vers le fichier err.txt. L'exécution ne provoque aucun affichage.
lignes 5-6 : contenu du fichier out.txt. Ce contenu nous montre que :
le fichier in.txt a été lu
l'affichage écran a été redirigé vers out.txt
lignes 7-8 : vérification analogue pour le fichier err.txt

On voit clairement que les flux Out et In n'écrivent pas sur les mêmes périphériques puisqu'on a pu les rediriger séparément.

3.3.5. Affectation de la valeur d'une expression à une variable

On s'intéresse ici à l'opération variable=expression;

L'expression peut être de type : arithmétique, relationnelle, booléenne, caractères

3.3.5.1. Interprétation de l'opération d'affectation

L'opération variable=expression;

est elle-même une expression dont l'évaluation se déroule de la façon suivante :

la partie droite de l'affectation est évaluée : le résultat est une valeur V.
la valeur V est affectée à la variable
la valeur V est aussi la valeur de l'affectation vue cette fois en tant qu'expression.

C'est ainsi que l'opération

1	`V1=V2=expression`

est légale. A cause de la priorité, c'est l'opérateur = le plus à droite qui va être évalué. On a donc

1	`V1=(V2=expression)`

L'expression V2=expression est évaluée et a pour valeur V. L'évaluation de cette expression a provoqué l'affectation de V à V2. L'opérateur = suivant est alors évalué sous la forme :

    V1=V

La valeur de cette expression est encore V. Son évaluation provoque l'affectation de V à V1.

Ainsi donc, l'opération V1=V2=expression

est une expression dont l'évaluation

1 provoque l'affectation de la valeur de expression aux variables V1 et V2

2 rend comme résultat la valeur de expression.

On peut généraliser à une expression du type :

            ```text linenums="1"
                V1=V2=....=Vn=expression
            ```

3.3.5.2. Expression arithmétique

Les opérateurs des expressions arithmétiques sont les suivants :

addition
soustraction

* multiplication

/ division : le résultat est le quotient exact si l'un au moins des opérandes est réel. Si les deux opérandes sont entiers le résultat est le quotient entier. Ainsi 5/2 -> 2 et 5.0/2 ->2.5.

% division : le résultat est le reste quelque soit la nature des opérandes, le quotient étant lui entier. C'est donc l'opération modulo.

Il existe diverses fonctions mathématiques. En voici quelques-unes :

1	`double Sqrt(double x)`

racine carrée

1	`double Cos(double x)`

Cosinus

1	`double Sin(double x)`

Sinus

1	`double Tan(double x)`

Tangente

1	`double Pow(double x,double y)`

x à la puissance y (x>0)

1	`double Exp(double x)`

Exponentielle

1	`double Log(double x)`

Logarithme népérien

1	`double Abs(double x)`

valeur absolue

etc...

Toutes ces fonctions sont définies dans une classe C# appelée Math. Lorsqu'on les utilise, il faut les préfixer avec le nom de la classe où elles sont définies. Ainsi on écrira :

1 2	`double x, y=4; x=Math.Sqrt(y);`

La définition complète de la classe Math est la suivante :

3.3.5.3. Priorités dans l'évaluation des expressions arithmétiques

La priorité des opérateurs lors de l'évaluation d'une expression arithmétique est la suivante (du plus prioritaire au moins prioritaire) :

1	`[fonctions], [ ( )],[ *, /, %], [+, -]`

Les opérateurs d'un même bloc [ ] ont même priorité.

3.3.5.4. Expressions relationnelles

Les opérateurs sont les suivants :

1	`<, <=, ==, !=, >, >=`

priorités des opérateurs

1 2	`>, >=, <, <= ==, !=`

Le résultat d'une expression relationnelle est le booléen false si expression est fausse, true sinon.

1
2
3

      bool fin;
      int x=...;
      fin=x>4;

Comparaison de deux caractères

Soient deux caractères C1 et C2. Il est possible de les comparer avec les opérateurs

1	`<, <=, ==, !=, >, >=`

Ce sont alors leurs codes Unicode, qui sont des nombres, qui sont alors comparés. Selon l'ordre Unicode on a les relations suivantes :

1	`espace < .. < '0' < '1' < .. < '9' < .. < 'A' < 'B' < .. < 'Z' < .. < 'a' < 'b' < .. <'z'`

Comparaison de deux chaînes de caractères

Elles sont comparées caractère par caractère. La première inégalité rencontrée entre deux caractères induit une inégalité de même sens sur les chaînes.

Exemples :

Soit à comparer les chaînes "Chat" et "Chien"

Cette dernière inégalité permet de dire que "Chat" < "Chien".

Soit à comparer les chaînes "Chat" et "Chaton". Il y a égalité tout le temps jusqu'à épuisement de la chaîne "Chat". Dans ce cas, la chaîne épuisée est déclarée la plus "petite". On a donc la relation

1	`"Chat" < "Chaton".`

Fonctions de comparaison de deux chaînes

On peut utiliser les opérateurs relationnels == et != pour tester l'égalité ou non de deux chaînes, ou bien la méthode Equals de la classe System.String. Pour les relations < <= > >=, il faut utiliser la méthode CompareTo de la classe System.String :

using System;

namespace Chap1 {
    class P05 {
        static void Main(string[] args) {
            string chaine1="chat", chaine2="chien";
            int n = chaine1.CompareTo(chaine2);
            bool egal = chaine1.Equals(chaine2);
            Console.WriteLine("i={0}, egal={1}", n, egal);
            Console.WriteLine("chien==chaine1:{0},chien!=chaine2:{1}", "chien"==chaine1,"chien" != chaine2);
        }
    }
}

Ligne 7, la variable i aura la valeur :

    0    si les deux chaînes sont égales

    1    si chaîne n°1 &gt; chaîne n°2

    -1    si chaîne n°1 &lt; chaîne n°2

Ligne 8, la variable egal aura la valeur true si les deux chaînes sont égales, false sinon. Ligne 10, on utilise les opérateurs == et != pour vérifier l'égalité ou non de deux chaînes.

Les résultats de l'exécution :

1 2	`i=-1, egal=False chien==chaine1:False,chien!=chaine2:False`

3.3.5.5. Expressions booléennes

Les opérateurs utilisables sont AND (&&) OR(||) NOT (!). Le résultat d'une expression booléenne est un booléen.

priorités des opérateurs :

!
&&
||

1 2	`double x = 3.5; bool valide = x > 2 && x < 4;`

Les opérateurs relationnels ont priorité sur les opérateurs && et ||.

3.3.5.6. Traitement de bits

Les opérateurs

Soient i et j deux entiers.

i<<n

décale i de n bits sur la gauche. Les bits entrants sont des zéros.

i>>n

décale i de n bits sur la droite. Si i est un entier signé (signed char, int, long) le bit de signe est préservé.

i & j

fait le ET logique de i et j bit à bit.

i | j

fait le OU logique de i et j bit à bit.

~i

complémente i à 1

i^j

fait le OU EXCLUSIF de i et j

Soit le code suivant :

short i = 100, j = -13;
ushort k = 0xF123;
Console.WriteLine("i=0x{0:x4}, j=0x{1:x4}, k=0x{2:x4}", i,j,k);
Console.WriteLine("i<<4=0x{0:x4}, i>>4=0x{1:x4},k>>4=0x{2:x4},i&j=0x{3:x4},i|j=0x{4:x4},~i=0x{5:x4},j<<2=0x{6:x4},j>>2=0x{7:x4}", i << 4, i >> 4, k >> 4, (short)(i & j), (short)(i | j), (short)(~i), (short)(j << 2), (short)(j >> 2));

le format {0:x4} affiche le paramètre n° 0 au format hexadécimal (x) avec 4 caractères (4).

Les résultats de l'exécution sont les suivants :

            ```text linenums="1"
            i=0x0064, j=0xfff3, k=0xf123
            i<<4=0x0640, i>>4=0x0006,k>>4=0x0f12,i&j=0x0060,i|j=0xfff7,~i=0xff9b,j<<2=0xffcc,j>>2=0xfffc
            ```

3.3.5.7. Combinaison d'opérateurs

   a=a+b peut s&#x27;écrire a+=b

   a=a-b peut s&#x27;écrire a-=b

Il en est de même avec les opérateurs /, %,* ,<<, >>, &, |, ^. Ainsi a=a/2; peut s'écrire a/=2;

3.3.5.8. Opérateurs d'incrémentation et de décrémentation

La notation variable++ signifie variable=variable+1 ou encore variable+=1

La notation variable-- signifie variable=variable-1 ou encore variable-=1.

3.3.5.9. L'opérateur ternaire ?

L'expression

1	`expr_cond ? expr1:expr2`

est évaluée de la façon suivante :

1 l'expression expr_cond est évaluée. C'est une expression conditionnelle à valeur vrai ou faux

2 Si elle est vraie, la valeur de l'expression est celle de expr1 et expr2 n'est pas évaluée.

3 Si elle est fausse, c'est l'inverse qui se produit : la valeur de l'expression est celle de expr2 et expr1 n'est pas évaluée.

L'opération i=(j>4 ? j+1:j-1); affectera à la variable i : j+1 si j>4, j-1 sinon. C'est la même chose que d'écrire if(j>4) i=j+1; else i=j-1; mais c'est plus concis.

3.3.5.10. Priorité générale des opérateurs

1	`() [] fonction`

gd

1	`! ~ ++ --`

dg

1	`new (type) opérateurs cast`

dg

*  /  %

gd

+  -

gd

<<  >>

gd

1	`< <= > >= instanceof`

gd

==    !=

gd

&&

gd

||

gd

?   :

dg

1	`= += -= etc. .`

dg

gd indique qu'a priorité égale, c'est la priorité gauche-droite qui est observée. Cela signifie que lorsque dans une expression, l'on a des opérateurs de même priorité, c'est l'opérateur le plus à gauche dans l'expression qui est évalué en premier. dg indique une priorité droite-gauche.

3.3.5.11. Les changements de type

Il est possible, dans une expression, de changer momentanément le codage d'une valeur. On appelle cela changer le type d'une donnée ou en anglais type casting. La syntaxe du changement du type d'une valeur dans une expression est la suivante:

1	`(type) valeur`

La valeur prend alors le type indiqué. Cela entraîne un changement de codage de la valeur.

using System;

namespace Chap1 {
    class P06 {
        static void Main(string[] args) {
            int i = 3, j = 4;
            float f1=i/j;
            float f2=(float)i/j;
            Console.WriteLine("f1={0}, f2={1}",f1,f2);
        }
    }
}

ligne 7, f1 aura la valeur 0.0. La division 3/4 est une division entière puisque les deux opérandes sont de type int.
ligne 8, (float)i est la valeur de i transformée en float. Maintenant, on a une division entre un réel de type float et un entier de type int. C'est la division entre nombres réels qui est alors faite. La valeur de j sera elle également transformée en type float, puis la division des deux réels sera faite. f2 aura alors la valeur 0,75.

Voici les résultats de l'exécution :

1	`f1=0, f2=0,75`

Dans l'opération (float)i :

i est une valeur codée de façon exacte sur 2 octets
(float) i est la même valeur codée de façon approchée en réel sur 4 octets

Il y a donc transcodage de la valeur de i. Ce transcodage n'a lieu que le temps d'un calcul, la variable i conservant toujours son type int.

3.4. Les instructions de contrôle du déroulement du programme

3.4.1. Arrêt

La méthode Exit définie dans la classe Environment permet d'arrêter l'exécution d'un programme.

1 2	`syntaxe void Exit(int status) action arrête le processus en cours et rend la valeur status au processus père`

Exit provoque la fin du processus en cours et rend la main au processus appelant. La valeur de status peut être utilisée par celui-ci. Sous DOS, cette variable status est rendue dans la variable système ERRORLEVEL dont la valeur peut être testée dans un fichier batch. Sous Unix, avec l'interpréteur de commandes Shell Bourne, c'est la variable $? qui récupère la valeur de status.

1	`Environment.Exit(0);`

arrêtera l'exécution du programme avec une valeur d'état à 0.

3.4.2. Structure de choix simple

1	`syntaxe : if (condition) {actions_condition_vraie;} else {actions_condition_fausse;}`

notes:

la condition est entourée de parenthèses.
chaque action est terminée par point-virgule.
les accolades ne sont pas terminées par point-virgule.
les accolades ne sont nécessaires que s'il y a plus d'une action.
la clause else peut être absente.
il n'y a pas de clause then.

L'équivalent algorithmique de cette structure est la structure si .. alors … sinon :

exemple

1	`if (x>0) { nx=nx+1;sx=sx+x;} else dx=dx-x;`

On peut imbriquer les structures de choix :

if(condition1)
if (condition2)
        {......}
      else         //condition2
         {......}
else         //condition1
     {.......}

Se pose parfois le problème suivant :

using System;

namespace Chap1 {
    class P07 {
        static void Main(string[] args) {
            int n = 5;
            if (n > 1)
                if (n > 6)
                    Console.Out.WriteLine(">6");
                else Console.Out.WriteLine("<=6");
        }
    }
}

Dans l'exemple précédent, le else de la ligne 10 se rapporte à quel if ? La règle est qu'un else se rapporte toujours au if le plus proche : if(n>6), ligne 8, dans l'exemple. Considérons un autre exemple :

1
2
3

            if (n2 > 1) {
                if (n2 > 6) Console.Out.WriteLine(">6");
       } else Console.Out.WriteLine("<=1");

Ici nous voulions mettre un else au if(n2>1) et pas de else au if(n2>6). A cause de la remarque précédente, nous sommes obligés de mettre des accolades au if(n2>1) {...} else ...

3.4.3. Structure de cas

La syntaxe est la suivante :

switch(expression) {
    case v1:     
            actions1;
            break;
    case v2:     
            actions2;
            break;
         . .. .. .. .. ..
    default:     
            actions_sinon;
            break;
}

notes

la valeur de l'expression de contrôle du switch peut être un entier, un caractère, une chaîne de caractères
l'expression de contrôle est entourée de parenthèses.
la clause default peut être absente.
les valeurs vi sont des valeurs possibles de l'expression. Si l'expression a pour valeur vi , les actions derrière la clause case vi sont exécutées.
l'instruction break fait sortir de la structure de cas.
chaque bloc d'instructions lié à une valeur vi doit se terminer par une instruction de branchement (break, goto, return, ...) sinon le compilateur signale une erreur.

exemple

En algorithmique

                selon la valeur de choix
                    cas 0
                         fin du module
                    cas 1
                         exécuter module M1
                    cas 2
                        exécuter module M2
                    sinon
                         erreur<--vrai
                findescas

En C#

        ```csharp linenums="1"
        int choix = 2; 
                    bool erreur = false;
                    switch (choix) {
                        case 0: return;
                        case 1: M1(); break;
                        case 2: M2(); break;
                        default: erreur = true; break;
                    }
                }// fin Main

                static void M1() {
                    Console.WriteLine("M1");
                }

                static void M2() {
                    Console.WriteLine("M2");
                }
        }
        ```

3.4.4. Structures de répétition

3.4.4.1. Nombre de répétitions connu

Structure for

La syntaxe est la suivante :

1
2
3

    for (i=id;i<=if;i=i+ip){ 
       actions; 
      }

Notes

les 3 arguments du for sont à l'intérieur d'une parenthèse et séparés par des points-virgules.
chaque action du for est terminée par un point-virgule.
l'accolade n'est nécessaire que s'il y a plus d'une action.
l'accolade n'est pas suivie de point-virgule.

L'équivalent algorithmique est la structure pour :

1
2
3

pour i variant de id à if avec un pas de ip
    actions
finpour

qu'on peut traduire par une structure tantque :

    i  id
    tantque i<=if
        actions
        i i+ip
    fintantque

Structure foreach

La syntaxe est la suivante :

1
2
3

foreach (Type variable in collection)
    instructions; 
}

Notes

collection est une collection d'objets énumérable. La collection d'objets énumérable que nous connaissons déjà est le tableau
Type est le type des objets de la collection. Pour un tableau, ce serait le type des éléments du tableau
variable est une variable locale à la boucle qui va prendre successivement pour valeur, toutes les valeurs de la collection.

Ainsi le code suivant :

            string[] amis = { "paul", "hélène", "jacques", "sylvie" };
            foreach (string nom in amis) {
                Console.WriteLine(nom);
         }

afficherait :

paul
hélène
jacques
sylvie

3.4.4.2. Nombre de répétitions inconnu

Il existe de nombreuses structures en C# pour ce cas.

Structure tantque (while)** **

1
2
3

    while(condition){
          actions;
        }

On boucle tant que la condition est vérifiée. La boucle peut ne jamais être exécutée.

notes:

la condition est entourée de parenthèses.
chaque action est terminée par point-virgule.
l'accolade n'est nécessaire que s'il y a plus d'une action.
l'accolade n'est pas suivie de point-virgule.

La structure algorithmique correspondante est la structure tantque :

1
2
3

tantque condition
    actions
fintantque

Structure répéter jusqu'à (do while)

La syntaxe est la suivante :

1
2
3

    do{
       instructions;
    }while(condition);

On boucle jusqu'à ce que la condition devienne fausse. Ici la boucle est faite au moins une fois.

notes

la condition est entourée de parenthèses.
chaque action est terminée par point-virgule.
l'accolade n'est nécessaire que s'il y a plus d'une action.
l'accolade n'est pas suivie de point-virgule.

La structure algorithmique correspondante est la structure répéter … jusqu'à :

1
2
3

répéter
    actions
jusqu'à condition

Structure pour générale (for)

La syntaxe est la suivante :

1
2
3

for(instructions_départ;condition;instructions_fin_boucle){
    instructions; 
}

On boucle tant que la condition est vraie (évaluée avant chaque tour de boucle). Instructions_départ sont effectuées avant d'entrer dans la boucle pour la première fois. Instructions_fin_boucle sont exécutées après chaque tour de boucle.

notes

les différentes instructions dans instructions_depart et instructions_fin_boucle sont séparées par des virgules.

La structure algorithmique correspondante est la suivante :

instructions_départ
tantque condition
    actions
    instructions_fin_boucle
fintantque

Exemples

Les fragments de code suivants calculent tous la somme des 10 premiers nombres entiers.

            ```text linenums="1"
                        int i, somme, n=10;
                        for (i = 1, somme = 0; i <= n; i = i + 1)
                            somme = somme + i;

                        for (i = 1, somme = 0; i <= n; somme = somme + i, i = i + 1) ;

                        i = 1; somme = 0;
                        while (i <= n) { somme += i; i++; }

                        i = 1; somme = 0;
                        do somme += i++;
                        while (i <= n);

            ```

3.4.4.3. Instructions de gestion de boucle

break

fait sortir de la boucle for, while, do ... while.

1	`continue`

fait passer à l'itération suivante des boucles for, while, do ... while

3.5. La gestion des exceptions

De nombreuses fonctions C# sont susceptibles de générer des exceptions, c'est à dire des erreurs. Lorsqu'une fonction est susceptible de générer une exception, le programmeur devrait la gérer dans le but d'obtenir des programmes plus résistants aux erreurs : il faut toujours éviter le "plantage" sauvage d'une application.

La gestion d'une exception se fait selon le schéma suivant :

try{
    code susceptible de générer une exception
} catch (Exception e){
    traiter l'exception e
}
instruction suivante

Si la fonction ne génère pas d'exception, on passe alors à instruction suivante, sinon on passe dans le corps de la clause catch puis à instruction suivante. Notons les points suivants :

e est un objet de type Exception ou dérivé. On peut être plus précis en utilisant des types tels que IndexOutOfRangeException, FormatException, SystemException, etc… : il existe plusieurs types d'exceptions. En écrivant catch (Exception e), on indique qu'on veut gérer toutes les types d'exceptions. Si le code de la clause try est susceptible de générer plusieurs types d'exceptions, on peut vouloir être plus précis en gérant l'exception avec plusieurs clauses catch :

try{
    code susceptible de générer les exceptions
} catch ( IndexOutOfRangeException e1){
    traiter l'exception e1
}
} catch ( FormatException e2){
    traiter l'exception e2
}
instruction suivante

On peut ajouter aux clauses try/catch, une clause finally :

try{
    code susceptible de générer une exception
} catch (Exception e){
    traiter l'exception e
}
finally{
    code exécuté après try ou catch
}
instruction suivante

Qu'il y ait exception ou pas, le code de la clause finally sera toujours exécuté.

Dans la clause catch, on peut ne pas vouloir utiliser l'objet Exception disponible. Au lieu d'écrire catch (Exception e){..}, on écrit alors catch(Exception){...} ou plus simplement catch {...}.
La classe Exception a une propriété Message qui est un message détaillant l'erreur qui s'est produite. Ainsi si on veut afficher celui-ci, on écrira :

catch (Exception ex){
    Console.WriteLine("L'erreur suivante s'est produite : {0}",ex.Message);
    ...
}//catch

La classe Exception a une méthode ToString qui rend une chaîne de caractères indiquant le type de l'exception ainsi que la valeur de la propriété Message. On pourra ainsi écrire :

catch (Exception ex){
    Console.WriteLine("L'erreur suivante s'est produite : {0}", ex.ToString());
    ...
}//catch

On peut écrire aussi :

catch (Exception ex){
    Console.WriteLine("L'erreur suivante s'est produite : {0}",ex);
    ...
}//catch

Le compilateur va attribuer au paramètre {0}, la valeur ex.ToString().

L'exemple suivant montre une exception générée par l'utilisation d'un élément de tableau inexistant :

using System;

namespace Chap1 {
    class P08 {
        static void Main(string[] args) {
            // déclaration & initialisation d'un tableau
            int[] tab = { 0, 1, 2, 3 };
            int i;
            // affichage tableau avec un for
            for (i = 0; i < tab.Length; i++)
                Console.WriteLine("tab[{0}]={1}", i, tab[i]);
            // affichage tableau avec un for each
            foreach (int élmt in tab) {
                Console.WriteLine(élmt);
            }
            // génération d'une exception
            try {
                tab[100] = 6;
            } catch (Exception e) {
                Console.Error.WriteLine("L'erreur suivante s'est produite : " + e);
                return;
            }//try-catch
            finally {
                Console.WriteLine("finally ...");
            }
        }
    }
}

Ci-dessus, la ligne 18 va générer une exception parce que le tableau tab n'a pas d'élément n° 100. L'exécution du programme donne les résultats suivants :

tab[0]=0
tab[1]=1
tab[2]=2
tab[3]=3
0
1
2
3
L'erreur suivante s'est produite : System.IndexOutOfRangeException: L'index se trouve en dehors des limites du tableau.
   à Chap1.P08.Main(String[] args) dans C:\data\travail\2007-2008\c# 2008\poly\Chap1\08\Program.cs:ligne 7
finally ...

ligne 9 : l'exception [System.IndexOutOfRangeException] s'est produite
ligne 11 : la clause finally (lignes 23-25) du code a été exécutée, alors même que ligne 21, on avait une instruction return pour sortir de la méthode. On retiendra que la clause finally est toujours exécutée.

Voici un autre exemple où on gère l'exception provoquée par l'affectation d'une chaîne de caractères à un variable de type entier lorsque la chaîne ne représente pas un nombre entier :

using System;

namespace Chap1 {
    class P08 {
        static void Main(string[] args) {

            // exemple 2
            // On demande le nom
            Console.Write("Nom : ");
            // lecture réponse
            string nom = Console.ReadLine();
            // on demande l'âge
            int age = 0;
            bool ageOK = false;
            while (!ageOK) {
                // question
                Console.Write("âge : ");
                // lecture-vérification réponse
                try {
                    age = int.Parse(Console.ReadLine());
                    ageOK = age>=1;
                } catch {
                }//try-catch
                if (!ageOK) {
                    Console.WriteLine("Age incorrect, recommencez...");
                }
            }//while
            // affichage final
            Console.WriteLine("Vous vous appelez {0} et vous avez {1} an(s)",nom,age);
        }
    }
}

lignes 15-27 : la boucle de saisie de l'âge d'une personne
ligne 20 : la ligne tapée au clavier est transformée en nombre entier par la méthode int.Parse. Cette méthode lance une exception si la conversion n'est pas possible. C'est pourquoi, l'opération a été placée dans un try / catch.
lignes 22-23 : si une exception est lancée, on va dans le catch où rien n'est fait. Ainsi, le booléen ageOK positionné à false, ligne 14, va-t-il rester à false.
ligne 21 : si on arrive à cette ligne, c'est que la conversion string -> int a réussi. On vérifie cependant que l'entier obtenu est bien supérieur ou égal à 1.
lignes 24-26 : un message d'erreur est émis si l'âge est incorrect.

Quelques résultats d'exécution :

1
2
3

Nom : dupont
âge : 23
Vous vous appelez dupont et vous avez 23 an(s)

Nom : durand
âge : x
Age incorrect, recommencez...
âge : -4
Age incorrect, recommencez...
âge : 12
Vous vous appelez durand et vous avez 12 an(s)

3.6. Application exemple - V1

On se propose d'écrire un programme permettant de calculer l'impôt d'un contribuable. On se place dans le cas simplifié d'un contribuable n'ayant que son seul salaire à déclarer (chiffres 2004 pour revenus 2003) :

on calcule le nombre de parts du salarié nbParts=nbEnfants/2 +1 s'il n'est pas marié, nbEnfants/2+2 s'il est marié, où nbEnfants est son nombre d'enfants.
s'il a au moins trois enfants, il a une demi part de plus
on calcule son revenu imposable R=0.72*S où S est son salaire annuel
on calcule son coefficient familial QF=R/nbParts
on calcule son impôt I. Considérons le tableau suivant :

4262	0	0
8382	0.0683	291.09
14753	0.1914	1322.92
23888	0.2826	2668.39
38868	0.3738	4846.98
47932	0.4262	6883.66
0	0.4809	9505.54

Chaque ligne a 3 champs. Pour calculer l'impôt I, on recherche la première ligne où QF<=champ1. Par exemple, si QF=5000 on trouvera la ligne

1	`8382 0.0683 291.09`

L'impôt I est alors égal à 0.0683*R - 291.09*nbParts. Si QF est tel que la relation QF<=champ1 n'est jamais vérifiée, alors ce sont les coefficients de la dernière ligne qui sont utilisés. Ici :

1	`0 0.4809 9505.54`

ce qui donne l'impôt I=0.4809*R - 9505.54*nbParts.

Le programme C# correspondant est le suivant :

using System;

namespace Chap1 {
    class Impots {
        static void Main(string[] args) {
            // tableaux de données nécessaires au calcul de l'impôt
            decimal[] limites = { 4962M, 8382M, 14753M, 23888M, 38868M, 47932M, 0M };
            decimal[] coeffR = { 0M, 0.068M, 0.191M, 0.283M, 0.374M, 0.426M, 0.481M };
            decimal[] coeffN = { 0M, 291.09M, 1322.92M, 2668.39M, 4846.98M, 6883.66M, 9505.54M };

            // on récupère le statut marital
            bool OK = false;
            string reponse = null;
            while (!OK) {
                Console.Write("Etes-vous marié(e) (O/N) ? ");
                reponse = Console.ReadLine().Trim().ToLower();
                if (reponse != "o" && reponse != "n")
                    Console.Error.WriteLine("Réponse incorrecte. Recommencez");
                else OK = true;
            }//while
            bool marie = reponse == "o";

            // nombre d'enfants
            OK = false;
            int nbEnfants = 0;
            while (!OK) {
                Console.Write("Nombre d'enfants : ");
                try {
                    nbEnfants = int.Parse(Console.ReadLine());
                    OK = nbEnfants >= 0;
                } catch {
                }// try
                if (!OK) {
                    Console.WriteLine("Réponse incorrecte. Recommencez");
                }
            }// while

            // salaire
            OK = false;
            int salaire = 0;
            while (!OK) {
                Console.Write("Salaire annuel : ");
                try {
                    salaire = int.Parse(Console.ReadLine());
                    OK = salaire >= 0;
                } catch {
                }// try
                if (!OK) {
                    Console.WriteLine("Réponse incorrecte. Recommencez");
                }
            }// while

            // calcul du nombre de parts
            decimal nbParts;
            if (marie) nbParts = (decimal)nbEnfants / 2 + 2;
            else nbParts = (decimal)nbEnfants / 2 + 1;
            if (nbEnfants >= 3) nbParts += 0.5M;

            // revenu imposable
            decimal revenu = 0.72M * salaire;

            // quotient familial
            decimal QF = revenu / nbParts;

            // recherche de la tranche d'impots correspondant à QF
            int i;
            int nbTranches = limites.Length;
            limites[nbTranches - 1] = QF;
            i = 0;
            while (QF > limites[i]) i++;
            // l'impôt
            int impots = (int)(coeffR[i] * revenu - coeffN[i] * nbParts);

            // on affiche le résultat
            Console.WriteLine("Impôt à payer : {0} euros", impots);
        }
    }
}

lignes 7-9 : les valeurs numériques sont suffixées par M (Money) pour qu'elles soient de type decimal.
ligne 16 :
Console.ReadLine() rend la chaîne C1 tapée au clavier
C1.Trim() enlève les espaces de début et fin de C1 - rend une chaîne C2
C2.ToLower() rend la chaîne C3 qui est la chaîne C2 transformée en minuscules.
ligne 21 : le booléen marie reçoit la valeur true ou false de la relation reponse=="o"
ligne 29 : la chaîne tapée au clavier est transformée en type int. Si la transformation échoue, une exception est lancée.
ligne 30 : le booléen OK reçoit la valeur true ou false de la relation nbEnfants>=0
lignes 55-56 : on ne peut écrire simplement nbEnfants/2. Si nbEnfants était égal à 3, on aurait 3/2, une division entière qui donnerait 1 et non 1.5. Aussi, écrit-on (decimal)nbEnfants pour rendre réel l'un des opérandes de la division et avoir ainsi une division entre réels.

Voici des exemples d'exécution :

Etes-vous marié(e) (O/N) ? o
Nombre d'enfants : 2
Salaire annuel : 60000
Impôt à payer : 4282 euros

Etes-vous marié(e) (O/N) ? oui
Réponse incorrecte. Recommencez
Etes-vous marié(e) (O/N) ? o
Nombre d'enfants : trois
Réponse incorrecte. Recommencez
Nombre d'enfants : 3
Salaire annuel : 60000 euros
Réponse incorrecte. Recommencez
Salaire annuel : 60000
Impôt à payer : 2959 euros

3.7. Arguments du programme principal

La fonction principale Main peut admettre comme paramètre un tableau de chaînes : String[] (ou string[]). Ce tableau contient les arguments de la ligne de commande utilisée pour lancer l'application. Ainsi si on lance le programme P avec la commande (Dos) suivante :

1	`P arg0 arg1 … argn`

et si la fonction Main est déclarée comme suit :

public static void Main(string[] args)

on aura args[0]="arg0", args[1]="arg1" … Voici un exemple :

using System;

namespace Chap1 {
    class P10 {
        static void Main(string[] args) {
            // on liste les paramètres reçus
            Console.WriteLine("Il y a  " + args.Length + " arguments");
            for (int i = 0; i < args.Length; i++) {
                Console.Out.WriteLine("arguments[" + i + "]=" + args[i]);
            }
        }
    }
}

Pour passer des arguments au code exécuté, on procèdera comme suit :

en [1] : clic droit sur le projet / Properties
en [2] : onglet [Debug]
en [3] : mettre les arguments

L'exécution donne les résultats suivants :

Il y a  4 arguments
arguments[0]=a0
arguments[1]=a1
arguments[2]=a2
arguments[3]=a3

On notera que la signature

public static void Main()

est valide si la fonction Main n'attend pas de paramètres.

3.8. Les énumérations

Une énumération est un type de données dont le domaine de valeurs est un ensemble de constantes entières. Considérons un programme qui a à gérer des mentions à un examen. Il y en aurait cinq : Passable,AssezBien,Bien,TrèsBien, Excellent.

On pourrait alors définir une énumération pour ces cinq constantes :

1	`enum Mentions { Passable, AssezBien, Bien, TrèsBien, Excellent };`

De façon interne, ces cinq constantes sont codées par des entiers consécutifs commençant par 0 pour la première constante, 1 pour la suivante, etc... Une variable peut être déclarée comme prenant ces valeurs dans l'énumération :

1 2	`// une variable qui prend ses valeurs dans l'énumération Mentions Mentions maMention = Mentions.Passable;`

On peut comparer une variable aux différentes valeurs possibles de l'énumération :

            if (maMention == Mentions.Passable) {
                Console.WriteLine("Peut mieux faire");
}

On peut obtenir toutes les valeurs de l'énumération :

            // liste des mentions sous forme de chaînes
            foreach (Mentions m in Enum.GetValues(maMention.GetType())) {
                Console.WriteLine(m);
}

De la même façon que le type simple int est équivalent à la structure System.Int32, le type simple enum est équivalent à la structure System.Enum. Cette structure a une méthode statique GetValues qui permet d'obtenir toutes les valeurs d'un type énuméré que l'on passe en paramètre. Celui-ci doit être un objet de type Type qui est une classe d'informations sur le type d'une donnée. Le type d'une variable v est obtenu par v.GetType(). Le type d'un type T est obtenu par typeof(T). Donc ici maMention.GetType() donne l'objet Type de l'énumération Mentions et Enum.GetValues(maMention.GetType()) la liste des valeurs de l'énumération Mentions.

Si on écrit maintenant

            //liste des mentions sous forme d'entiers
            foreach (int m in Enum.GetValues(typeof(Mentions))) {
                Console.WriteLine(m);
}

Ligne 2, la variable de boucle est de type entier. On obtient alors la liste des valeurs de l'énumération sous forme d'entiers. L'objet de type System.Type correspondant au type de données Mentions est obtenu par typeof(Mentions). On aurait pu écrire comme précédemment, maMention.GetType().

Le programme suivant met en lumière ce qui vient d'être écrit :

using System;

namespace Chap1 {
    class P11 {
        enum Mentions { Passable, AssezBien, Bien, TrèsBien, Excellent };
        static void Main(string[] args) {
            // une variable qui prend ses valeurs dans l'énumération Mentions
            Mentions maMention = Mentions.Passable;
            // affichage valeur variable
            Console.WriteLine("mention=" + maMention);
            // test avec valeur de l'énumération
            if (maMention == Mentions.Passable) {
                Console.WriteLine("Peut mieux faire");
            }
            // liste des mentions sous forme de chaînes
            foreach (Mentions m in Enum.GetValues(maMention.GetType())) {
                Console.WriteLine(m);
            }
            //liste des mentions sous forme d'entiers
            foreach (int m in Enum.GetValues(typeof(Mentions))) {
                Console.WriteLine(m);
            }
        }
    }
}

Les résultats d'exécution sont les suivants :

mention=Passable
Peut mieux faire
Passable
AssezBien
Bien
TrèsBien
Excellent
0
1
2
3
4

3.9. Passage de paramètres à une fonction

Nous nous intéressons ici au mode de passage des paramètres d'une fonction. Considérons la fonction statique suivante :

        private static void ChangeInt(int a) {
            a = 30;
            Console.WriteLine("Paramètre formel a=" + a);
}

Dans la définition de la fonction, ligne1, a est appelé un paramètre formel. Il n'est là que pour les besoins de la définition de la fonction changeInt. Il aurait tout aussi bien pu s'appeler b. Considérons maintenant une utilisation de cette fonction :

        public static void Main() {
            int age = 20;
            ChangeInt(age);
            Console.WriteLine("Paramètre effectif age=" + age);
}

Ici dans l'instruction de la ligne 3, ChangeInt(age), age est le paramètre effectif qui va transmettre sa valeur au paramètre formel a. Nous nous intéressons à la façon dont un paramètre formel récupère la valeur d'un paramètre effectif.

3.9.1. Passage par valeur

L'exemple suivant nous montre que les paramètres d'une fonction sont par défaut passés par valeur, c'est à dire que la valeur du paramètre effectif est recopiée dans le paramètre formel correspondant. On a deux entités distinctes. Si la fonction modifie le paramètre formel, le paramètre effectif n'est lui en rien modifié.

using System;

namespace Chap1 {
    class P12 {
        public static void Main() {
            int age = 20;
            ChangeInt(age);
            Console.WriteLine("Paramètre effectif age=" + age);
        }
        private static void ChangeInt(int a) {
            a = 30;
            Console.WriteLine("Paramètre formel a=" + a);
        }
    }
}

Les résultats obtenus sont les suivants :

1 2	`Paramètre formel a=30 Paramètre effectif age=20`

La valeur 20 du paramètre effectif age a été recopiée dans le paramètre formel a (ligne 10). Celui-ci a été ensuite modifié (ligne 11). Le paramètre effectif est lui resté inchangé. Ce mode de passage convient aux paramètres d'entrée d'une fonction.

3.9.2. Passage par référence

Dans un passage par référence, le paramètre effectif et le paramètre formel sont une seule et même entité. Si la fonction modifie le paramètre formel, le paramètre effectif est lui aussi modifié. En C#, ils doivent être tous deux précédés du mot clé ref :

Voici un exemple :

using System;

namespace Chap1 {
    class P12 {
        public static void Main() {
            // exemple 2
            int age2 = 20;
            ChangeInt2(ref age2);
            Console.WriteLine("Paramètre effectif age2=" + age2);
        }
        private static void ChangeInt2(ref int a2) {
            a2 = 30;
            Console.WriteLine("Paramètre formel a2=" + a2);
        }
    }
}

et les résultats d'exécution :

1 2	`Paramètre formel a2=30 Paramètre effectif age2=30`

Le paramètre effectif a suivi la modification du paramètre formel. Ce mode de passage convient aux paramètres de sortie d'une fonction.

3.9.3. Passage par référence avec le mot clé out

Considérons l'exemple précédent dans lequel la variable age2 ne serait pas initialisée avant l'appel à la fonction changeInt :

using System;

namespace Chap1 {
    class P12 {
        public static void Main() {
            // exemple 2
            int age2;
            ChangeInt2(ref age2);
            Console.WriteLine("Paramètre effectif age2=" + age2);
        }
        private static void ChangeInt2(ref int a2) {
            a2 = 30;
            Console.WriteLine("Paramètre formel a2=" + a2);
        }
    }
}

Lorsqu'on compile ce programme, on a une erreur :

1	`Use of unassigned local variable 'age2'`

On peut contourner l'obstacle en affectant une valeur initiale à age2. On peut aussi remplacer le mot clé ref par le mot clé out. On exprime alors que la paramètre est uniquement un paramètre de sortie et n'a donc pas besoin de valeur initiale :

using System;

namespace Chap1 {
    class P12 {
        public static void Main() {
            // exemple 3
            int age3;
            ChangeInt3(out age3);
            Console.WriteLine("Paramètre effectif age3=" + age3);
        }
        private static void ChangeInt3(out int a3) {
            a3 = 30;
            Console.WriteLine("Paramètre formel a3=" + a3);
        }
    }
}

Les résultats de l'exécution sont les suivants :

1 2	`Paramètre formel a3=30 Paramètre effectif age3=30`