CS50x 2026 - Lecture 1 - C

Le cours "CS50x 2026 - Lecture 1 - C" marque une transition fondamentale de la programmation visuelle avec Scratch vers le langage textuel C. Le but de CS50 est d'initier les étudiants aux principes de l'informatique, en s'appuyant sur les concepts de variables, fonctions, boucles et conditions introduits par Scratch. Bien que la syntaxe de C puisse paraître complexe, les idées sous-jacentes restent les mêmes, offrant une continuité dans l'apprentissage.

Un concept clé est la distinction entre le code source (lisible par l'humain, écrit par les programmeurs) et le code machine (compris par l'ordinateur, en binaire). La traduction entre ces deux est effectuée par un compilateur, un logiciel qui transforme le code source en code machine exécutable. L'environnement de développement VS Code (Visual Studio Code), une interface de programmation largement utilisée dans l'industrie, est présenté comme l'outil principal. Il offre des fonctionnalités comme la coloration syntaxique et un terminal pour exécuter des commandes. L'interaction se fait via une interface utilisateur graphique (GUI) et une interface en ligne de commande (CLI), cette dernière étant souvent préférée par les programmeurs pour son efficacité. Des commandes Linux basiques telles que ls (lister les fichiers), mkdir (créer un répertoire), rm (supprimer), mv (déplacer/renommer) et cd (changer de répertoire) sont introduites pour la navigation et la manipulation des fichiers.

En C, la syntaxe est plus rigoureuse. L'exemple "Hello, World!" se traduit par :

#include <stdio.h>
int main(void) {
    printf("Hello, World!\n");
}

Ceci implique l'inclusion de la bibliothèque stdio.h pour la fonction printf (qui affiche du texte), la fonction main comme point d'entrée du programme, et un point-virgule ; pour terminer chaque instruction. \n est une séquence d'échappement pour un retour à la ligne. La compilation s'effectue avec make nom_programme et l'exécution avec ./nom_programme. Pour la saisie utilisateur, la bibliothèque CS50.h fournit des fonctions comme get_string : string nom = get_string("Quel est votre nom ? ");. L'affichage de variables dans printf utilise des espaces réservés comme %s pour les chaînes de caractères : printf("Bonjour, %s\n", nom);.

Les types de données en C sont fondamentaux pour définir la nature des informations stockées :

• bool : valeurs booléennes (vrai/faux).
• char : caractère unique, utilisant des guillemets simples (ex: 'Y').
• float : nombres à virgule flottante (32 bits), pour des valeurs réelles.
• double : nombres à virgule flottante double précision (64 bits), offrant plus de précision.
• int : entiers (32 bits), pour les nombres entiers.
• long : entiers plus longs (64 bits), pour une plus grande plage de valeurs. Les spécificateurs de format pour printf varient selon le type : %c pour char, %f pour float/double, %i pour int, %li pour long.

Le contrôle de flux permet aux programmes de prendre des décisions et de répéter des actions.

• Les instructions if sont utilisées pour les conditions :

  if (x < y) {
      printf("X est inférieur à Y\n");
  } else if (x > y) {
      printf("X est supérieur à Y\n");
  } else {
      printf("X est égal à Y\n");
  }
  

  Les opérateurs de comparaison incluent <, >, == (égalité), != (inégalité), && (ET logique), || (OU logique). Le double == est crucial pour distinguer la comparaison de l'affectation (=).
• Les boucles for sont utiles pour répéter une tâche un nombre défini de fois. Elles condensent l'initialisation, la condition et l'incrémentation dans une seule ligne, par exemple, pour afficher "Miaou" trois fois :

  for (int i = 0; i < 3; i++) {
      printf("Miaou\n");
  }
  

  L'opérateur i++ incrémente i de 1.
• Les boucles while exécutent un bloc de code tant qu'une condition est vraie.

  int i = 3;
  while (i > 0) {
      printf("Miaou\n");
      i--; // i-- décrémente i de 1
  }
  

  La variante do...while garantit que le code est exécuté au moins une fois avant de vérifier la condition. Des mots-clés comme break permettent de sortir d'une boucle prématurément, et continue de passer à l'itération suivante. Ces boucles sont essentielles pour la validation des entrées utilisateur, comme s'assurer qu'un nombre est positif.

Les fonctions permettent de créer des blocs de code réutilisables, favorisant l'abstraction.

• Une fonction simple sans entrée ni sortie : void meow(void) { printf("Miaou\n"); }.
• Une fonction avec une entrée : void meow(int n) { for (int i = 0; i < n; i++) { printf("Miaou\n"); } }.
• Une fonction qui retourne une valeur : int get_positive_int(void) { int n; do { n = get_int("Quel est N? "); } while (n < 0); return n; }. Il est nécessaire de déclarer un prototype de fonction (sa signature) avant la fonction main si la définition de la fonction se trouve après main, afin que le compilateur en soit informé. La portée des variables (scope) signifie qu'une variable n'est accessible que dans le bloc de code où elle a été déclarée. L'exemple de Mario, où des boucles imbriquées sont utilisées pour dessiner des grilles de briques (par exemple, const int TAILLE = 3; pour définir des constantes), illustre l'application pratique de ces concepts.

Malgré leur puissance, les ordinateurs ont des limites :

• L'integer overflow (dépassement d'entier) se produit lorsque la valeur d'un entier dépasse la capacité de bits allouée (par exemple, 32 ou 64 bits). Cela peut entraîner des résultats inattendus, comme un nombre positif devenant négatif. Des incidents réels, comme le problème du Boeing 787 qui perdait de la puissance après 248 jours de fonctionnement continu à cause d'un compteur interne de 32 bits, ou le bug du niveau 256 de Pac-Man, illustrent ces dangers.
• L'floating-point imprecision (imprécision des nombres à virgule flottante) est due au fait que les nombres réels ne peuvent pas tous être représentés exactement par un nombre fini de bits, conduisant à des approximations. Des problèmes historiques comme le bogue de l'an 2000 (Y2K) et la future "crise de l'an 2038" (débordement d'un compteur de temps de 32 bits) sont des manifestations de cette limite fondamentale.

La qualité logicielle est évaluée selon trois axes :

• La correctness (exactitude) : Le code fonctionne-t-il conformément aux spécifications ? (Vérifié par des outils comme Check50).
• La design (conception) : Le code est-il bien structuré, efficace et évite-t-il la redondance ? (Évalué subjectivement et aidé par Design50).
• Le style (style) : Le code est-il lisible, bien indenté et utilise-t-il des noms de variables clairs ? C'est crucial pour la collaboration et la maintenabilité. (Vérifié par Style50).

En conclusion, la transition vers C est un défi qui requiert de la pratique pour maîtriser sa syntaxe rigoureuse, mais les concepts fondamentaux de la programmation restent cohérents. La conscience des limites des systèmes, comme les dépassements d'entiers et les imprécisions de calcul, est essentielle pour développer des logiciels robustes et fiables. L'accent mis sur la justesse, la conception et le style du code est impératif pour créer des solutions logicielles de haute qualité.