0

Код:

shared_ptr<People> func() noexcept
{
    shared_ptr<People> p = make_shared<Man>();
    return p; //1
}

int main() noexcept
{
    shared_ptr<People> pep = func();
    pep->Speak();

    return 0;
}

На строчке под комментарием 1 должен вызываться деструктор объекта p, но этого не происходит и код работает, почему?

6
  • 1
    Не должен - если компилятор свежий - промежуточный объект p просто не создается.
    – Harry
    9 июн 2021 в 6:29
  • @Harry то есть код работает только благодаря оптимизации компилятора?
    – Lofectr
    9 июн 2021 в 6:35
  • Не помню уж (потому и не даю ответом :)) с какого именно стандарта это обязательное поведение, которое раньше было разрешенной оптимизацией.
    – Harry
    9 июн 2021 в 6:45
  • 1
    Даже если бы деструктор объекта p вызывался, никакой разницы в поведении программы бы не было, так как счетчик ссылок все равно бы имел значение 1. 9 июн 2021 в 7:17
  • это copy elision. с 17 стандарта уже требуется. До этого компиляторы сами делали. А тут - habr.com/ru/post/277333 можно почитать увлекательную историю, как человек решил выстрелить в ногу, но не срослось
    – KoVadim
    9 июн 2021 в 7:31

1 ответ 1

1

Деструктор не вызывается из-за оптимизации компилятора (см. copy elision). В случаях когда применить её невозможно, из метода будет возвращена копия p, поэтому всё будет работать в любом случае.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

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