C++Talk.NET C++ language newsgroups   Archives   FAQ   Search   Memberlist   Usergroups   Register   Profile   Log in to check your private messages   Log in  Recherche en deux phases : quid ? Goto page 1, 2  Next          C++Talk.NET Forum Index -> C++ (French) View previous topic :: View next topic   Author Message Pierre THIERRY Guest Posted: Thu May 12, 2005 12:38 am    Post subject: Recherche en deux phases : quid ? Dans un thread d'octobre, il y a eu une discussion sur l'implémentation de la recherche en deux phases. Est-ce que c'est le fait que le compilateur doit faire deux passes pour analyser le code, parce que C++ n'est pas toujours LALR(1), ou est-ce autre chose ? Curieusement, Nowhere man -- [email]nowhere.man (AT) levallois (DOT) eu.org[/email] OpenPGP 0xD9D50D8A Back to top Gabriel Dos Reis Guest Posted: Thu May 12, 2005 4:50 am    Post subject: Re: Recherche en deux phases : quid ? Pierre THIERRY <nowhere.man (AT) levallois (DOT) eu.org> writes: Quote: Dans un thread d'octobre, il y a eu une discussion sur l'implémentation de la recherche en deux phases. Est-ce que c'est le fait que le compilateur doit faire deux passes pour analyser le code, parce que C++ n'est pas toujours LALR(1), ou est-ce autre chose ? Je ne comprends pas le rapport entre la recherche en deux phases et parsing. -- Gaby Back to top kanze@gabi-soft.fr Guest Posted: Thu May 12, 2005 8:00 am    Post subject: Re: Recherche en deux phases : quid ? Pierre THIERRY wrote: Quote: Dans un thread d'octobre, il y a eu une discussion sur l'implémentation de la recherche en deux phases. Est-ce que c'est le fait que le compilateur doit faire deux passes pour analyser le code, parce que C++ n'est pas toujours LALR(1), ou est-ce autre chose ? C'est autre chose. Formellement, il ne concerne que la recherche des noms (name lookup), et en tout cas, ne concerne que les templates. Grosso modo, dans un template, les symboles utilisateurs se divisent deux catégories, les symboles dépendants, dont la signification dépendent des paramètres du template, et les symboles non-dépendants, dont la signification (le name binding, c-à-d le lien que fait le compilateur entre le symbol et sa déclaration) ne dépend pas des paramètres du template. La signification des symboles non-dépendants est fixé une fois pour tout par le compilateur, quand il voit le code du template. Si le compilateur ne peut pas trouver une déclaration qui convient, c'est une erreur, même s'il y en a une dans la contexte d'instantiation. La recherche de la déclaration se fait d'une façon tout à fait normal. L'évaluation de la signification des symboles dépendants est différée jusqu'à l'instantiation, et la récherche de la déclaration correspondante suit des règles un peu spéciales : dans la contexte de la définition du template, mais en ne considérant que les déclarations révélées par le récherche dépendant des paramètres, et dans la contexte de l'instantiation. C'est le compilateur qui décide quels symboles sont dépendant, et quels non, selon des règles assez obscures. Ce qui fait une jolie devinette pour le programmeur. Historiquement, la plupart des compilateurs ont commencé par évaluer un template uniquement dans la contexte de l'instantiation. (Taligent en était une exception, peut-être.) Ce qui a l'avantage de la simplicité, si rien d'autre -- ça présente certains dangers, mais au moins, on comprend ce qu'on fait. Mais la véritable problème aujourd'hui, c'est que très peu de compilateurs sont réelement conforme, ce qui fait qu'entre deux compilateurs, il y a de fortes chances qu'ils implémentent des règles différemment. -- 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 Pierre THIERRY Guest Posted: Thu May 12, 2005 8:20 am    Post subject: Re: Recherche en deux phases : quid ? Le Thu, 12 May 2005 06:50:22 +0200, Gabriel Dos Reis a écrit : Quote: Je ne comprends pas le rapport entre la recherche en deux phases et parsing. Normal, il n'y en a visiblement aucun. Je n'ai pas trouvé ce qu'était la recherche en deux phases, je demandais ce que c'est. Je me suis demandé si c'était une autre formule pour analyse en deux passes... Brièvement, Nowhere man -- [email]nowhere.man (AT) levallois (DOT) eu.org[/email] OpenPGP 0xD9D50D8A Back to top adebaene@club-internet.fr Guest Posted: Thu May 12, 2005 12:20 pm    Post subject: Re: Recherche en deux phases : quid ? k... (AT) gabi-soft (DOT) fr a écrit : Quote: Historiquement, la plupart des compilateurs ont commencé par évaluer un template uniquement dans la contexte de l'instantiation. (Taligent en était une exception, peut-être.) Ce qui a l'avantage de la simplicité, si rien d'autre -- ça présente certains dangers, mais au moins, on comprend ce qu'on fait. Mais la véritable problème aujourd'hui, c'est que très peu de compilateurs sont réelement conforme, ce qui fait qu'entre deux compilateurs, il y a de fortes chances qu'ils implémentent des règles différemment. Le deuxième problème étant qu'il y a beaucoup de code existant qui ne compile plus avec le 2 phases-lookup, ce qui fait que certains implémenteurs ne sont pas forcémenr très pressés de l'implémenter.... Arnaud Back to top Gabriel Dos Reis Guest Posted: Thu May 12, 2005 1:41 pm    Post subject: Re: Recherche en deux phases : quid ? Pierre THIERRY <nowhere.man (AT) levallois (DOT) eu.org> writes: Quote: Le Thu, 12 May 2005 06:50:22 +0200, Gabriel Dos Reis a écrit : Je ne comprends pas le rapport entre la recherche en deux phases et parsing. Normal, il n'y en a visiblement aucun. Je n'ai pas trouvé ce qu'était la recherche en deux phases, je demandais ce que c'est. Je me suis demandé si c'était une autre formule pour analyse en deux passes... Pour reprendre une suggestion faite récemment, peut-être était-ce la formulation. J'ai voulu voir ce que cela donnait. Toujours en voulant tester certaines de ces suggestions La règle me semble l'algorithme récursif suivant : - faire une recherche par soi-même sur le problème rencontré (sur les moteurs de recherche, avec comme mots-clefs l'erreur rencontrée, par exemple) ou sur le sujet abordé (sur les moteurs de recherche ou dans les catalogues de bibliothèques, avec comme mots-clefs les noms des concepts), - lire attentivement les documents trouvés, et s'il reste des zones d'ombre, poser des questions ciblées, - si l'on ne trouve pas, ou trop peu de choses, expliquer comment on a cherché et demander des pistes, - avec les pistes, reprendre au début. On peut aussi, quand on a glané des références, demander ce qu'elles valent avant de se lancer dans ses lectures. J'ai fait une simple recherche de « two phase name lookup » avec Google et dans les premières réponses, j'ai http://womble.decadentplace.org.uk/c++/template-faq.html question 6. -- Gaby Back to top Gabriel Dos Reis Guest Posted: Thu May 12, 2005 1:45 pm    Post subject: Re: Recherche en deux phases : quid ? [email]kanze (AT) gabi-soft (DOT) fr[/email] writes: [...] Quote: C'est le compilateur qui décide quels symboles sont dépendant, Les règles qui définissent ce qui est dépendent ou non sont aussi fixées et décrites dans la définition de C++. Quote: et quels non, selon des règles assez obscures. Ce qui fait une jolie devinette pour le programmeur. Historiquement, la plupart des compilateurs ont commencé par évaluer un template uniquement dans la contexte de l'instantiation. (Taligent en était une exception, peut-être.) Ce qui a l'avantage de la simplicité, si rien d'autre -- ça présente certains dangers, mais au moins, on comprend ce qu'on fait. Mais la véritable problème aujourd'hui, c'est que très peu de compilateurs sont réelement conforme, ce qui fait qu'entre Aujourd'hui, j'ai vu très peu d'écarts. -- Gaby Back to top Pierre THIERRY Guest Posted: Fri May 13, 2005 7:41 am    Post subject: Re: Recherche en deux phases : quid ? Le Thu, 12 May 2005 05:20:13 -0700, adebaene a écrit : Quote: Le deuxième problème étant qu'il y a beaucoup de code existant qui ne compile plus avec le 2 phases-lookup, Quel type de code va échouer ? Curieusemenent, Nowhere man -- [email]nowhere.man (AT) levallois (DOT) eu.org[/email] OpenPGP 0xD9D50D8A Back to top kanze@gabi-soft.fr Guest Posted: Fri May 13, 2005 3:33 pm    Post subject: Re: Recherche en deux phases : quid ? Pierre THIERRY wrote: Quote: Le Thu, 12 May 2005 05:20:13 -0700, adebaene a écrit : Le deuxième problème étant qu'il y a beaucoup de code existant qui ne compile plus avec le 2 phases-lookup, Quel type de code va échouer ? L'exemple type : template< typename T > struct S : public T { void f() { g() ; } } ; où g() est (ou doit être) une fonction de la classe de base. S'il n'y a pas de fonction g() disponible globalement, lors de la définition de S, il y aura une erreur à la compilation. S'il y a une fonction g() disponible globalement, lors de la définition de S, c'est elle qui sera appelée, plutôt que celle de la classe de base. Mais il y en a plein d'autres. -- 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 Pierre THIERRY Guest Posted: Mon May 16, 2005 12:46 pm    Post subject: Re: Recherche en deux phases : quid ? Le Fri, 13 May 2005 08:33:40 -0700, kanze a écrit : Quote: L'exemple type : template< typename T struct S : public T { void f() { g() ; } } ; où g() est (ou doit être) une fonction de la classe de base. S'il n'y a pas de fonction g() disponible globalement, lors de la définition de S, il y aura une erreur à la compilation. C'est censé échouer avec quels compilos ? Il me semble que ça marche avec GCC (3.3.5). Curieusement, Nowhere man -- [email]nowhere.man (AT) levallois (DOT) eu.org[/email] OpenPGP 0xD9D50D8A Back to top Gabriel Dos Reis Guest Posted: Mon May 16, 2005 2:42 pm    Post subject: Re: Recherche en deux phases : quid ? Pierre THIERRY <nowhere.man (AT) levallois (DOT) eu.org> writes: Quote: Le Fri, 13 May 2005 08:33:40 -0700, kanze a écrit : L'exemple type : template< typename T struct S : public T { void f() { g() ; } } ; où g() est (ou doit être) une fonction de la classe de base. S'il n'y a pas de fonction g() disponible globalement, lors de la définition de S, il y aura une erreur à la compilation. C'est censé échouer avec quels compilos ? qui documentent qu'ils implémentent la recherche de noms en deux phases. Quote: Il me semble que ça marche avec GCC (3.3.5). mais GCC-3.x avec x < 4 n'est pas documenté implémenter la recherche de noms en deux phases (quite the contrary). Essaie GCC-3.4.x ou GCC-4.0.x -- Gaby Back to top Pierre THIERRY Guest Posted: Mon May 16, 2005 2:53 pm    Post subject: Re: Recherche en deux phases : quid ? Le Mon, 16 May 2005 16:42:33 +0200, Gabriel Dos Reis a écrit : Quote: mais GCC-3.x avec x < 4 n'est pas documenté implémenter la recherche de noms en deux phases (quite the contrary). Essaie GCC-3.4.x ou GCC-4.0.x C'est très étrange, ça compile et fonctionne avec GCC 3.3.5, mais ça ne compile pas avec 3.4.3. Je n'ai plus 4.0 pour le moment. Étrangement, Nowhere man -- [email]nowhere.man (AT) levallois (DOT) eu.org[/email] OpenPGP 0xD9D50D8A Back to top Gabriel Dos Reis Guest Posted: Mon May 16, 2005 5:10 pm    Post subject: Re: Recherche en deux phases : quid ? Pierre THIERRY <nowhere.man (AT) levallois (DOT) eu.org> writes: Quote: Le Mon, 16 May 2005 16:42:33 +0200, Gabriel Dos Reis a écrit : mais GCC-3.x avec x < 4 n'est pas documenté implémenter la recherche de noms en deux phases (quite the contrary). Essaie GCC-3.4.x ou GCC-4.0.x C'est très étrange, ça compile et fonctionne avec GCC 3.3.5, mais ça ne compile pas avec 3.4.3. Je n'ai plus 4.0 pour le moment. Qu'est-ce qui est étrange ? -- Gaby Back to top Pierre THIERRY Guest Posted: Mon May 16, 2005 9:27 pm    Post subject: Re: Recherche en deux phases : quid ? Le Mon, 16 May 2005 19:10:42 +0200, Gabriel Dos Reis a écrit : Quote: C'est très étrange, ça compile et fonctionne avec GCC 3.3.5, mais ça ne compile pas avec 3.4.3. Je n'ai plus 4.0 pour le moment. Qu'est-ce qui est étrange ? Ben qu'une version compile le code convenablement et pas la suivante. Y'a régression, quoi... Étonnamment, Nowhere man -- [email]nowhere.man (AT) levallois (DOT) eu.org[/email] OpenPGP 0xD9D50D8A Back to top Matthieu Moy Guest Posted: Mon May 16, 2005 9:40 pm    Post subject: Re: Recherche en deux phases : quid ? Pierre THIERRY <nowhere.man (AT) levallois (DOT) eu.org> writes: Quote: Ben qu'une version compile le code convenablement et pas la suivante. Y'a régression, quoi... Relis bien le thread. Ce n'est pas une regression, c'est une progression ... vers le standard. GCC 3.3 accepte du code incorrect, c'est un bug, et il est corrigé dans la 3.4, parce qu'il utilise la recherche en deux phases. -- Matthieu 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.