Discussion :

[Invité]

hello,

ce code compile:

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
template<class T>
class A{
public:
  typedef A<T> type;
  virtual void operator*(type&)=0;
};
class El:public A<int>{
public:
  void operator*(type&){
  }
};
int main(){
  El e;
  return 0;
}

noter l'instanciation de El, et le return type==void

mais le code suivant ne compile pas:

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
 
template<class T>
class A{
public:
  typedef A<T> type;
  virtual void operator*(type&)=0;
};
class El:public A<int>{
public:
  void operator*(type&){
    type e;
  }
};
int main(){
  El e;
  return 0;
}
 
 
main.cpp:10:8: erreur: conflicting return type specified for ‘virtual void El::operator*(A<int>::type&)’
main.cpp:6:16: erreur:   overriding ‘A<T>::type A<T>::operator*(A<T>::type&) [with T = int, A<T>::type = A<int>]’
main.cpp: In member function ‘virtual void El::operator*(A<int>::type&)’:
main.cpp:11:10: erreur: cannot declare variable ‘e’ to be of abstract type ‘A<int>’
main.cpp:3:7: note:   because the following virtual functions are pure within ‘A<int>’:
main.cpp:6:16: note: 	A<T>::type A<T>::operator*(A<T>::type&) [with T = int, A<T>::type = A<int>]
make: *** [matrix.o] Erreur 1

pourquoi?
(noter l'instantiation de El au sein de El::operator*)

[Invité]

suis-je bete...

Code :

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

1
2
3
  void operator*(type&){
    type e; //type est abstrait, devrait utiliser El e;
  }

puis si on change la signature

Code :

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

type El::operator*(type&)

on ne pourra pas non plus retourner quoique ce soit puisque type est abstrait.

il suffit donc d'utiliser

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
 
template<class Sub>
class A{
public:
  typedef Sub type;
  virtual Sub operator*(Sub&)=0;
};
class El:public A<El>{
public:
  type operator*(type&){
    El e;
    return e;
  }
};
int main(){
  El e,f;
  El g=e*f;
  return 0;
}

ce qui est assez surprenant (voir que El:A<El> j'aurais pensé que pour définir El, il faut définit A<El> donc...infinite loop mais bon, c'est agréable )

[Ehonn]

Bonjour

A<T> est une classe qui a une fonction membre virtual pure et donc, tu ne peux pas l'instancier.

Il faut que tu laisses virtual mais que tu enlèves = 0; :

Code :

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

virtual void operator *(type &);

Edit : Et « ne surtout pas oublier de l'implémenter ».

[Invité]

Bonjour Ehonn, oui on s'est croisé

[the Hound]

Il faut que tu laisses virtual mais que tu enlèves = 0; :

Code :

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

virtual void operator *(type &);

Et surtout l'implémenter pour éviter une erreur de linkage.

[Ehonn]

...
C'était la déclaration là. En plus n'importe quel compilateur va faire un message d'erreur relativement clair (si tu essayes de l'appeler, sinon, ça peut être moins clair).
(J'ai quand même édité mon message)