C++Talk.NET C++ language newsgroups   Archives   FAQ   Search   Memberlist   Usergroups   Register   Profile   Log in to check your private messages   Log in  Pbl template / définition de statique Goto page 1, 2  Next          C++Talk.NET Forum Index -> C++ (French) View previous topic :: View next topic   Author Message TjB Guest Posted: Wed Apr 26, 2006 8:06 pm    Post subject: Pbl template / définition de statique Bonjour, Encore des soucis avec des templates avec le compilo g++. Le code suivant ne passe pas du tout : // ----------------------------- template <class T> class toto { toto() {} ~toto() {} private: static T a; }; int toto<int>::a=4; //------------------------------ L'erreur de compilation étant "error: too few template-parameter-lists", ce que je ne trouve pas très explicite. Bien sûr, si l'on n'est pas dans un cas "template", le code fonctionne. Que cette erreur signifie-t-elle ? Quelle devrait-être l'écriture correcte ? Par avance merci pour toute idée. T. --- APC / IN2P3 / Université Paris 7 http://apc-p7.org/~beau Back to top Sylvain Guest Posted: Wed Apr 26, 2006 8:06 pm    Post subject: Re: Pbl template / définition de statique TjB wrote on 26/04/2006 21:40: Quote: template <class T> class toto { }; int toto<int>::a=4; L'erreur de compilation étant "error: too few template-parameter-lists", ce que je ne trouve pas très explicite. Bien sûr, si l'on n'est pas dans un cas "template", le code fonctionne. oui je pense aussi que "int a = 4;" fonctionne. à défaut d'une réponse à votre question, il y a une autre question à laquelle je ne trouve pas de réponses: quel serait l'intérêt d'une classe template basée sur un type primitif ? rationale: 90% des codes utilisent "int" sans jamais se soucier de la taille réelle (16, 32, 64?) des variables créées et quand bien même on voudrait (hors structure à alignement fixe) utiliser une seule taille, s'aligner sur la taille des registres fait sens. dès lors, il ne (me) semble pas probable de rencontrer (d'avoir besoin) des toto<unsigned char> ni des toto<signed long long>. quelqu'un pour éclairer ma lanterne ? Sylvain. Back to top TjB Guest Posted: Wed Apr 26, 2006 9:06 pm    Post subject: Re: Pbl template / définition de statique Oui, je pense que le "int a = 4;" fonctionne. Mon "vrai" problème c'est qu'il s'agissait en fait d'initialiser un tableau, ce qui ne peut se faire dans la définition de classe. En outre, entre temps, j'ai trouvé l'écriture qui convient : template<> int toto<int>::a = 4; Sinon, pas déclairage particulier sur votre question... T. Back to top Sylvain Guest Posted: Wed Apr 26, 2006 9:06 pm    Post subject: Re: Pbl template / définition de statique TjB wrote on 26/04/2006 22:07: Quote: Oui, je pense que le "int a = 4;" fonctionne. Mon "vrai" problème c'est qu'il s'agissait en fait d'initialiser un tableau, ce qui ne peut se faire dans la définition de classe. Sinon, pas déclairage particulier sur votre question... zut alors, parce que moi j'avais bien un int* a = new int[N]; pour votre problème de tableau ;) j'ironise un peu bien sur! j'utilise plutot une classe "tableau dynamique" avec redimensionnement, et tout le toutim, mais je reste dubitatif pour son nécessaire(?) templatisation. Sylvain. Back to top Sylvain Guest Posted: Wed Apr 26, 2006 9:06 pm    Post subject: Re: Pbl template / définition de statique TjB wrote on 26/04/2006 22:07: Quote: Mon "vrai" problème c'est qu'il s'agissait en fait d'initialiser un tableau, ce qui ne peut se faire dans la définition de classe. je ne comprends pas votre point! quelle initialisation est impossible? cela m'intéresse de comprendre si l'impossibilité est perçue comme algorithmique - si c'est une impossibilité d'écrire du à la syntaxe des classes templates, oubliez. Sylvain. Back to top TjB Guest Posted: Wed Apr 26, 2006 10:06 pm    Post subject: Re: Pbl template / définition de statique Non, je veux dire que l'écriture //------------------------ class toto { static const int machin[3]={0,1,2}; }; //------------------------ est invalide. Sans que les templates n'aient à intervenir. Il faut passer, autant que je sache, par une écriture : //------------------------ class toto { static const int machin[3]; }; const int toto::machin[3]={0,1,2}; //------------------------- Mais je dois avouer que je ne vois pas de bonne raison à ce comportement... T. Back to top Sylvain Guest Posted: Thu Apr 27, 2006 12:06 am    Post subject: Re: Pbl template / définition de statique TjB wrote on 26/04/2006 23:10: Quote: class toto { static const int machin[3]={0,1,2}; }; est invalide. [...] Mais je dois avouer que je ne vois pas de bonne raison à ce comportement... au moins le fait qu'une déclaration de classe n'est pas censé réserver spontanément de la mémoire. cette classe peut ne jamais être instanciée (les 3 ints ne devront pas être réservés) comme sa définition peut être incluse par plein de cpp, lequel provoquerait la réservation mémoire ? le méta-runtime alimenté de plein d'info RTTI étendue ? en Java ou en sharpouille pourquoi pas, mais pas avec notre si bô langage en effet. Sylvain. Back to top kanze Guest Posted: Thu Apr 27, 2006 9:06 am    Post subject: Re: Pbl template / définition de statique TjB wrote: Quote: Encore des soucis avec des templates avec le compilo g++. Le code suivant ne passe pas du tout : // ----------------------------- template <class T class toto { toto() {} ~toto() {} private: static T a; }; int toto<int>::a=4; //------------------------------ L'erreur de compilation étant "error: too few template-parameter-lists", ce que je ne trouve pas très explicite. Bien sûr, si l'on n'est pas dans un cas "template", le code fonctionne. Que cette erreur signifie-t-elle ? Quelle devrait-être l'écriture correcte ? On ne dévinera certainement pas d'après le message d'erreur:-), mais le problème, c'est que tu n'as pas dit que la définition de toto<int>::a était un template, ni qu'elle était une spécialisation explicite d'un template. Selon le cas, il faut écrire : template< typename T > T Toto< T >::titi = 0 ; (définition générale), ou template<> int Toto< int >::titi = 4 ; (spécialisation explicite pour int). Attention, en revanche, avec la spécialisation explicite. Si je ne me trompe pas, une spécialisation explicite n'est pas un template, et ne doit être donc définie que dans une seule unité de compilation. Mettre template<> int Toto< int >::titi = 4 ; dans un en-tête, et l'inclure dans plusieurs unités de compilation, aurait donc un comportement indéfini, et pourrait bien provoquer des erreurs dues aux multiples définitions lors de l'édition de liens. (C'est bien le cas avec g++ sous Solaris, par exemple.) Il faudrait donc écrire : template<> extern int Toto< int >::titi ; dans le fichier d'en-tête, et mettre la définition dans un seul fichier source. Sauf que je ne sais pas si c'est standard, ou une extention de g++ ; Sun CC le rejette en disant que extern n'est pas permis ici. Mais sans la declaration de la spécialisation explicite, tu aurais encore un comportement indéfini si jamais tu utilises la variable en dehors de l'unité de compilation où il a été definie. -- James Kanze GABI Software Conseils en informatique orientée objet/ Beratung in objektorientierter Datenverarbeitung 9 place Sémard, 78210 St.-Cyr-l'École, France, +33 (0)1 30 23 00 34 Back to top kanze Guest Posted: Thu Apr 27, 2006 10:06 am    Post subject: Re: Pbl template / définition de statique Sylvain wrote: Quote: à défaut d'une réponse à votre question, il y a une autre question à laquelle je ne trouve pas de réponses: quel serait l'intérêt d'une classe template basée sur un type primitif ? Tu ne vois pas l'intérêt d'un std::vector<int> de temps en temps@? Ou d'un std::basic_string< char > ? Quote: rationale: 90% des codes utilisent "int" sans jamais se soucier de la taille réelle (16, 32, 64?) des variables créées et quand bien même on voudrait (hors structure à alignement fixe) utiliser une seule taille, s'aligner sur la taille des registres fait sens. dès lors, il ne (me) semble pas probable de rencontrer (d'avoir besoin) des toto<unsigned char> ni des toto<signed long long>. D'accord dans l'ensemble, mais il y a bien des exceptions : il m'arrive d'utiliser size_t, time_t ou off_t, par exemple (et aucun n'est un int.) Sans parler de char:-). (Et unsigned char pour la mémoire brute, et des types unsigned quand je manipule des bits. Mais ce sont des utilisations de bas niveau, qui ne concernent pas la plupart des programmeurs.) En fait, il m'arrive de les utiliser des non-signés (surtout size_t) plus souvent que je ne veux. Parce que d'autres n'ont pas suivi tes conseils, et se sont servi des types non-signés, et qu'il vaut mieux éviter des mélanges de signés et de non-signés. -- James Kanze GABI Software Conseils en informatique orientée objet/ Beratung in objektorientierter Datenverarbeitung 9 place Sémard, 78210 St.-Cyr-l'École, France, +33 (0)1 30 23 00 34 Back to top Sylvain Guest Posted: Thu Apr 27, 2006 2:06 pm    Post subject: Re: Pbl template / définition de statique kanze wrote on 27/04/2006 11:09: Quote: Sylvain wrote: l'intérêt d'une classe template basée sur un type primitif ? Tu ne vois pas l'intérêt d'un std::vector<int> de temps en temps@? Ou d'un std::basic_string< char > ? tu prends ma question de manière restrictive: je n'ai pas dit que "std::vector<int>" ne servait pas, j'ai demandé si pratiquement (ie dans la plupart des cas d'une appli réelle), on avait besoin d'un std::vector<int> et d'un std::vector<short> (et d'un ...). Quote: D'accord dans l'ensemble, mais il y a bien des exceptions : il m'arrive d'utiliser size_t, time_t ou off_t, par exemple (et aucun n'est un int.) Sans parler de char:-). (Et unsigned char pour la mémoire brute, et des types unsigned quand je manipule des bits. Mais ce sont des utilisations de bas niveau, qui ne concernent pas la plupart des programmeurs.) ok, pour ce point, string.h utilise largement size_t par exemple donc bien sur qu'il sert - comme pour du bas niveau qu'un sale type osant utiliser des shifts s'autorise sans scrupule - mais utilises-tu souvent des vecteurs de time_t ? (c'est p.e. un mauvais exemple d'ailleurs). Quote: En fait, il m'arrive de les utiliser des non-signés (surtout size_t) plus souvent que je ne veux. Parce que d'autres n'ont pas suivi tes conseils, et se sont servi des types non-signés, et qu'il vaut mieux éviter des mélanges de signés et de non-signés. ?!? je n'ai pas conseillé de ne pas utiliser d'unsigned - pour ma part et dans nombre de cas je n'utilise "int" que comme variable de boucle et plutot des short ou des long généralement unsigned ailleurs (mais ce n'est que cas particulier pour des codes précis, ça ne fait ps une règle). Sylvain. Back to top kanze Guest Posted: Thu Apr 27, 2006 5:06 pm    Post subject: Re: Pbl template / définition de statique Sylvain wrote: Quote: kanze wrote on 27/04/2006 11:09: Sylvain wrote: l'intérêt d'une classe template basée sur un type primitif ? Tu ne vois pas l'intérêt d'un std::vector<int> de temps en temps ? Ou d'un std::basic_string< char > ? tu prends ma question de manière restrictive: je n'ai pas dit que "std::vector<int>" ne servait pas, j'ai demandé si pratiquement (ie dans la plupart des cas d'une appli réelle), on avait besoin d'un std::vector<int> et d'un std::vector<short> (et d'un ...). Mais alors... Il n'a jamais dit que son template ne servait que pour les types entiers de base -- je suis d'accord qu'écrire un template qui n'accepte que les types entiers de base comme paramètre, c'est vraiement rarement utile. (Sauf, peut-être, pour rouler la mechanique. La mode est aux templates, après tout, et si tu ne fais pas un template de tout, tu n'es pas in.) Quote: D'accord dans l'ensemble, mais il y a bien des exceptions : il m'arrive d'utiliser size_t, time_t ou off_t, par exemple (et aucun n'est un int.) Sans parler de char:-). (Et unsigned char pour la mémoire brute, et des types unsigned quand je manipule des bits. Mais ce sont des utilisations de bas niveau, qui ne concernent pas la plupart des programmeurs.) ok, pour ce point, string.h utilise largement size_t par exemple donc bien sur qu'il sert - comme pour du bas niveau qu'un sale type osant utiliser des shifts s'autorise sans scrupule - mais utilises-tu souvent des vecteurs de time_t ? (c'est p.e. un mauvais exemple d'ailleurs). Parfois, mais c'est vrai que la plupart de mes vectors sont ou des pointeurs, ou des classes. Mais je verrais bien un vector< off_t > dans certains cas. Et quant aux autres templates : pourquoi pas un std::map< EventId, time_t >, où EventId n'est qu'un typedef à un type entier de base ? Quote: En fait, il m'arrive de les utiliser des non-signés (surtout size_t) plus souvent que je ne veux. Parce que d'autres n'ont pas suivi tes conseils, et se sont servi des types non-signés, et qu'il vaut mieux éviter des mélanges de signés et de non-signés. ?!? je n'ai pas conseillé de ne pas utiliser d'unsigned Ah bon. J'avais compris que tu conseillais int dans tous les cas où il n'y avait pas d'impératif absolu d'un autre type (entier, s'entend). C'est à peu près mon avis -- 9 fois sur 10, je n'y reflechis même pas. Quote: - pour ma part et dans nombre de cas je n'utilise "int" que comme variable de boucle et plutot des short ou des long généralement unsigned ailleurs (mais ce n'est que cas particulier pour des codes précis, ça ne fait ps une règle). Il y a des fois que d'autres types s'imposent -- j'ai aussi du code avec les uint32_t, par exemple (dans l'implémentation de SHA-1, par exemple). Mais ce sont des exceptions. (Il y a aussi des décalages dans l'implémentation de SHA-1.) -- James Kanze GABI Software Conseils en informatique orientée objet/ Beratung in objektorientierter Datenverarbeitung 9 place Sémard, 78210 St.-Cyr-l'École, France, +33 (0)1 30 23 00 34 Back to top Sylvain Guest Posted: Thu Apr 27, 2006 5:06 pm    Post subject: Re: Pbl template / définition de statique kanze wrote on 27/04/2006 18:22: Quote: Mais alors... Il n'a jamais dit que son template ne servait que pour les types entiers de base -- je suis d'accord qu'écrire un template qui n'accepte que les types entiers de base comme paramètre, c'est vraiement rarement utile. corrollairement une classe template ne peux proposer que des services "basiques" pour supporter aussi bien un type primitif que des références d'objects, on voit donc souvent des template<type primitif> à coté de template<class T[&|*]>. Quote: (Sauf, peut-être, pour rouler la mechanique. La mode est aux templates, après tout, et si tu ne fais pas un template de tout, tu n'es pas in.) c'est un peu le fond de ma question, une fois acté le fait évident qu'il n'est pas utile de réinventer l'eau tiède pour un service standard, je m'interrogais sur l'usage (fréquent) des templates comme soit lié à un effet de mode, soit comme la conséquence d'une perte de maitrise de l'algorithme. algorithmie au sens large d'ailleurs: logique, sur la mise au point d'un algo de tri, de gestion de listes, ..., comme globale sur la répartition des taches dans un programme complet et les règles d'éxecution de ces taches (mettre un save dans un destructeur parce que ça fait mode, tant bien même celui-ci est incapable de gérer correctement l'opération). Quote: Il y a des fois que d'autres types s'imposent -- j'ai aussi du code avec les uint32_t, par exemple (dans l'implémentation de SHA-1, par exemple). Mais ce sont des exceptions. (Il y a aussi des décalages dans l'implémentation de SHA-1.) ouais, c'est plus des rotations avec réinjection que des shifts ;) Sylvain. Back to top kanze Guest Posted: Fri Apr 28, 2006 7:06 am    Post subject: Re: Pbl template / définition de statique Sylvain wrote: Quote: kanze wrote on 27/04/2006 18:22: Il y a des fois que d'autres types s'imposent -- j'ai aussi du code avec les uint32_t, par exemple (dans l'implémentation de SHA-1, par exemple). Mais ce sont des exceptions. (Il y a aussi des décalages dans l'implémentation de SHA-1.) ouais, c'est plus des rotations avec réinjection que des shifts Logiquement, en tout cas. Mais vue que le C++ n'a pas d'opérateur de rotation, on fait semblant avec des décalages. (Je ne me suis pas posé la question, mais est-ce qu'un compilateur pour un processeur qui a des instructions de rotation, comme IA-32, reconnaîtra l'idiome avec << n et >> (32-n), et génèrera l'instruction machine voulue ? En principe, c'est possible, et même pas trop difficile.) -- James Kanze GABI Software Conseils en informatique orientée objet/ Beratung in objektorientierter Datenverarbeitung 9 place Sémard, 78210 St.-Cyr-l'École, France, +33 (0)1 30 23 00 34 Back to top Sylvain Togni Guest Posted: Fri Apr 28, 2006 9:06 am    Post subject: Re: Pbl template / définition de statique Falk Tannhäuser a écrit : Quote: kanze wrote: Logiquement, en tout cas. Mais vue que le C++ n'a pas d'opérateur de rotation, on fait semblant avec des décalages. (Je ne me suis pas posé la question, mais est-ce qu'un compilateur pour un processeur qui a des instructions de rotation, comme IA-32, reconnaîtra l'idiome avec << n et (32-n), et génèrera l'instruction machine voulue ? En principe, c'est possible, et même pas trop difficile.) Petit test avec gcc 3.4.4: unsigned rotate(unsigned x, unsigned n) { return x << n | x >> (32-n); } même sans optimisation, donne pushl %ebp movl %esp, %ebp movl 12(%ebp), %ecx movl 8(%ebp), %eax roll %cl, %eax popl %ebp ret Avec -O2 ou -O3, le popl se fait avant le roll. Pas mal ! VC6, même en optimisation max, ne reconnaît pas l'idiome : mov edx,dword ptr [esp+4] push esi mov esi,dword ptr [esp+0Ch] mov ecx,20h sub ecx,esi mov eax,edx shr eax,cl mov ecx,esi pop esi shl edx,cl or eax,edx ret -- Sylvain Togni Back to top Falk Tannhäuser Guest Posted: Fri Apr 28, 2006 9:06 am    Post subject: Re: Pbl template / définition de statique kanze wrote: Quote: Logiquement, en tout cas. Mais vue que le C++ n'a pas d'opérateur de rotation, on fait semblant avec des décalages. (Je ne me suis pas posé la question, mais est-ce qu'un compilateur pour un processeur qui a des instructions de rotation, comme IA-32, reconnaîtra l'idiome avec << n et (32-n), et génèrera l'instruction machine voulue ? En principe, c'est possible, et même pas trop difficile.) Petit test avec gcc 3.4.4: unsigned rotate(unsigned x, unsigned n) { return x << n | x >> (32-n); } même sans optimisation, donne pushl %ebp movl %esp, %ebp movl 12(%ebp), %ecx movl 8(%ebp), %eax roll %cl, %eax popl %ebp ret Avec -O2 ou -O3, le popl se fait avant le roll. Falk Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         C++Talk.NET Forum Index -> C++ (French) All times are GMT Goto page 1, 2  Next Page 1 of 2   Jump to: Select a forum C/C++----------------C LanguageC Language (Moderated)C++ Language (Moderated)C++ language (comp.lang.c++)C++ language, library and standards Non-English C/C++ Newsgroups----------------C++ (German)C++ (French)  You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum Powered by phpBB © 2001, 2006 phpBB Group SEO toolkit © 2004-2006 webmedic.