Comment est “par défaut =” différent de “{}” pour défaut constructeur et le destructeur?

C'est une toute autre question quand on parle des constructeurs que des destructeurs.

Si votre destructeur est virtual, la différence est négligeable, Howard a souligné. Toutefois, si votre destructeur a été non virtuelle, c'est une histoire complètement différente. La même chose est vraie pour les constructeurs.

À l'aide de = default syntaxe spéciale de fonctions membres (constructeur par défaut, copier/déplacer des constructeurs ou d'une assignation, destructeurs etc) signifie quelque chose de très différent de simplement faire {}. Avec ce dernier, la fonction devient "l'utilisateur". Et cela change tout.

C'est une simple classe en C++11 définition:

struct Trivial
{
  int foo;
};

Si vous tentative à défaut de construire un, le compilateur va générer un constructeur par défaut automatiquement. En va de même pour la copie/déplacement et la destruction. Parce que l'utilisateur n'a pas fourni l'une de ces fonctions de membre, le C++11 spécification considère ce dernier comme une "banale" de la classe. Il est donc légal de faire cela, comme memcpy leur contenu autour de les initialiser et ainsi de suite.

Ce:

struct NotTrivial
{
  int foo;

  NotTrivial() {}
};

Comme le nom le suggère, ce n'est plus trivial. Il a un constructeur par défaut qui est fourni par l'utilisateur. Il n'a pas d'importance si elle est vide; en ce qui concerne les règles de C++11, cela ne peut pas être une mince type.

Ce:

struct Trivial2
{
  int foo;

  Trivial2() = default;
};

De nouveau comme son nom l'indique, c'est un type trivial. Pourquoi? Parce que vous avez dit au compilateur de générer automatiquement le constructeur par défaut. Le constructeur est donc pas "fourni par l'utilisateur." Et par conséquent, le type de compte comme trivial, car elle n'a pas un utilisateur par défaut fourni par le constructeur.

La = default syntaxe est principalement là pour faire les choses comme copie de constructeurs ou d'une assignation, lorsque vous ajoutez des fonctions de membre qui empêchent la création de telles fonctions. Mais c'est aussi un déclencheur spécial comportement du compilateur, il est donc utile en défaut constructeurs/destructeurs trop.

La différence importante entre

class B {
    public:
    B(){}
    int i;
    int j;
};

et

class B {
    public:
    B() = default;
    int i;
    int j;
};

est que le constructeur par défaut défini avec B() = default; est considéré comme non-défini par l'utilisateur. Cela signifie qu'en cas de valeur d'initialisation comme dans

B* pb = new B();  //use of () triggers value-initialization

type spécial de l'initialisation, qui n'utilise pas un constructeur à tous aura lieu et pour des types intégrés, cela entraînera zéro-initialisation. En cas de B(){} cela n'aura pas lieu. La Norme C++ n3337 § 8.5/7 dit

À la valeur d'initialiser un objet de type T signifie:

— si T est une (peut-être
cv qualifiés) type de classe (Clause 9) avec une fourni par l'utilisateur constructeur
(12.1), puis le constructeur par défaut pour T est appelé (et le
l'initialisation est mal formé, si T est pas accessible par défaut
le constructeur);

— si T est une (peut-être de cv qualifiés) non-union type de classe
sans que l'utilisateur fourni par le constructeur, puis l'objet est
initialisé à zéro et, si T est implicitement déclarée constructeur par défaut
est non-trivial, que le constructeur est appelé.

— si T est de type tableau,
ensuite, chaque élément est la valeur initialisée; — sinon, l'objet est
initialisé à zéro.

Par exemple:

#include <iostream>

class A {
    public:
    A(){}
    int i;
    int j;
};

class B {
    public:
    B() = default;
    int i;
    int j;
};

int main()
{
    for( int i = 0; i < 100; ++i) {
        A* pa = new A();
        B* pb = new B();
        std::cout << pa->i << "," << pa->j << std::endl;
        std::cout << pb->i << "," << pb->j << std::endl;
        delete pa;
        delete pb;
    }
  return 0;
}

résultat possible:

0,0
0,0
145084416,0
0,0
145084432,0
0,0
145084416,0
//...

http://ideone.com/k8mBrd