Discussion :

[Bktero]

Bonjour,

J'ai une application GUI qui fonctionne bien. Dans ma hiérarchie, j'ai une classe abstraite qui est la classe mère des différents menus (ceux qui affichent une liste sélectionnable). Je souhaite transformer cette classe en classe template dont le paramètre est le nombre d'éléments dans la liste à afficher. Je n'ai pas droit de faire de l'allocation dynamique d'où cette approche template pour dimensionner le tableau contenant les éléments. J'ai donc fait cette transformation et me retrouve dans une situation où mon code compile avec Visual Studio, avec IAR Embedded Workbench, mais plus avec MinGW. Il y a une erreur laconique sur l'appel d'une fonction template dans la classe template.

Je me suis battu pour arriver à un code minimaliste reproduisant le problème qui me confirme que Visual Studio accepte ce code que MinGW refuse. Je n'ai pas retesté ce code minimal avec IAR. Ici, je vois deux solutions :

• un bug dans MinGW
• un comportement non portable que MinGW refuse

Comme l'erreur est non explicite, je fais appel à votre expertise. Il y a beaucoup de fichiers, merci de votre patience

Page.hpp, qui contient la classe mère de toutes les pages et l'objet permettant de faire la navigation.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#ifndef PAGE_HPP
#define PAGE_HPP
 
class MyApplication
{
public:
    template<class NextPage>
    void gotoPage()
    {
    }
};
 
class Page
{
public:
    virtual ~Page()
    {
    }
 
    virtual void handleEvent() = 0;
 
    MyApplication& getApplication()
    {
        static MyApplication application;
        return application;
    }
};
 
#endif

TempateMenuPage.hpp avec la fameuse classe template. Comme toutes les pages de menu doivent retourner à la page d'accueil, je met le gotoPage() dans cette classe. C'est ça qui pose soucis.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
#include "HomePage.hpp"
#include "Page.hpp"
 
template<int itemCount>
class TempateMenuPage : public Page
{
public:
    void handleEvent() override
    {
        getApplication().gotoPage<HomePage>();
    }
};

MainMenuPage.hpp qui spécialise le template

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
#include "TempateMenuPage.hpp"
 
class MainMenuPage : public TempateMenuPage<5>
{
public:
    void handleEvent() override;
};

MainMenuPage.cpp (je remet le gotoPage() pour tester et ici ça ne pose pas problème).

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
#include "MainMenuPage.hpp"
 
void MainMenuPage::handleEvent()
{
    getApplication().gotoPage<HomePage>();
}

HomePage.hpp qui définit la page utilisée dans la classe template

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
#include "Page.hpp"
 
class HomePage : public Page
{
public:
    void handleEvent() override;
};

HomePage.cpp

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
#include "HomePage.hpp"
 
void HomePage::handleEvent()
{
}

Et enfin, l'erreur magique :

g++ -std=c++11 "-IC:\\Users\\X-pigradot\\workspaceTests\\Experiences\\src" "-IC:\\Users\\X-pigradot\\workspaceTests\\Experiences" -O0 -g3 -pedantic -Wall -Wextra -c -fmessage-length=0 -o "src\\MainMenuPage.o" "..\\src\\MainMenuPage.cpp" 
In file included from ..\src\MainMenuPage.hpp:1:0,
                 from ..\src\MainMenuPage.cpp:1:
..\src\TempateMenuPage.hpp: In member function 'void TempateMenuPage<itemCount>::handleEvent()':
..\src\TempateMenuPage.hpp:10:43: error: expected primary-expression before '>' token
         getApplication().gotoPage<HomePage>();
                                           ^
..\src\TempateMenuPage.hpp:10:45: error: expected primary-expression before ')' token
         getApplication().gotoPage<HomePage>();
     

Qu'en pensez-vous ?

Merci d'avance !

[Bktero]

PS : je partage aussi les fichiers pour ceux qui voudraient compiler le code plus facilement ^^

[ternel]

Je n'ai pas le temps de vérifier scrupuleusement, mais a priori, tu as un problème d'ordre d'inclusion de tes fichiers.
simule le préprocesseur à la main, tu devrais voir.

Au passage, je te rappelle la règle: une template doit être intégralement définie lors de son instanciation.
(un rappel fait toujours du bien )

[Bktero]

Je n'ai pas le temps de vérifier scrupuleusement, mais a priori, tu as un problème d'ordre d'inclusion de tes fichiers.
simule le préprocesseur à la main, tu devrais voir.

Si tu parles des lignes 1 et 2 de TempateMenuPage.hpp, ce n'est pas la cause du problème.

Au passage, je te rappelle la règle: une template doit être intégralement définie lors de son instanciation.
(un rappel fait toujours du bien )

Je présume que tu me rappelles cette règle car je ne dois pas la respecter... Peut-tu expliciter pour mon cas stp ?

[ternel]

Pour le rappel, non, c'est préventif. Quand on a un problème de template, il vaut toujours mieux se la remémorer.

En général, quand gcc se plaint sur un "before >", c'est qu'il n'a pas l'idée que le nom de la template est une template, et que du coup, l'analyse syntaxique amorce une comparaison arithmétique (autour du < ouvrant)
Il analyse getApplication().gotoPage<HomePage>() comme ( getApplication().gotoPage < HomePage ) > (). Évidemment, ca ne veut rien dire.

Et la, j'ai l'illumination.

tu es dans une template, et tu appelles une fonction membre template.
la syntaxe est getApplication().template gotoPage<HomePage>(). Have fun with C++.

[Bktero]

Je m'étais douté que le double template aidait pas. Dans ma tentative de reproduction, j'avais essayé de bypasser la classe MyApplication et d'avoir une fonction membre template gotoPage() dans Page mais le problème se ne posait pas. Du coup, je m'étais éloigné de cette hypothèse du double template... Ca corrige mon problème. Merci !

J'ai quand même voulu comprendre un peu ce qu'il se passe. On trouve plusieurs discussions stackoverflow sur le sujet, celle-ci étant peut-être la plus claire. On retrouve souvent cette citation de la norme :

When the name of a member template specialization appears after . or -> in a postfix-expression, or after nested-name-specifier in a qualified-id, and the postfix-expression or qualified-id explicitly depends on a template-parameter (14.6.2), the member template name must be prefixed by the keyword template. Otherwise the name is assumed to name a non-template.

Si je décortique cette affirmation par rapport à mon code, j'ai dû mal trouver les correspondances... Je prend cette partie "the member template name must be prefixed by the keyword template" et je m'étonne car getApplication() n'est pas un membre template (member template, template member ?)

[ternel]

La définition qui pose problème est celle dans TemplateMenuPage qui est une template de classe.
Donc son this est template, et tout en découle.

La citation correspond à "si le bidule apparaissant ., -> ou ::, est le nom d'une template, et qu'il recoit explicitement un parametre template, il faut préciser que c'est une template".

en gros, Truc . Bidule_template < parametre > n'est pas valide, il faut préciser Truc . template Bidule_template < parametre >.

Par contre, si les parametres templates sont déduits, ca passe: Truc . Bidule_template(Machin_qui_donne_le_parametre).

[Bktero]

Have fun with C++.

Je crois que tu résumes bien la situation

Merci beaucoup !