Const Referenz als Klassenmitglied

Question

Auch wenn das Thema wurde hier oft diskutiert, kann ich keine schlüssige Erklärung zu meinem speziellen Fall finden. Will const die Lebensdauer des RefTest vorübergehend verlängern? Ist das folgende Beispiel legal?

#include <iostream> 

class RefTest 
{ 
public: 
    RefTest(const std::string &input) : str(input) {} 
    ~RefTest() {std::cout << "RefTest" << std::endl;} 
private: 
    std::string str; 
}; 

class Child 
{ 
public: 
    Child (const RefTest &ref) : ref_m(ref) {} 
    ~Child() {std::cout << "Test" << std::endl;} 
private: 
    const RefTest &ref_m; 
}; 

class Test 
{ 
public: 
    Test() : child(RefTest("child")) {}//Will the temporary get destroyed here? 
    ~Test() {std::cout << "Test" << std::endl;} 
private: 
    const Child child; 
}; 

int main() 
{ 
    Test test; 
} 

Answer 1

Die Referenz tut nicht die Lebensdauer verlängern. Der Code ist zulässig, aber nur, weil Sie nach Abschluss des Konstruktors nie auf ref_m zugreifen.

Das temporäre Objekt ist an den Konstruktorparameter ref gebunden. Das Binden eines weiteren Verweises später, ref_m, verlängert die Lebensdauer nicht. Wenn dies der Fall wäre, hätten Sie ein Objekt auf dem Stapel, das so lange bestehen bleiben muss, wie das Referenzelement, an das es gebunden ist, dem Heap zugeordnet werden könnte. Der Compiler kann den Stapel also nicht wieder auflösen, wenn der Konstruktor zurückkehrt.

Es wäre nett, eine Warnung zu erhalten, aber Compiler sind nicht perfekt und einige Dinge sind schwer zu warnen. Das Temporäre wird in einem anderen Kontext erstellt, als dort, wo es an eine Referenz gebunden ist. Der Compiler kann also nur feststellen, ob ein Problem mit aktiviertem Inlinging oder einer cleveren statischen Analyse vorliegt.

Answer 2

Die C++ Standard Zustände:

Der zweite Rahmen ist, wenn eine Referenz auf ein temporäres gebunden ist. Das Temporäre, an das der Verweis gebunden ist, oder das temporäre Objekt , das an ein Unterobjekt gebunden ist, an das das temporäre gebunden ist, bleibt für die gesamte Lebensdauer des Verweises bestehen, mit Ausnahme der unten angegebenen Ausnahmen. Eine temporäre Bindung an ein Referenzelement in einem Konstruktor ctor-Initialisierer (12.6.2) bleibt bestehen, bis der Konstruktor beendet wird. Eine temporäre Bindung an einen Referenzparameter in einem Funktionsaufruf (5.2.2) bleibt bestehen bis zum Abschluss des vollständigen Ausdrucks, der den Aufruf enthält.

HINWEIS: Und übrigens, ist diese doppelte (1, 2), sollten Sie besser, das nächste Mal suchen ... :)