reference initialization

This page has been machine-translated from the English version of the wiki using Google Translate. The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here. Click here for the English version of this page

[Bearbeiten] Syntax

[Bearbeiten] Erklärung

• Wenn die Referenz ist ein L-Wert-Referenz:

  Original:

  If the reference is an lvalue reference:

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

• Wenn object ein L-Wert Ausdruck ist, und seine Art ist T oder eine Base T und ist gleich oder weniger cv-qualifiziert, dann wird die Referenz auf das Objekt von der L-Wert oder der Basisklasse Unterobjekt des Objekts identifiziert gebunden .

  Original:

  If object is an lvalue expression, and its type is T or a base of T, and is equally or less cv-qualified, then the reference is bound to the object identified by the lvalue or the base class subobject of the object.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

• Wenn object ein L-Wert Ausdruck ist, und der Typ ist implizit konvertierbar zu einer Art, die entweder T oder eine Base T ist gleich oder weniger cv-qualifiziert, dann sind die nicht-explizite Konvertierung Funktionen des Quell-Typ und dessen Basis-Klassen, die zurück lvalue Hinweise werden berücksichtigt und das beste ist durch Überlast Auflösung gewählt. Der Verweis wird dann zu dem Objekt durch den L-Wert identifiziert zurückschickt Umwandlungsfunktion (oder seine Basisklasse Subobjekt) gebunden

  Original:

  If object is an lvalue expression, and its type is implicitly convertible to a type that is either T or a base of T, equally or less cv-qualified, then the non-explicit conversion functions of the source type and its base classes that return lvalue references are considered and the best one is selected by overload resolution. The reference is then bound to the object identified by the lvalue returned by the conversion function (or its base class subobject)

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

• Andernfalls, wenn die Bildnummer entweder rvalue Referenz oder Lvalue Bezugnahme auf const ist:

  Original:

  Otherwise, if the reference is either rvalue reference or lvalue reference to const:

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

• Wenn ein object xWert, eine Klasse prvalue, ein Array prvalue, oder eine Funktion, die entweder L-Wert Typ T oder eine Base der T ist, gleich oder weniger cv-qualifiziert ist, dann wird der Sollwert auf den Wert der Initialisierer Expression gebunden oder ihre Basis Unterobjekt .

  Original:

  If object is an xvalue, a class prvalue, an array prvalue, or a function lvalue type that is either T or a base of T, equally or less cv-qualified, then the reference is bound to the value of the initializer expression or its base subobject.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

• Wenn object ein Klassentyp Ausdruck, der implizit zu einem xWert, einer Klasse prvalue oder einer Funktion Wert des Typs, die entweder T oder eine Base T ist umgewandelt werden kann, gleich oder weniger cv-qualifiziert ist, dann wird der Verweis auf die gebundene Ergebnis der Umwandlung oder seiner Basis Unterobjekt .

  Original:

  If object is a class type expression that can be implicitly converted to an xvalue, a class prvalue, or a function value of type that is either T or a base of T, equally or less cv-qualified, then the reference is bound to the result of the conversion or its base subobject.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

• Andernfalls wird eine temporäre vom Typ T konstruiert und copy-initialisiert aus object. Der Verweis wird dann zu dieser temporären gebunden .

  Original:

  Otherwise, a temporary of type T is constructed and copy-initialisiert from object. The reference is then bound to this temporary.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

[Bearbeiten] Lebensdauer einer temporären

• eine temporäre gebunden an einen Rückgabewert einer Funktion in einem return Anweisung nicht verlängert: es wird sofort am Ende der Rückkehrbewegung Expression zerstört. Eine solche Funktion gibt immer einen baumelnden Referenz .

  Original:

  a temporary bound to a return value of a function in a return statement is not extended: it is destroyed immediately at the end of the return expression. Such function always returns a dangling reference.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.
• eine vorübergehende, gebunden an einen Referenz-Element in einem Konstruktor Initialisierungsliste besteht nur bis zum Konstruktor beendet, nicht so lange wie das Objekt existiert .

  Original:

  a temporary bound to a reference member in a constructor Initialisierungsliste persists only until the constructor exits, not as long as the object exists.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.
• eine vorübergehende, gebunden an einen Referenz-Parameter in einem Aufruf der Funktion besteht bis zum Ende der vollen Ausdruck mit diesem Aufruf der Funktion: Wenn die Funktion liefert eine Referenz, die den vollen Ausdruck überlebt, wird es ein dangling Referenz .

  Original:

  a temporary bound to a reference parameter in a function call exists until the end of the full expression containing that function call: if the function returns a reference, which outlives the full expression, it becomes a dangling reference.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.
• eine temporäre gebunden an eine Referenz in der Initialisierung in einem neuen Ausdruck verwendet besteht bis zum Ende der vollen Ausdruck mit diesem neuen Ausdruck, nicht so lange wie die initialisierte Objekt. Wenn das initialisierte Objekt überlebt den vollen Ausdruck, wird seine Referenz Mitglied ein dangling Referenz .

  Original:

  a temporary bound to a reference in the initializer used in a new-expression exists until the end of the full expression containing that new-expression, not as long as the initialized object. If the initialized object outlives the full expression, its reference member becomes a dangling reference.

  The text has been machine-translated via Google Translate.
  You can help to correct and verify the translation. Click here for instructions.

[Bearbeiten] Notes

[Bearbeiten] Beispiel

#include <utility>
#include <sstream>
struct S {
 int mi;
 const std::pair<int,int>& mp; // reference member
};
 
void foo(int) {}
 
struct A {};
struct B : A {
   int n;
   operator int&() { return n; };
};
 
B bar() {return B(); }
 
//int& bad_r; // error: no initializer
extern int& ext_r; // OK
 
int main()
{
 // lvalues
    int n = 1;
    int& r1 = n;  // lvalue reference to the object n
    const int& cr(n); // reference can be more cv-qualified
    volatile int& cv{n}; // any initializer syntax can be used
    int& r2 = r1; // another lvalue reference to the object n
//    int& bad = cr; // error: less cv-qualified
    int& r3 = const_cast<int&>(cr); // const_cast is needed
 
    void (&rf)(int) = foo; // lvalue reference to function
    int ar[3];
    int (&ra)[3] = ar; // lvalue reference to array
 
    B b;
    A& base_ref = b; // reference to base subobject
    int& converted_ref = b; // reference to the result of a conversion
 
// rvalues
//  int& bad = 1; // error: cannot bind lvalue ref to rvalue
    const int& cref = 1; // bound to rvalue
    int&& rref = 1; // bound to rvalue
 
    const A& cref2 = bar(); // reference to A subobject of B temporary
    A&& rref2 = bar();      // same
 
    int&& xref = static_cast<int&&>(n); // bind directly to n
//  int&& copy_ref = n; // error: can't bind to an lvalue
    double&& copy_ref = n; // bind to an rvalue temporary with value 1.0
 
// restrictions on temporary lifetimes
    std::ostream& buf_ref = std::ostringstream() << 'a'; // the ostringstream temporary
                      // was bound to the left operand of operator<<, but its lifetime
                      // ended at the semicolon: buf_ref is now a dangling reference.
 
    S a { 1, {2,3} }; // temporary pair {2,3} bound to the reference member
                      // a.mp and its lifetime is extended to match a
    S* p = new S{ 1, {2,3} }; // temporary pair {2,3} bound to the reference
                      // member a.mp, but its lifetime ended at the semicolon
                      //  p->mp is a dangling reference
    delete p;
}

[Bearbeiten] Siehe auch

• Default-Initialisierung
• direkte Initialisierung
• Wert der Initialisierung
• Kopieren Initialisierung
• Liste der Initialisierung