0
class myclass {
public:
    int* ptr;
    int get() { return *ptr; }
    ~myclass() { 
        free(ptr);
        ptr = nullptr;  
        std::cout << "destruct" << std::endl;

    };
     myclass() { 
         std::cout << "default"<< std::endl;
         ptr = (int*)malloc(sizeof(*ptr));
         *ptr=999;
     };
     myclass(const myclass&) { std::cout << "copy" << std::endl; };
};

myclass func()
{
    myclass a;
    cout << "func: " << a.get() << endl;
    cout << "func addr: " << a.ptr << endl;
    return a;
}

int main()
{
    myclass a= func();
    cout << "main: " << a.get() << endl;
    cout << "func addr: " << a.ptr << endl;
}

Вывод:

defolt
func: 999
func addr: 000001AF1E7CEF90
main: 999
func addr: 000001AF1E7CEF90
destruct

Хотел наглядно спроектировать неприятную ситуацию,когда из функции возвращаем стандартным конструктором копирования объект,после чего освобождается память и объект теперь ссылается на недействительную память,но в функции func() почему то не вызывается деструктор.Более того,почему то не вызывается даже конструктор копирования.Почему?

2
  • В приведенном коде создается только один объект, причем посредством конструктора по-умолчанию и с выделением места под него в main. 8 сен 2020 в 14:03
  • 1
    Я же кидал вчера ссылку уже en.cppreference.com/w/cpp/language/copy_elision. Почему не прочитали?
    – dIm0n
    8 сен 2020 в 14:43

1 ответ 1

2

Потому что тут

myclass a = func();

нет копирования. func сразу создает объект a в main (вечно путаю, как это правильно называется... copy elision, кажется... но начиная с какого-то С++ такое поведение обязательное).

Дополните код выводом адреса a:

myclass func()
{
    myclass a;
    cout << "a: " << &a << endl;
    cout << "func: " << a.get() << endl;
    cout << "func addr: " << a.ptr << endl;
    return a;
}

int main()
{
    myclass a= func();
    cout << "a: " << &a << endl;
    cout << "main: " << a.get() << endl;
    cout << "func addr: " << a.ptr << endl;
}

У меня получается

a: 000000B74151FDD8
func: 999
func addr: 000002B2AB5AD830
a: 000000B74151FDD8
main: 999
func addr: 000002B2AB5AD830

так что, как видите, a оlин и тот же и в func, и в main.

Update

Ага, таки немного соврал. Это вроде бы NRVO, и является не обязательной оптимизацией, в отличие от RVO. Смотрите тут - https://en.cppreference.com/w/cpp/language/copy_elision

6
  • получается это обычная оптимизация для того чтобы лишний раз не вызывать конструкторов? 8 сен 2020 в 14:13
  • Не обычная, а стандартизированная :)
    – Harry
    8 сен 2020 в 14:21
  • Читаю щас Шилдта, и он ничего не написал об этом поведении,обратно, он написал что будет вызвано 2 деструктора 8 сен 2020 в 14:23
  • Когда он писал?... Тут я немного плаваю - в смысле строгостей стандарта, что именно стандартизовано, могу и соврать ненароком, тогда это просто оптимизация.. Но с вашим не копирующим конструктором копирования оно и к лучшему :)
    – Harry
    8 сен 2020 в 14:29
  • некопирующий конструктор тут просто для примера,чтоб показать что он не вызывается 8 сен 2020 в 14:33

Ваш ответ

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

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