Discussion :

[GMany]

Bonjour, est-il possible de définir le type de retour d'un opérateur template comme template ?

Ex :

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
 
template<class A>class peuimporte
{
 
  bla bla
 
  template<class B>B operator[](unsigned int);
 
  bla bla
 
};
 
//Déclaration
template<class A>template<class B>B peuimporte::operator[](unsigned int i)
{
  bla bla
}
 
//Utilisation :
 
peuimporte<unautretypeauhasard> *X;
montype x=(*X)<montype>[n];

Je ne vous cache pas que je si je viens ici j'ai déjà essayé l'écriture, ça ne compile pas : "type 'montype' inattendu"

Alors mon problème existe-t-il une écriture que j'ai loupé ?

Ca m'embêterais beaucoup de ne pas pouvoir définir le type de retour d'un opérateur comme template, que ce soit dans un template ou dans n'importe quelle classe d'ailleurs...

Merci pour votre réponse.

[3DArchi]

Bonjour et bienvenu,
Si le paramètre template ne peut être déduit des arguments, alors effectivement il faut le préciser lors de l'appel de la fonction. Et pour un opérateur, la spécification de ce type peut se faire par l'utilisation de la version 'longue' de l'appel :

Code :

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

1
2
peuimporte<unautretypeauhasard> *X;
montype x=X->operator[]<montype>(n);

Ce qui devient tout de suite beaucoup moins intéressant comme écriture...

[GMany]

L'écriture est tellement improbable que j'opte pour l'option d'oublier l'opérateur et mettre un nom de fonction moins pertinent mais plus agréable à l'écriture.

Merci beaucoup.