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 that you have read and understand our privacy policy and code of conduct.

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