Пространства имён
Варианты
Действия

reference initialization

Материал из cppreference.com
< cpp‎ | language

 
 
Язык С++
Общие темы
Управление программой
Операторы условного выполнения
Операторы повторения
Операторы перехода
Функции
объявление функции
объявление лямбда-функции
шаблон функции
спецификатор inline
спецификаторы исключений (устарело)
спецификатор noexcept (C++11)
Исключения
Пространства имён
объявление пространства имён
псевдонимы пространства имён
Типы
спецификатор decltype (C++11)
Спецификаторы
cv-спецификаторы
спецификаторы продолжительности хранения
спецификатор constexpr (C++11)
спецификатор auto (C++11)
спецификатор alignas (C++11)
Инициализация
Литералы
Выражения
Утилиты
Типы
typedef-объявление
объявление псевдонима типа (C++11)
атрибуты (C++11)
Приведения типов
неявные преобразования
const_cast-преобразование
static_cast-преобразование
dynamic_cast-преобразование
reinterpret_cast-преобразование
C-подобное и функциональное приведение типов
Выделение памяти
Классы
Особые свойства классовых функций
Специальные функции-члены
Шаблоны
шаблон класса
шаблон функции
специализация шаблона
упакованные параметры (C++11)
Разное
Ассемблерные вставки
 
Персональный ссылкой на объект
Оригинал:
Binds a reference to an object
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

Содержание

[править] Синтаксис

T & ref = object ;

T & ref ( object ) ;

T & ref { object } ;

(1)
T && ref = object ;

T && ref ( object ) ;

T && ref { object } ;

(2) (начиная с C++11)
R fn ( T & arg );

or

R fn ( T && arg );

fn ( object )

(3)
T & fn () {

or

T && fn () {

return object ;

(4)

[править] Объяснение

Ссылка на T может быть инициализирован объект типа T, функции типа T или объект неявно преобразуются в T. После инициализации, ссылка не может быть изменен обратиться к другому объекту.
Оригинал:
A reference to T can be initialized with an object of type T, a function of type T, or an object implicitly convertible to T. Once initialized, a reference cannot be changed to refer to another object.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Литература инициализируются в следующих ситуациях:
Оригинал:
References are initialized in the following situations:
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
1)
При именем именующее ссылкой переменная объявлена ​​с инициализатор
Оригинал:
When a named lvalue reference variable is declared with an initializer
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
2)
При именем переменной RValue ссылкой объявлен с инициализатор
Оригинал:
When a named rvalue reference variable is declared with an initializer
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
3)
В выражении вызова функции, когда функция параметр имеет ссылочный тип
Оригинал:
In a function call expression, when the function parameter has reference type
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
4)
В заявлении return, когда функция возвращает ссылку типа
Оригинал:
In the return statement, when the function returns a reference type
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
Последствия ссылкой инициализации являются:
Оригинал:
The effects of reference initialization are:
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Если ссылка является ссылкой именующее
    Оригинал:
    If the reference is an lvalue reference:
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Если object это выражение именующее, и его тип T или базы T, и в равной степени или менее CV-квалифицированный, то ссылка привязана к объекту, определенных именующее или подобъектов базового класса объекта.
    Оригинал:
    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.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Если object это выражение именующее, и его тип неявно преобразовывается в тип, который либо T или базы T, равно или меньше CV-квалифицированный, то без явных функций преобразования исходного типа и его базовых классов, которые возвращают именующее ссылки считается и лучшим выбирается разрешение перегрузки. Ссылка будет привязан к объекту определенных именующее возвращается функции преобразования (или его базовый класс подобъектов)
    Оригинал:
    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)
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • В противном случае, если речь идет либо RValue ссылку или именующее ссылкой на const
    Оригинал:
    Otherwise, if the reference is either rvalue reference or lvalue reference to const:
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Если object является xvalue, класс prvalue, массив prvalue, или тип функции именующее, которые либо T или базы T, равно или меньше CV-квалифицированный, то ссылка привязана к значению выражения инициализатора или его базовый подобъект.
    Оригинал:
    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.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • Если object класс выражений типа, который может быть неявно преобразован в xvalue, prvalue класса или функции значение типа, которое либо T или базы T, равно или меньше CV-квалифицированный, то ссылка связан с Результат преобразования или его базе подобъект.
    Оригинал:
    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.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • В противном случае временного типа T построено и Копия инициализации от object. Ссылка будет привязан к этой временной.
    Оригинал:
    Otherwise, a temporary of type T is constructed and Копия инициализации from object. The reference is then bound to this temporary.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Время жизни временной

Всякий раз, когда ссылка привязана к временному или к базовой подобъект временное, срок временного распространяется на соответствие срока службы ссылки, со следующими исключениями:
Оригинал:
Whenever a reference is bound to a temporary or to a base subobject of a temporary, the lifetime of the temporary is extended to match the lifetime of the reference, with the following exceptions:
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • временно связаны с возвращаемым значением функции в return заявление не распространяется: он немедленно уничтожены в конце возвращение выражение. Такая функция всегда возвращает оборванных ссылок.
    Оригинал:
    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.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • временно связаны с ссылкой членов в конструкторе инициализатор список сохраняется только до конструктора выходит, не так долго, как объект существует.
    Оригинал:
    a temporary bound to a reference member in a constructor инициализатор список persists only until the constructor exits, not as long as the object exists.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • временно связаны с ссылкой параметр в вызове функции существует до конца полного выражения, содержащие эти вызов функции: если функция возвращает ссылку, которая переживает полное выражение, она становится висячей ссылки.
    Оригинал:
    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.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
  • временно привязан к ссылке в инициализаторе использоваться в новых выражений существует до конца полного выражения, содержащие эти новые выражения, не так долго, как инициализировать объект. Если инициализировать объект переживает полное выражение ее контрольный член становится висячей ссылки.
    Оригинал:
    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.
    Текст был переведён автоматически через Google Translate.
    Вы можете проверить и исправить перевод. Для инструкций кликните сюда.
В общем, жизнь временное не может быть продлен по "передать его": вторая ссылка, инициализируется ссылкой на котором должно было временным, не влияет на его жизнь.
Оригинал:
In general, the lifetime of a temporary cannot be further extended by "passing it on": a second reference, initialized from the reference to which the temporary was bound, does not affect its lifetime.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Notes

Ссылки появляются без инициализаторов только в объявлении функции параметра в объявлении функции, тип возвращаемого значения, в объявлении члена класса, и с extern спецификатор.
Оригинал:
References appear without initializers only in function parameter declaration, in function return type declaration, in the declaration of a class member, and with the extern specifier.
Текст был переведён автоматически через Google Translate.
Вы можете проверить и исправить перевод. Для инструкций кликните сюда.

[править] Пример

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


[править] См. также