können Memberfunktionen zum Initialisieren von Elementvariablen in einer Initialisierungsliste verwendet werden?

Question

OK, Elementvariablen can be used, um andere Elementvariablen in einer Initialisierungsliste zu initialisieren (wobei die Initialisierungsreihenfolge beachtet wird usw.). Was ist mit Mitgliedsfunktionen? Um genau zu sein, ist dieses Snippet nach dem C++ - Standard legal?

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 
}; 

Answer 1

Ja, Ihre Verwendung der Elementfunktion in der Initialisierungsliste ist gültig und entspricht dem Standard.

Datenelemente werden in der Reihenfolge ihrer Deklaration initialisiert (und deshalb sollten sie in der Initialisierungsliste in der Reihenfolge ihrer Deklaration angezeigt werden - die Regel, die Sie in Ihrem Beispiel befolgt haben). N_ wird zuerst initialisiert und Sie könnten dieses Datenelement an fill_arr übergeben haben. fill_arr wird vor dem Konstruktor aufgerufen, aber da diese Funktion nicht auf nicht initialisierte Datenelemente zugreift (sie greift überhaupt nicht auf Datenelemente zu), wird ihr Aufruf als sicher betrachtet.

Hier sind einige relevante excepts aus dem aktuellen Entwurf (N3242 = 11-0012) der Standard C++:

§ 12.6.2.13: Member-Funktionen (einschließlich virtueller Elementfunktionen, 10.3) aufgerufen werden kann für ein Objekt im Aufbau. (...) Wenn diese Operationen jedoch in einem ctor-Initialisierer (oder in einer Funktion , die direkt oder indirekt von einem ctor-Initialisierer aufgerufen wird) ausgeführt werden, müssen alle mem-Initialisierer für Basisklassen haben abgeschlossen, ist das Ergebnis der Operation undefiniert. 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 einem nicht-trivialen Konstruktor, unter Bezugnahme auf jede nicht-statische Element oder Basisklasse des Objektes vor dem Konstruktor beginnt Ausführungsergebnisse in undefiniertes 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 
    } 
}; 

Answer 2

Beim Initialisieren Objekte in der Initialisierungsliste wird das Objekt noch nicht vollständig aufgebaut ist.
Wenn diese Funktion versucht, auf den Teil des Objekts zuzugreifen, der noch nicht konstruiert ist, dann ist das ein undefiniertes Verhalten, ansonsten ist es in Ordnung.
siehe this answer.