können Elementfunktionen verwendet werden, um Elementvariablen in einer Initialisierungsliste zu initialisieren?

OK, member-Variablen verwendet werden können zu initialisieren anderen member-Variablen in einer Initialisierungs-Liste (mit Sorgfalt über die Initialisierungs-Reihenfolge etc). Was ist mit member-Funktionen? Um genau zu sein, ist dieses snippet rechtliche nach der C++ standard?

struct foo{
  foo(const size_t N) : N_(N),  arr_(fill_arr(N)) { 
    //arr_ = fill_arr(N); //or should I fall back to this one?
  }

  std::vector<double> fill_arr(const size_t N){
    std::vector<double> arr(N);
    //fill in the vector somehow
    return arr;
  }

  size_t N_;
  std::vector<double> arr_;
  //other stuff
};

InformationsquelleAutor der Frage ev-br | 2012-06-24

  1. 31

    Ja, nutzen Sie die member-Funktion im Initialisierungs-Liste ist gültig und entspricht der Norm.

    Mitglieder-Daten initialisiert sind in der Reihenfolge Ihrer Deklaration (und das ist der Grund, warum Sie erscheinen soll, in der Initialisierungs-Liste in der Reihenfolge Ihrer Deklaration - die Regel, dass Sie Folgen in Ihrem Beispiel). N_ ist erst initialisiert und Sie können übergeben Sie diese Daten Mitglied fill_arr. fill_arr wird aufgerufen, bevor der Konstruktor aber da diese Funktion nicht auf nicht initialisierte Daten-Mitglieder (es greift nicht auf die Daten der Mitglieder bei allen) seinen Ruf als sicher.

    Hier sind einige relevanten Ausschnitte aus dem letzten Entwurf (N3242=11-0012) der C++ - standard:

    § 12.6.2.13: Member-Funktionen (einschließlich der virtuellen member-Funktionen,
    10.3) können aufgerufen werden, für ein Objekt im Bau.(...) Wenn jedoch sind diese Vorgänge in einem ctor-Initialisierer (oder in einer Funktion
    genannt, die direkt oder indirekt von einer ctor-Initialisierung), bevor alle
    mem-Initialisierungen für die Basis-Klassen abgeschlossen haben, das Ergebnis der
    operation ist nicht definiert. Beispiel:

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

class B : public A {
   int j;
public:
   int f();
   B() : A(f()), //undefined: calls member function
                 //but base A not yet initialized
   j(f()) { }    //well-defined: bases are all initialized
};

class C {
public:
   C(int);
};

class D : public B, C {
   int i;
public:
   D() : C(f()), //undefined: calls member function
                 //but base C not yet initialized
   i(f()) { } //well-defined: bases are all initialized
};

    §12.7.1: Für ein Objekt mit einer nicht-trivialen Konstruktor, bezogen auf
    jede nicht-statische member-oder base-Klasse, der das Objekt vor der
    Konstruktor mit der Ausführung beginnt Ergebnisse zu undefiniertem Verhalten. Beispiel

    struct W { int j; };
struct X : public virtual W { };
struct Y {
   int *p;
   X x;
   Y() : p(&x.j) { //undefined, x is not yet constructed
   }
};

    InformationsquelleAutor der Antwort Bojan Komazec

  2. 3

    Während der Initialisierung der Objekte in der Initialisierungs-Liste, das Objekt ist noch nicht vollständig aufgebaut.

    Wenn diese Funktion versucht auf das Teil, in der das Objekt noch nicht gebaut, dann ist das ein nicht definiertes Verhalten sonst alles in Ordnung ist.

    sehen diese Antwort.

    InformationsquelleAutor der Antwort Eight

Schreibe einen Kommentar