spécialisation d'une classe ou fonction en C++

[pseudomehdi]

bonjour,
je ne comprend pas à quoi sert la spécialisation d'une classe ou d'une fonction, j'ai trouvé cette définition mais elle est trop générale : "Une fonction ou une classe template peut être spécialisée pour certains types de paramètres, c'est ce qu'on appelle la spécialisation. Cela permet entre autre d'avoir un comportement spécifique à certains types de paramètres, à des fins d'optimisation ou pour s'adapter à un comportement particulier par exemple."
est ce que quelqu'un aurait une réponse plus clair avec des exemples si possible et merci d'avance.
-----

[Jack]

j'ai trouvé cette définition mais elle est trop générale

Quelle est la source de cette définition?

[pseudomehdi]

https://cpp.developpez.com/faq/cpp/?page=Les-templates

[pm42]

https://cpp.developpez.com/faq/cpp/?page=Les-templates

Il y a une explication et un exemple justement. Et on en trouve d'autres sur Google.
Mais en gros, on écrit le template qui va marcher pour tous les cas puis on écrit des versions spécifiques pour certaines classes arguments (ou toutes) ce qui permet d'être plus efficace.

[A voir en vidéo sur Futura]

[Jack]

Je crois que tout est dans le texte: si tu veux que ta classe template adopte un comportement particulier pour un type donné par exemple, tu peux spécialiser cette classe pour ce type.

Grillé par PM42

[pseudomehdi]

ce qui permet d'être plus efficace.

oui c'est justement ça que je ne comprend pas, je voulais savoir plus efficace dans quel sens ?

[pseudomehdi]

Je crois que tout est dans le texte: si tu veux que ta classe template adopte un comportement particulier pour un type donné par exemple, tu peux spécialiser cette classe pour ce type.

PM42

oui mais si je défini une classe template, cette classe va aussi adopter un comportement particulier pour le type que je vais choisir dans le main en déclarant un objet O comme suite ; nom_classe<type> O;

[Jack]

oui mais si je défini une classe template, cette classe va aussi adopter un comportement particulier pour le type que je vais choisir dans le main en déclarant un objet O comme suite ; nom_classe<type> O;

Non, le comportement général sera identique quel que soit le type avec une classe template. Avec la spécialisation, tu pourras lui faire faire des trucs différents selon un type particulier par exemple.

[pseudomehdi]

prenons la classe générique suivante : template<class T> class nom_class{}, donc si j'ai bien compris, en remplaçant le paramètre T avec n'importe quel type lors de l'instanciation le comportement générale est le même, mais si je spécialise le template dès le début comme suite : template<> class nom_class<type>{}, alors j'obtiens un comportement plus précis c'est ça ?

[Jack]

Pourquoi n'essaies-tu pas?