Différences

Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.

--- boucles [2016/11/28 20:10]
gbdivers
+++ boucles [2016/12/02 00:46] (Version actuelle)
gbdivers
@@ Ligne 34: / Ligne 34: @@
-====== Les boucles range-for ======
+===== Les boucles range-for =====
-===== Syntaxe de base =====
+==== Syntaxe de base ====
 Les boucles //for// sur un intervalle (//range-based for loop//, qui est souvent simplifie en //range-for//) permettent de parcourir la totalité d'une collection. La syntaxe est la suivante :
@@ Ligne 70: / Ligne 70: @@
 </code>
-===== Le type de l'élément =====
+==== Le type de l'élément ====
 Le type ''TYPE'' correspond au type de la variable représentant chaque élément dans la boucle. Cela peut être le type de l'élément dans la collection ou n'importe quel type convertible.
@@ Ligne 134: / Ligne 134: @@
 </note>
-===== Avec les collections associatives =====
+==== Avec les collections associatives ====
 Pour rappel, une collection associative est une collection qui associe une valeur a une cle, comme par exemple ''std::map''. Ce type de collection ne contient pas des valeurs, mais des paires de clés et valeurs. Il faut donc adapter l'utilisation des boucles //range-for// en consequence. Pour cela, il faut utiliser les accesseurs ''first'' et ''second'' correspondant au type ''std::pair'' utilise dans une ''std::map''.
@@ Ligne 169: / Ligne 169: @@
-===== Utilisation sans collection =====
+==== Avec d'autres types de conteneurs ====
 Les boucles //range-for// sont utilisables avec d'autres types de conteneurs que les collections de la bibliothèque standard :
@@ Ligne 177: / Ligne 177: @@
   * les listes de valeurs (//initializer-list//).
-Utiliser une boucle //range-for// avec une chaîne de caractères permet d'acceder directement a chaque caractère.
+Utiliser une boucle //range-for// avec une chaîne de caractères permet d'accéder directement a chaque caractère.
 <code cpp>
@@ Ligne 242: / Ligne 242: @@
-====== Les algorithmes de la bibliothèque standard ======
+===== Interlude : les algorithmes standards =====
-Les algos ne sont pas des instruction iteratives, mais il est bien de les rappeler.
+Les algorithmes de la bibliothèques standard **ne sont pas** des instructions iteratives. Mais beaucoup utilisent en interne des boucles et peuvent être utilisés à leur place, lorsque vous travaillez sur des collections.
-Permet d'appliquer une tache sur chaque element d'une collection. En interne, cela utilise donc bien des iterations. Relativement safe, puisque l'on passe des iterateurs sur le premier element a traiter et le premier element qui ne dois plus l'etre.
+En termes de sécurité du code, les algorithmes prennent généralement en paramètre des paires d'itérations. Vous avez donc la garantie qu'ils ne seront pas appelés sur des collections de types differents.
 <code cpp>
+#include <iostream>
+#include <vector>
 #include <algorithm>
 int main() {
-    const std::vector<int> v { 1, 2, 3 };
+    std::vector<int> v;
-    const auto sum = std::accumulate(std::begin(v), std::end(v), 0);
+    std::vector<double> w;
+    std::sort(std::begin(v), std::end(w));
 }
 </code>
-Toujours un risque d'erreur (se tromper entre begin/end, iterateurs sur collections differentes). Note : futur C++ avec Ranges.
+affiche un message indiquant qu'il y a un conflit pour la déduction du type d'itérateur (//deduced conflicting types//) :
+<code>
+main.cpp:8:5: error: no matching function for call to 'sort'
+    std::sort(std::begin(v), std::end(w));
+    ^~~~~~~~~
+(...) note: candidate template ignored: deduced conflicting types for parameter '_RandomAccessIterator'
+</code>
+Par contre, les algorithmes ne garantissent pas :
+  * que les itérateurs proviennent de la même collection ;
+  * que les itérateurs sont dans le bon ordre.
+Par exemple :
 <code cpp>
-std::accumulate(std::end(v), std::begin(v), 0);
+std::vector<int> v;
-std::accumulate(std::begin(v), std::end(w), 0);
+std::vector<int> w;
+std::sort(std::begin(v), std::end(w));  // (#1)
+std::sort(std::end(v), std::begin(v));  // (#2)
 </code>
-Utilisation avec range-for, par exemple ''iota'' pour generer des series, ou ''generate'' pour generer des nombres aleatoires.
+Le premier appel a la fonction ''std::sort'' est invalide du fait que les deux itérateurs proviennent de collections différentes. Le second appel à la fonction ''std::sort'' est invalide du fait que le premier itérateur correspond a un élément qui se trouve après l'élément correspondant au second itérateur.
+<note>**Les ranges [C++2x]**
+Dans une prochaine norme du C++, il sera possible d'utiliser le concept de //range//, qui sont sémantiquement des paires d'itérations, ce qui apportent les deux garanties manquantes aux algorithmes.
+</note>
+Dans de nombreux cas, il sera plus intéressant et sécurisé d'utiliser les algorithmes standards (avec ou sans prédicat personnalisé) que les syntaxes itératives qui sont décrits dans la suite de ce chapitre.
+L'intérêt des algorithmes par rapport à la boucle //range-for// est qu'ils permettent de travailler sur des sous-ensembles d'une collection. En particulier, l'algorithme ''std::for_each'' peut remplacer une boucle //range-for// sur un sous-collection (en attendant l'arrivée de vues en C++).
 <code cpp>
@@ Ligne 270: / Ligne 300: @@
 #include <array>
 #include <numeric>
+#include <iterator>
 int main() {
     std::array<char, 26> alphabet;
-    std::iota(alphabet.begin(), alphabet.end(), 'a');
+    std::iota(std::begin(alphabet), std::end(alphabet), 'a');
+    std::copy(std::begin(alphabet), std::end(alphabet),
-    for(auto&& c: alphabet) {
+              std::ostream_iterator<char&gt;(std::cout, &quot; &quot;));
-        std::cout <&lt; c << ' ';
-    }
-    std::cout &lt;&lt; std::endl;
 }
 </code>
@@ Ligne 289: / Ligne 317: @@
-===== instruction for =====
+===== La boucle for =====
-éléments, tous optionnels :
+Les syntaxes précédentes sont les plus sûres, mais si vous recherchez des exemples de code sur Internet, vous les rencontrerez moins souvent que les syntaxes qui suivent. Cela s'explique par le fait que les boucles //range-for// sont un ajout "récent" du C++11 (donc plus de 5 ans...), que les algorithmes standards s'utilisent régulièrement avec les fonctions //lambdas// (qui sont egalement un ajout du C++11), et que ces deux syntaxes n'existent pas en C.
-  * initialisation
+Dans les syntaxes précédentes, les trois composantes d'une itération (initialisation, incrémentation et condition d'arrêt) sont implicites, ce qui évite de faire des erreurs en les écrivant. La boucle //for// permet d'ecrire explicitement ces trois composantes. La syntaxe générale est la suivante :
-  * test de continuation
-  * incrémentation
-syntaxe :
 <code>
@@ Ligne 305: / Ligne 329: @@
 </code>
-Par exemple, pour compter de 1 à 10, on utilise un compteur (variable entière) :
+Une particularité de la boucle //for// : il s'agit d'un test de continuation, et non un test d'arret. C'est-à-dire que la boucle continuera tant que la condition est vraie (au lieu de s'arrêter dès que la condition est vraie).
-  * initialisation à 1
+Par exemple, pour compter de 1 à 10, il faut :
-  * s'arrête lorsque == à 10
-  * incrémente à chaque boucle
-devient :
+  * initialiser une variable avec la valeur 1 ;
+  * incrementer de 1 cette variable ;
+  * tant que la variable est inférieure ou égale à la valeur 10, continuer la boucle.
+Chacune de ces composants sont facilement traduit en C++ :
+  * initialisation : ''int i { 1 }'' ;
+  * incrementation : ''++i'' ;
+  * condition d'arret : ''i <= 10''.
+En utilisant ces syntaxes dans un boucle //for//, vous obtenez donc :
 <code>
-for (int i { 1 }; i <= 10; ++i) {
+#include <iostream>
-    std::cout << i << std::endl;
+int main() {
+    for (int i { 1 }; i <= 10; ++i) {
+        std::cout << i << std::endl;
+    }
 }
 </code>
+affiche :
-==== Parcourir un tableau ====
+<code>
+
+
+
+
+
+
+
+
+
+
+</code>
-Avec des iterateurs :
+La syntaxe de la boucle //for// est relativement compacte, et donc il est assez facile de se tromper. Vous devez vous habituer à lire correctement cette syntaxe, en identifiant bien chaque composant de la boucle (initialisation, incrémentation, condition d'arrêt). N'hésitez pas à bien aérer votre code, pour le rendre le plus lisible possible.
+==== Parcourir une collection ====
+Un cas d'utilisation classique de la boucle //for// est de parcourir une collection (lorsque la boucle //range-for// n'est pas utilisable). Pour cela, la méthode la plus générique est d'utiliser les itérateurs. Les trois composants de la boucle peuvent s'écrire :
+  * initialisation : ''auto it = std::begin(v)'' (ou ''std::cbegin'', ''std::rbegin'', ''std::crbegin'') ;
+  * incrementation : ''++it'' ;
+  * condition d'arret : ''it != std::end(v)'' (ou ''std::cend'', ''std::rend'', ''std::crend'').
+Notez l'utilisation de la déduction de type avec ''auto'' pour éviter de devoir ecrire le type complet (et long) de l'itérateur. Pour rappel :
 <code cpp>
-for (auto it = std::begin(v); it != std::end(v); ++it) {
+std::vector<int> v;
-    std::cout << (*it) << std::endl;
+std::vector<int>::iterator it { std::begin(v) };
+std::vector<int>::const_iterator cit { std::cbegin(v) };
+</code>
+Faites bien attention que ''std::begin'' retourne ''iterator'' et ''std::cbegin''' retourne ''const_iterator''.
+Le code complet pour parcourir une collection avec des itérateurs est donc le suivant :
+<code cpp main.cpp>
+#include <iostream>
+#include <list>
+int main() {
+    std::list<int> l { 1, 2, 3, 4 };
+    for (auto it = std::cbegin(l); it != std::cend(l); ++it) {
+        std::cout << (*it) << std::endl;
+    }
 }
 </code>
-Pars du premier element (begin). A chaque boucle, passe a l'element suivant (++, next aurait pu convenir aussi). S'arrete lorsque arrive a end.
+affiche :
-Condition d'arret = n'est pas executee. Donc quand it == end, la boucle n'est pas executee et (*it) non plus (ca serait invalide).
+<code>
+
+
+
+
+</code>
-Pour cela que end(v) ne correspond pas au dernier element d'une collection, mais a l'element "fictif" suivant.
+Notez que la boucle //range-for// fait exactement la même chose en interne.
-Avec l'operateur [] :
+==== Parcourir un tableau ====
+Les tableaux sont des collections et peuvent donc être parcouru en utilisant des itérateurs. Mais il est également possible de les parcourir en utilisant l'indice des éléments et l'opérateur d'indexation ''[]''. Dans ce cas, il faut ecrire une boucle //for// basé sur une variable, comme vu précédemment, et l'utiliser pour acceder aux elements.
+<code cpp main.cpp>
+#include <iostream>
+#include <vector>
+int main() {
+    std::vector<char> v { 'a', 'b', 'c', 'd' };
+    for (std::size_t i { 0 }; i < v.size(); ++i) {
+        std::cout << v[i] << std::endl;
+    }
+}
+</code>
+affiche :
+<code>
+a
+b
+c
+d
+</code>
+<note>**Choix du type pour l'indice**
+Le type à utiliser pour l'indice devrait être le même type que celui retourné par la fonction ''size()''. En toute rigueur, ce type est ''std::vector<int>::size_type''.
+Cependant, ce type est un peu long à ecrire et équivalent en general a ''std::size_t''. Vous verrez donc souvent ce type dans les codes.
+Il est possible d'utiliser la déduction de type, mais il faut faire attention. Si vous écrivez ''auto i = 0'', la littérale ''0'' est de type ''int'' et la variable ''i'' sera donc aussi de type ''int''. Ce qui est une erreur ! (La comparaison d'un type signé et d'un type non signé produit des messages d'avertissement et des comportements parfois inattendus).
+Il faut donc utiliser la syntaxe avec ''decltype'' : ''decltype(v.size()) i = 0''. Mais cela ne simplifie pas beaucoup la lecture par rapport à l'écriture explicite du type.
+L'utilisation de ''std::size_t'' est un bon compromis entre lisibilité et rigueur.
+</note>
-===== while et do while =====
+===== Les boucles while et do-while =====
-Permet de répéter un bloc d'instructions tant qu'une condition est vérifiée. Syntaxe :
+Les deux dernières syntaxes itératives sont relativement simples à comprendre. Par rapport à la boucle //for//, seule la condition de continuation a une place definie dans ces syntaxes. L'initialisation et l'incrémentation sont placées librement dans le code (voire sont omis).
 <code>
-while (condition) {
+while (TEST_CONTINUATION) {
     ...
 }
@@ Ligne 352: / Ligne 467: @@
 do {
     ...
-} while (condition);
+} while (TEST_CONTINUATION);
 </code>
-Dans les 2 cas, exécute le bloc tant que la condition est vraie. Différence entre les 2 : avec do while, bloc exécuté au moins 1 fois avant de test la condition ; avec while, commence par tester
+La difference entre les boucles //while// et //do-while// est que dans la premiere, la condition de continuation est exécutée avant le corps de la boucle. Il est donc possible de sortir tout de suite de la boucle //while// sans entrer dans la boucle. Dans la seconde syntaxe, le corps de la boucle est exécutée avant le test de continuation. La boucle sera donc toujours exécutée au moins une fois.
+En pratique, les boucle //while// et //do-while// sont souvent equivalentes a la boucle //for//, si l'initialisation et l'incrémentation est explicite :
+<;code>
+INITIALISATION;
+while (TEST_CONTINUATION) {
+    ...
+    INCREMENTATION;
+}
+</code>
@@ Ligne 390: / Ligne 515: @@
 ^ Chapitre précédent ^ [[programmez_avec_le_langage_c|Sommaire principal]] ^ Chapitre suivant ^

C++, Qt, OpenGL, CUDA

Outils d'utilisateurs

Outils du Site

Différences

Outils de la Page