C++ globale Objektinitialisierung schlägt fehl - warum? und ist es möglich, Objekte im .DATA-Bereich zu platzieren?

Question

Ich habe C schon lange auf Mikrocontrollern benutzt.

Kürzlich (endlich!) Habe ich es geschafft, GCC dazu zu bringen, einen C++ Code für meinen μC zu kompilieren und einen Code zu portieren, der zuvor nur OOP zum echten Deal "simuliert" hat.

Nach langem Debuggen und Kämpfen und Googeln habe ich nur noch ein Problem, aber dieses Rätsel verwirrt mich sehr. Ausführen dieses Codes (GCC/Arm):

class Test {                    

public: 
    int val; 

    Test(int val){                  
     this->val = val;                 
    } 
}; 

Test test1(5);                   

static void _test() { 

    Test test2(7);                  

    Debug::printf("-test1: %d-\n", test1.val);           
    Debug::printf("-test2: %d-\n", test2.val); 
} 

int main() { _init(); /*Hardware*/ _test(); while(1){} } 

ich als Ausgabe:

-test1: 0- 
-test2: 7- 

Also irgendwie ist test1 nicht initialisiert, wie ich es erwartet hätte zu sein.

Warum ist das so? Und was passiert hier wirklich? (Und warum beklagt sich der Compiler nicht?)

Was ich gerne tun würde: Da dies auf Mikrocontrollern läuft, möchte ich vermeiden, "malloc/new" zu verwenden, sondern dies in .DATA Abschnitte wie ich tun würde mit C:

struct Test { 
    int val; 
} 

Test test1 = { 5 }; 

Ist das überhaupt möglich?

Answer 1

In eingebetteten Systemen Programmierung, ist es sehr schlechte Praxis mit statischer Speicherdauer auf Konstruktor ruft für Objekte zu verlassen.

Das ist, weil viele Compiler die Option haben, einen nicht standardmäßigen "minimalen Start" zu erstellen, was bedeutet, dass der Compiler die Anforderungen der C- und C++ - Standards und die Initialisierung aller statischen Speicherdauervariablen einschließlich Aufruf ignoriert Konstruktoren für solche Objekte.

Auch im Allgemeinen C++ müssen Sie vorsichtig sein, nicht auf die Reihenfolge der Initialisierung von statischen Speicherdauervariablen zu verlassen. Wenn Sie Objekt A und B haben und Objekt A zuerst initialisiert wird, darf in As Konstruktor, der auf Initialisierung von B angewiesen ist, kein Code vorhanden sein. More info in the C++ FAQ.

Answer 2

Also irgendwie test1 wird nicht initialisiert, wie ich es erwartet hätte.

Die Reihenfolge der Initialisierung ist ein Problem, mit dem Sie beim Erstellen von Variablen im globalen Gültigkeitsbereich umgehen müssen. Eine Möglichkeit, das Problem zu vermeiden, besteht darin, sie mit Accessor-Funktionen zu kapseln.

Der folgende Code sollte unabhängig von der Reihenfolge der Initialisierung globaler Objekte funktionieren, da er nicht von einem globalen Objekt abhängt.

static Test& getTest1() 
{ 
    static Test t(5); 
    return t; 
}                   

static void _test() { 

    Test test2(7);                  

    Debug::printf("-test1: %d-\n", getTest1().val);           
    Debug::printf("-test2: %d-\n", test2.val); 
} 

Answer 3

eine einfache struct oder class Verwendung ist in der Tat möglich:

class Test { // or use struct without explicit public accessibility 
public: 
    int val; 
}; 

Test test1 = { 5 }; 

Sie:

• keine Lust Bauarbeiten mit dieser Ebene Layout und
• nicht zu tun haben jedes Mitglied, das eine Konstruktion benötigt.

Andernfalls müssen Sie nicht über new oder malloc Sorge, wenn Sie programmieren, wie Sie in Ihrem Beispiel tat test2 billig auf dem Stapel reserviert wird, obwohl ein Konstruktor aufgerufen wird.

nur als Randnotiz: betrachten initializer Listen verwenden, wenn Sie verwenden Konstrukteure tun:

class Test { 
    int m_val; 
public: 
    Test(int val) : m_val(val) {} 
};