Différences

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

--- lang:cpp:template [2023/11/14 17:39] – Ajout de "Mapping d'un type vers un autre via une map" root
+++ lang:cpp:template [2025/02/05 10:07] (Version actuelle) – [const Args...] : fix typo root
@@ Ligne 29: / Ligne 29: @@
 <code cpp>
-typename<template ...Args>
+template<typename ...Args>
 void f(const Args&&... args){}
@@ Ligne 328: / Ligne 328: @@
 void T<X>::fff() {}
+// On instancie uniquement T<int> (et donc T<int>::fff()).
 template class T<int>;
 </file>
@@ Ligne 337: / Ligne 338: @@
 <file cpp main.cc>
 #include "template.h"
-extern template class T<int>();
 int main()
 {
   T<int> tint;
-  return tint.retval();
+  return tint.fff();
 }
 </file>
@@ Ligne 357: / Ligne 356: @@
 <file cpp file.cpp>
-template<typename U> void A::f<U>(){}
+template<typename U> void A::f(){}
-template void A::f<int>;
+// Instanciation pour U=int
+template void A::f<int>();
+// Spécialisation pour U=double
+template<> void A::f<double>(){}
 </file>
@@ Ligne 377: / Ligne 380: @@
 template void A<int>::f(short u);
 </file>
+  * Messages d'erreur
+''error: specialization of XXX after instantiation''
+''error: explicit specialization of XXX after instantiation''
+''error C2908: explicit specialization; XXX has already been instantiated''
+Il ne faut pas utiliser une classe spécialisée avant qu'elle ne soit définie.
+<code cpp>
+template <typename T>
+class A {};
+// Doit être défini après la spécialisation.
+A<int> a;
+template <>
+class A<int> {};
+</code>
 ====Afficher en string le type template====
 <code cpp>