Discussion :

[Lavock]

Bonjour,
désolé de vous innodé de question aujourd'hui, mais j'aimerai savoir si le comportement suivant est "normal" :

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
 
#include <iostream>
 
struct A {
  virtual ~A() = default;
};
 
struct B : A {
  virtual ~B() {
    std::cout << "B destructor" << std::endl;
  }
};
 
int main() {
  B* b = new B;
  A & refA = *b;
  delete &refA;
  return 0;
}

donne :

Code :

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

1
2
 
./leakTest

????

alors que

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
 
#include <iostream>
 
struct A {
  virtual ~A() {}
};
 
struct B : A {
  virtual ~B() {
    std::cout << "B destructor" << std::endl;
  }
};
 
int main() {
  B* b = new B;
  A & refA = *b;
  delete &refA;
  return 0;
}

donne :

Code :

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

1
2
3
 
./leakTest
B destructor

Est-ce un bug, ou =default est sensé supprimé la virtualité ? Merci d'avance !

[méphistopheles]

Je dois avouer que je n'ai pas la moindre idée de l'erreur (même si ton "=defaut") doit probablement "dévirtualiser" ton destrcuteur, mais j'aimerais bien savoir ou on peut avoir la doc pour ce genre de conventions ( je n'ai jamais vu cette syntaxe "=default")... (à moins que ce soit un équivalent du "=0")


Merci

[Lavock]

C'est dans le titre, c'est du c++0x >< !
Voilà le lien du draft n3000.

[méphistopheles]

C'est dans le titre, c'est du c++0x >< !
Voilà le lien du draft n3000.

J'avais compris. j'espérais simplement qu'il existait quelque-chose de plus "lisible" que les draft papers...

[Lavock]

Il y a toujours wikipedia.

[edit] J'ai trouvé ça aussi dans la signature de Alp !

[méphistopheles]

merci.

Je sais pas si un destructeur "default" est forcément trivial, mais si c'est le cas, il ne peut être virtuel :http://en.wikipedia.org/wiki/C%2B%2B...plain_old_data