std::to_address

template< class Ptr >
constexpr auto to_address( const Ptr& p ) noexcept;

template< class T >
constexpr T* to_address( T* p ) noexcept;

Получить адрес, представленный p, без создания ссылки на объект, на который указывает p.

Параметры

Возвращаемое значение

Обычный указатель, представляющий тот же адрес, что и p.

Возможная реализация

template<class T>
constexpr T* to_address(T* p) noexcept
{
    static_assert(!std::is_function_v<T>);
    return p;
}
 
template<class T>
constexpr auto to_address(const T& p) noexcept
{
    if constexpr (requires{ std::pointer_traits<T>::to_address(p); })
        return std::pointer_traits<T>::to_address(p);
    else
        return std::to_address(p.operator->());
}

Примечания

std::to_address может быть использован даже тогда, когда p не ссылается на область памяти, в которой был создан объект, в этом случае std::addressof(*p) нельзя использовать, так как нет действительного объекта для параметра std::addressof.

Перегрузка std::to_address для указателей сложного типа проверяет специализацию std::pointer_traits<Ptr> . Если само создание этой специализации некорректно (обычно потому, что element_type не может быть определено), это приводит к жёсткой ошибке вне непосредственного контекста и делает программу некорректной.

std::to_address может быть дополнительно использован для итераторов, удовлетворяющих условию std::contiguous_iterator.

Пример

#include <memory>
 
template<class A>
auto allocator_new(A& a)
{
    auto p = a.allocate(1);
    try
    {
        std::allocator_traits<A>::construct(a, std::to_address(p));
    }
    catch (...)
    {
        a.deallocate(p, 1);
        throw;
    }
    return p;
}
 
template<class A>
void allocator_delete(A& a, typename std::allocator_traits<A>::pointer p)
{
    std::allocator_traits<A>::destroy(a, std::to_address(p));
    a.deallocate(p, 1);
}
 
int main()
{
    std::allocator<int> a;
    auto p = allocator_new(a);
    allocator_delete(a, p);
}

См. также