Différences

Ci-dessous, les différences entre deux révisions de la page.

--- lang:cpp:concept [2021/11/13 08:54] – Ajout d'un exemple avec un paramètre dans les fonctions root
+++ lang:cpp:concept [2021/11/13 09:04] (Version actuelle) – Ajout de "Restriction" "Fonction template" root
@@ Ligne 71: / Ligne 71: @@
 Et cela va générer un symbole pour chaque type.
+====Restriction====
+===Fonction template===
+Il n'est pas possible de définir un concept avec un template non défini dans le concept.
+Exemple:
+<code cpp>
+struct Goat {
+    template<class T>
+    void eat(T);
+};
+</code>
+Il n'est pas possible de laisser ''eat'' template. Il faudra définir explicitement chaque surcharge.
+[[https://quuxplusone.github.io/blog/2020/08/10/concepts-cant-do-quantifiers/|Concepts can’t do quantifiers]] {{ :lang:cpp:concept:concepts_can_t_do_quantifiers_arthur_o_dwyer_stuff_mostly_about_c_2021-11-13_09_03_00_.html |Archive du 10/08/2020 le 13/11/2021}}
 ====Migration C++17 vers C++20====