std::static_pointer_cast, std::dynamic_pointer_cast, std::const_pointer_cast, std::reinterpret_pointer_cast
| Определено в заголовочном файле <memory>
|
||
template< class T, class U > std::shared_ptr<T> static_pointer_cast( const std::shared_ptr<U>& r ) noexcept; |
(1) | (начиная с C++11) |
template< class T, class U > std::shared_ptr<T> static_pointer_cast( std::shared_ptr<U>&& r ) noexcept; |
(2) | (начиная с C++20) |
template< class T, class U > std::shared_ptr<T> dynamic_pointer_cast( const std::shared_ptr<U>& r ) noexcept; |
(3) | (начиная с C++11) |
template< class T, class U > std::shared_ptr<T> dynamic_pointer_cast( std::shared_ptr<U>&& r ) noexcept; |
(4) | (начиная с C++20) |
template< class T, class U > std::shared_ptr<T> const_pointer_cast( const std::shared_ptr<U>& r ) noexcept; |
(5) | (начиная с C++11) |
template< class T, class U > std::shared_ptr<T> const_pointer_cast( std::shared_ptr<U>&& r ) noexcept; |
(6) | (начиная с C++20) |
template< class T, class U > std::shared_ptr<T> reinterpret_pointer_cast( const std::shared_ptr<U>& r ) noexcept; |
(7) | (начиная с C++17) |
template< class T, class U > std::shared_ptr<T> reinterpret_pointer_cast( std::shared_ptr<U>&& r ) noexcept; |
(8) | (начиная с C++20) |
Создаёт новый экземпляр std::shared_ptr, сохранённый указатель которого получается из сохранённого указателя r с помощью выражения приведения.
Если r пуст, то и новый shared_ptr пуст (но его сохранённый указатель не обязательно нулевой). Иначе новый shared_ptr будет разделять владение с начальным значением r, за исключением того, что он будет пустым, если dynamic_cast, выполняемый через dynamic_pointer_cast, возвращает нулевой указатель.
Пусть Y будет typename std::shared_ptr<T>::element_type, тогда результирующий сохранённый указатель объекта std::shared_ptr будет получен путём оценки, соответственно:
static_cast<Y*>(r.get()).dynamic_cast<Y*>(r.get()) (Если результатом dynamic_cast является значение нулевого указателя, возвращаемый shared_ptr будет пустым.)const_cast<Y*>(r.get()).reinterpret_cast<Y*>(r.get())Поведение этих функций не определено, если только соответствующее приведение из U* в T* не корректно:
static_cast<T*>((U*)nullptr) не корректно.dynamic_cast<T*>((U*)nullptr) не корректно.const_cast<T*>((U*)nullptr) не корректно.reinterpret_cast<T*>((U*)nullptr) не корректно.|
После вызова перегрузок rvalue (2,4,6,8), |
(начиная с C++20) |
Параметры
| r | — | Указатель для преобразования |
Примечание
Выражения std::shared_ptr<T>(static_cast<T*>(r.get())), std::shared_ptr<T>(dynamic_cast<T*>(r.get())) и std::shared_ptr<T>(const_cast<T*>(r.get())) могут показаться одинаковыми, но все они, скорее всего, приведут к неопределённому поведение, при попытке удалить один и тот же объект дважды!
Возможная реализация
| static_pointer_cast |
|---|
template< class T, class U >
std::shared_ptr<T> static_pointer_cast( const std::shared_ptr<U>& r ) noexcept
{
auto p = static_cast<typename std::shared_ptr<T>::element_type*>(r.get());
return std::shared_ptr<T>{r, p};
}
|
| dynamic_pointer_cast |
template< class T, class U >
std::shared_ptr<T> dynamic_pointer_cast( const std::shared_ptr<U>& r ) noexcept
{
if (auto p = dynamic_cast<typename std::shared_ptr<T>::element_type*>(r.get()))
return std::shared_ptr<T>{r, p};
else
return std::shared_ptr<T>{};
}
|
| const_pointer_cast |
template< class T, class U >
std::shared_ptr<T> const_pointer_cast( const std::shared_ptr<U>& r ) noexcept
{
auto p = const_cast<typename std::shared_ptr<T>::element_type*>(r.get());
return std::shared_ptr<T>{r, p};
}
|
| reinterpret_pointer_cast |
template< class T, class U >
std::shared_ptr<T> reinterpret_pointer_cast( const std::shared_ptr<U>& r ) noexcept
{
auto p = reinterpret_cast<typename std::shared_ptr<T>::element_type*>(r.get());
return std::shared_ptr<T>{r, p};
}
|
Пример
#include <iostream>
#include <memory>
class Base
{
public:
int a;
virtual void f() const { std::cout << "Я базовый!\n";}
virtual ~Base(){}
};
class Derived : public Base
{
public:
void f() const override { std::cout << "Я производный!\n"; }
~Derived(){}
};
int main()
{
auto basePtr = std::make_shared<Base>();
std::cout << "Базовый указатель говорит: ";
basePtr->f