Class Bar { void foo(std::shared_ptr<Base> &) { ...

Question

Class Bar { void foo(std::shared_ptr<Base> &) { ...

}
std::shared_ptr<Derived> m_derived{std::make_shared<Derived>()};
};

foo(std::static_pointer_cast<Base>(m_derived));

Могу ли я в таком случае полагаться на корректную работу метода? Скастованный к Base объект умрет в момент выполнения foo, хотя физически в памяти он останется (как Base часть от Derived класса, являющегося полем Bar). Поэтому все должно быть ок, никаких seg fault, верно?

#c #embedded #programming #russian

0

02.07.2022

15 ответов

4 просмотра

Sergey Kaniskin

Что значит «умрет, но останется в памяти»?

0

02.07.2022

Sergey Kaniskin

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

0

02.07.2022

Sergey Kaniskin

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

0

02.07.2022

Sergey Kaniskin

Все хорошо будет, короче :)

0

02.07.2022

Maus Grau

Что то тут не все, это даже не компилится

0

02.07.2022

Maus Grau

Rvalue не может быть подан в метод требующий ссылку.

0

02.07.2022

Konstantin Автор вопроса

Maus Grau
Что то тут не все, это даже не компилится

Я псевдокод накидал, могу на онлайн компиляторе скинуть рабочий пример

0

02.07.2022

Maus Grau

Konstantin
Я псевдокод накидал, могу на онлайн компиляторе ск...

По этому примеру вообще ничего нельзя сказать это не компилируемый код - да, так писать нельзя. Это работать не будет. Нужен нормальный пример отражающий реальный вопрос.

0

02.07.2022

Sergey Kaniskin

а это вообще компилируется?

0

02.07.2022

Sergey Kaniskin

тут создается временный объект, а вы его передаете в функцию, принимающую lvalue reference. Если бы была const reference, то все было бы ок с методом foo, потому что временный объект привяжется к константной ссылке, которая продлит его время жизни на время foo

0

02.07.2022

Konstantin Автор вопроса

Maus Grau
Rvalue не может быть подан в метод требующий ссылк...

Кстати, да. Вопрос невалиден, у нас же не даст в lvalue ref подать rvalue, так что ситуация невозможна

0

02.07.2022

Konstantin Автор вопроса

Sergey Kaniskin
тут создается временный объект, а вы его передаете...

Да, уже понял, спасибо, чет я под вечер туплю

0

02.07.2022