Discussion :

[white_tentacle]

Bonjour,

Je suis tombé récemment sur le problème suivant, je me suis dit que j’allais en faire profiter un peu tout le monde. Je n’avais jamais rencontré ce besoin auparavant. Je suis preneur aussi d’une explication sur le pourquoi de la correction, car celle-là, je ne l’ai pas comprise.

Bref, le code suivant ne compile pas : que faut-il pour le corriger (solution demain soir si – mais j’en doute – personne n’a trouvé).

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
 
int f1()
{
    return 2;
}
 
template<class Func, class T>
void f(Func f, T& a)
{
    a.func<decltype(f())>();
}
 
struct A
{
    template<typename T> T func();
};
 
template<typename T> T A::func()
{
    return T();
}
 
int main()
{
    A a;
    f(f1, a);
    return 0;
}

Bien évidemment, ce code ne fait rien : il sert seulement à reproduire l’erreur que j’avais (et la correction a y apporter). Le but est bien d’appeler la fonction A.func, avec comme paramètre template le type de retour de la fonction f.

[Neckara]

Bonjour,

On peut avoir le message d'erreur ?

Code :

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

1
2
3
4
5
6
7
8
template<typename T> 
struct A
{
    T func();
};
 
 
A<machin> a;

?

[white_tentacle]

Avec gcc :

Code :

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

1
2
3
4
 
test2.cpp: In function ‘void f(Func, T&)’:
test2.cpp:9:9: error: expected primary-expression before ‘decltype’
test2.cpp:9:9: error: expected ‘;’ before ‘decltype’

Note : il est interdit de changer A. func doit être une fonction membre template de A, qui elle n’est pas template.

[Kalith]

J'ai souvent eu cette erreur :

Code :

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

1
2
3
4
5
template<class Func, class T>
void f(Func f, T& a)
{
    a.template func<decltype(f())>();
}

Je pense que c'est pour que le parser du compilateur puisse lire cette fonction en sachant que les chevrons de <decltype(f())> correspondent à une instanciation d'un template, plutôt qu'à des opérateurs de comparaison. En effet, lors de la lecture du fichier, le compilateur ne sais pas ce qu'est a.func, en particulier il ne sait pas que c'est une fonction template, puisqu'il ne connaît pas le type T. Dans le fond c'est un problème équivalent au typename T::type qu'on doit taper régulièrement quand on fait de la métaprog.

Edit : un exemple pour appuyer mes dires. Ton code initial en réalité ne devrait pas poser d’ambiguïté, puisqu'aucun type T ne permettrait de compiler ta fonction template avec les chevrons interprétés comme opérateurs de comparaison (en tout cas je n'en vois aucun). En revanche si tu écris :

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
template<int N, class T>
void f(int i, T& a)
{
    a.func<N>(i);
}
 
struct A
{
    template<int N> int func(int i) {
        return N + i;
    }
};
 
struct B
{
    int func = 5;
};

... alors tu peux appeler ta fonction f sur le type B sans erreur (il faut un peu d'imagination pour voir comment le compilateur arrive à interpréter ça ). Il faudra ajouter le mot clé template pour que ça compile avec A (et non plus avec B).

[white_tentacle]

C’est bien ça.

Et effectivement, ton explication me parait pertinente. Je ne l’avais pas envisagé comme ça, mais il y a bien ambiguïté sur l’appel.

[white_tentacle]

Enfin, une dernière chose.

Le message d’erreur donné par g++ est incompréhensible. À titre de comparaison, je vous donne celui donné par clang-3.2 (grâce auquel j’ai résolu mon problème).

Code :

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

1
2
3
4
5
 
test2.cpp:9:7: error: use 'template' keyword to treat 'func' as a dependent template name
    a.func<decltype(f())>();
      ^
      template