0

Ожидается, что a будет очищен после завершения GetA(), а ссылка на него в методе main будет невалидной.

class A
{
 public:
 std::string str;
 void Print()
 {
    std::cout << str << std::endl;
 }
};

A GetA()
{
  A a;
  a.str = "this is my string";
  return a;
}

int main()
{
  A a = GetA();
  a.Print();
  return 1;
}

Но в результате в консоли получаю this is my string.

6
  • 1
    "ссылка на него в методе main" - нет там никаких ссылок, а если бы и была, то у вас не было бы никакой возможность проверить, валидная она или нет 16 апр 2019 в 15:23
  • @VTT как тогда правильно назвать a в методе main?
    – calm27
    16 апр 2019 в 15:26
  • 1
    a - это полноценный объект класса A, а не ссылка на такой объект 16 апр 2019 в 15:27
  • @VTT понял. три года джавы дают о себе знать, уже привык что A a = new A(), в джаве a будет ссылкой на экземпляр. Как от этого теперь отвыкнуть.
    – calm27
    16 апр 2019 в 15:33
  • @raviga но ведь в Java его никто и не удалит при выходе из функции! К чему конкретно в этом коде нужно привыкать? 22 апр 2019 в 5:54

1 ответ 1

2

В этом предложении

A a = GetA();

создается новый объект с именем a на основе вызова конструктора копирования.

Тот объект, который возвращается из функции, будет удален по завершению предложения

A a = GetA();

после того, как он будет скопирован в новый объявляемый (создаваемый) объект.

И в последующем предложении используется именно этот новый объект

a.Print();

Нигде в вашем коде не валидные ссылки не используются.

Чтобы сделать ссылку не валидной, просто из функции GetA возвращайте ссылку на локальный объект.

A & GetA()
{
  A a;
  a.str = "this is my string";
  return a;
}

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

10
  • понял, спасибо. А каким образом я могу достичь результата, чтобы воспроизвести ситуацию когда у меня ссылка буде не валидной? Когда a будет очищено в конце функции? Если убрать конструктор копирования?
    – calm27
    16 апр 2019 в 14:57
  • @raviga Смотрите мой дополненный ответ. 16 апр 2019 в 15:00
  • 1
    Во-первых ответ на проблему, которой нет. Во-вторых объяснение происходящего (в реалиях современного С++) неверное. Тут внутри функции GetA создается объект с размещением в вызывающей функции main и никакого копирования (или перемещения) не происходит. 16 апр 2019 в 15:22
  • @VTT можно подробнее? возвращаемый из GetA a не копируется, а существует в области видимости функции main? не очень понял создается объект с размещением в вызывающей функции main и никакого копирования (или перемещения) не происходит
    – calm27
    16 апр 2019 в 15:39
  • 1
    @VTT: "Guaranteed copy elision" в С++17 гарантирует, что операнд return будет напрямую использоваться в качестве инициализатора для объекта приемника. То есть a из GetA будет выступать в качестве инициализатора для a из main. Так что копирование/перемещение здесь запросто может быть. Избежать копирования может RVO (и оно здесь почти гарантировано сработает). Но RVO не гарантируется. Так что в данном случае в С++17 мы получим либо перемещение, либо RVO. Но гарантий, что напрямую создается объект в main нет. 16 апр 2019 в 15:56

Ваш ответ

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

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