std:: to_address

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::to_address 의 fancy pointer 오버로드는 std:: pointer_traits < Ptr > 특수화를 검사합니다. 해당 특수화의 인스턴스화 자체가 잘못된 경우 (일반적으로 element_type 을 정의할 수 없기 때문), 이는 immediate context 외부에서 hard error를 발생시키고 프로그램을 ill-formed 상태로 만듭니다.

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);
}

참고 항목