-1

Хочу разобраться в двух следующих вопросах:

1) До какого момента ссылка на временный объект остается валидна? Иначе говоря, когда временный объект уничтожается?

void func_1(const object &_obj)
{
    // Долгая и сложная работа с _obj.
}

int main()
{
    func_1(object(...));
}

2) Видел код, подобный этому:

object a, b;
// ...
object &temp = a;
a = b;
b = temp;

// Код работал, обменивая значения местами, хотя я всегда думал, 
// что ссылка - это просто синоним, и данный код должен был привести
// к тому, что в `a` и `b` окажется изначальное значение `b`.
7
  • func_1(object &_obj) func_1(object(...)); - это даже компилироваться не должно, нельзя создать ссылку на временный объект, только константную ссылку - типа func_1(const object& _obj)
    – vt-egorov
    31 янв 2019 в 11:38
  • И то что написано во втором случае тоже не будет обменивать значения местами
    – vt-egorov
    31 янв 2019 в 11:39
  • const просто потерял, поправил.
    – MGNeo
    31 янв 2019 в 11:40
  • Ок, тогда для первого ссылка внутри функции будет валидна всегда - ведь она константная и чтобы её создать её нужно чем-то проинициализровать. То есть в main при вызове функции будет создан временный объект object, ссылка на него передана внутрь функции, функция отработает, объект разрушится. Но это я своими словами, щас эксперты правильными словами всё объяснят =) Сделайте простой класс со всеми конструкторами и деструктором, внутри которых пишите в std::cout сообщения, и посмотрите как это работает.
    – vt-egorov
    31 янв 2019 в 11:42
  • 1
    но тот код кардинально отличается от вашего. там же martix это **, т.е. указатель на массив указателей. И обмениваются местами только указатели в массиве, сами объекты как были так и остаются на своих местах в памяти
    – Mike
    31 янв 2019 в 11:49

2 ответа 2

4

1) До какого момента ссылка на временный объект остается валидна? Иначе говоря, когда временный объект уничтожается?

void func_1(const object &_obj)
{
    // Долгая и сложная работа с _obj.
}

int main()
{
    func_1(object(...));
}

Здесь временный объект уничтожается, грубо говоря, когда завершается выполнение строки кода, в которой он был создан.

Не "настоящей" строки, а "логической" - которая заканчивается символом ;, а не символом переноса строки.

2) Видел код, подобный этому:

object a, b;
// ...
object &temp = a;
a = b;
b = temp;

// Код работал, обменивая значения местами, хотя я всегда думал, 
// что ссылка - это просто синоним, и данный код должен был привести
// к тому, что в `a` и `b` окажется изначальное значение `b`.

Это не может работать.

В оригинальном вопросе ситуация совсем другая. Там ссылку используют, чтобы поменять местами два указателя. Примерно так:

int *a = ...;
int *b = ...;

// ...

int &t = *b;
b = a;
a = &t;

По сути, это классический swap с использованием третьей переменной. Можно переписать его с использованием указателя вместо ссылки, смысл не изменится:

int *a = ...;
int *b = ...;

// ...

int *t = b;
b = a;
a = t;
11
  • Большое спасибо. Я просто не мог понять, что происходит в том примере, уже начал сомневаться в том, что ссылка, это лишь синоним для обращения к объекту.
    – MGNeo
    31 янв 2019 в 12:04
  • Мне кажется все варианты не правильны. Думаю, вы хотели: int *t = b; b = a; a = t; 31 янв 2019 в 12:06
  • То есть, запись вида int &t = *a создает ссылку, которая связана с объектом, на который указывает указатель a?
    – MGNeo
    31 янв 2019 в 12:08
  • и константная ссылька продливает жизнь временного обьекта до конца программы(функции) 31 янв 2019 в 12:12
  • 1
    @ARHovsepyan хотя нет, вы правы, но только с оговоркой. Не до конца программы(функции), а до конца области видимости. scope или как там это называется
    – vt-egorov
    31 янв 2019 в 12:35
1

Вот пример для наглядности. Запустите и посмотрите.

#include <iostream>





int main()
{
    int** arr = new int*[10];
    for (int i = 0; i < 10; i++){
        arr[i] = new int[10];
        for (int j = 0; j < 10; j++){
            arr[i][j] = i* 10 + j;
        }
    }
    for (int i = 0; i < 10; i++){
        for (int j = 0; j < 10; j++){
            std::cout << arr[i][j] << " ";
        }
        std::cout << std::endl;
    }
    std::cout << "-------------" << std::endl;
    int& ref = *arr[0];
    arr[0] = arr[1];
    arr[1] = &ref;
    for (int i = 0; i < 10; i++){
        for (int j = 0; j < 10; j++){
            std::cout << arr[i][j] << " ";
        }
        std::cout << std::endl;
    }

    for (int i = 0; i < 10; i++){
        delete [] arr[i];
    }
    delete []arr;

    int a = 1, b = 2;
    int& temp = a;
    a = b;
    b = temp;
    std::cout << "------------" << std::endl;
    std::cout << "a:" << a << " b:" << b << std::endl;

}
1
  • Больше вам спасибо за помощь.
    – MGNeo
    31 янв 2019 в 12:02

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.