Desctructeur virtuel et default c++0x

**Lavock** · 03/02/2010, 16h12

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** · 03/02/2010, 17h05

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** · 03/02/2010, 17h08

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

**méphistopheles** · 03/02/2010, 17h14

Envoyé par Lavock

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** · 03/02/2010, 17h17

Il y a toujours wikipedia.

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

!

**méphistopheles** · 03/02/2010, 17h27

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

**Lavock** · 03/02/2010, 17h31

Justement, je trouve rien qui va dans se sens. Il y a même une classe dans la norme ou il y a écris texto virtual ~class() = default (nested exception je crois).
De plus, pour les POD, c'est dit que le destructeur doit être celui par défaut ET non virtuel. Pourquoi cette indication si on ne peut pas le faire ?

**méphistopheles** · 03/02/2010, 18h01

en suite, ça arrive souvent que les compilos ne suivent pas exactement la norme (y'avait un sujet sur la résolution de portée des sous classes y'a pas longtemps d'ailleurs et gcc aussi bien que visual ne suivaient pas la norme)...

Qu'utilise-tu pour compiler ?

(je suis désolé de m'en tenir aux généralités, mais étant donné que je suis loin d're ne serais-ce que conaisseur sur le sujet, je ne peut inférer.)

**Lavock** · 03/02/2010, 18h07

Gcc 4.4.0 Mingw port. Je vais vérif ce que ça donne sous Gcc 4.4.1.

[edit] Après vérification, j'ai le même comportement sous GCC 4.4.1 >< !

**3DArchi** · 03/02/2010, 18h17

Bonjour,
De ce que je comprend, il faut faire comme ça :

Code :

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

1
2
3
4
struct A {
  virtual ~A();
};
A::~A()=default;

Si je comprend bien la norme, si la première déclaration (du destructueur) rencontrée mentionne =default alors c'est la version implicite qui est générée (inline et non virtuelle). En revanche, s'il ne s'agit pas de la première fois, alors cela devient une définition et non plus une déclaration, ce qui veut dire que le virtuel est confirmé.
Si c'est bien comme ça qu'il faut comprendre, alors on pourrait attendre un avertissement de

Code :

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

1
2
3
struct A {
  virtual ~A()=default;
};

**Lavock** · 03/02/2010, 18h21

Effectivement, la déclaration à l'extérieur marche très bien. Pourtant, il serait plus commode de pouvoir écrire comme je le faisait...

Merci pour ça, tu viens de me résoudre plusieurs giga de leak >< !

[edit] Au paragraphe 18.8.6, dans la définition de nested_excpetion, on trouve bien :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
namespace std {
  class nested_exception {
  public:
     nested_exception() throw();
     nested_exception(const nested_exception&) throw() = default;
     nested_exception& operator=(const nested_exception&) throw() = default;
     virtual ~nested_exception() = default;
     // access functions
     void rethrow_nested() const; // [[noreturn]]
     exception_ptr nested_ptr() const;
  };
  template<class T> void throw_with_nested [[noreturn]] (T&& t);
  template <class E> void rethrow_if_nested(const E& e);
}

**Lavock** · 03/02/2010, 18h26

Dans le même document que tu donnes, on trouve quand même :

Code :

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

1
2
3
4
5
6
7
8
struct type
{
    type() = default; // trivial
    virtual ~type() = default; // non-trivial because virtual
    type & operator =( const type & ); // non-trivial
    // because not defaulted here
};
inline type & type::operator =( const type & ) = default;

[edit] Malin la suppression... Référence :là

**3DArchi** · 03/02/2010, 19h06

En relisant, j'oscille quand même entre penser qu'il s'agit d'un problème de gcc à la base. =defaultest une définition et ne devrait pas empêcher la première écriture que tu avais. Faut creuser encore un peu.

**Arzar** · 03/02/2010, 22h13

C'est quand même très curieux.

Il me semblait que le but principal de la syntaxe en =default était de permettre de remplacer la définition de tous ces constructeurs et destructeurs virtuelles vides que nous impose le langage, parfois, par une syntaxe dont la sémantique est un peu plus claire ("laissons-le compilateur générer ce qu'il faut...")

Mais si =default oblige à faire une déclaration interne puis une définition externe pour avoir le comportement voulu, alors le remède est largement pire que le mal...

Il faudrait peut-être poster sur comp.std.c++ pour en avoir le cœur net.