std:: allocate_shared, std:: allocate_shared_for_overwrite

지정된 인수들로 객체를 초기화하고 (지정되지 않은 value_type 에 대해 재바인딩된) alloc 의 복사본을 사용하여 객체에 대한 메모리를 할당합니다. 새로 생성된 객체를 관리하는 std::shared_ptr 객체를 반환합니다.

매개변수

반환값

std::shared_ptr 타입 T 의 객체에 대한 또는 std:: remove_extent_t < T > [ N ] 만약 T 가 무제한 배열 타입인 경우 (C++20부터) .

반환된 std::shared_ptr r 에 대해, r. get ( ) 는 널이 아닌 포인터를 반환하고 r. use_count ( ) 는 1 을 반환합니다.

예외

Alloc :: allocate ( ) 또는 T 의 생성자에서 발생하는 예외를 던질 수 있습니다. 예외가 발생하면, (1) 은 아무런 효과를 가지지 않습니다. 배열 생성 중 예외가 발생하면, 이미 초기화된 요소들은 역순으로 소멸됩니다 (C++20부터) .

참고 사항

이러한 함수들은 일반적으로 참조 카운트와 같은 내부 관리 구조를 허용하기 위해 sizeof ( T ) 보다 더 많은 메모리를 할당합니다.

std::make_shared 와 마찬가지로, 이 함수는 일반적으로 단 한 번의 할당만 수행하며, 할당된 메모리 블록에 T 객체와 제어 블록을 함께 배치합니다(표준에서는 이를 권장하지만 요구하지는 않으며, 알려진 모든 구현체들이 이를 따릅니다). alloc 의 복사본은 제어 블록의 일부로 저장되어, 공유 참조 카운트와 약한 참조 카운트가 모두 0에 도달하면 이를 해제하는 데 사용됩니다.

std::shared_ptr 의 constructors 와 달리, std::allocate_shared 는 별도의 사용자 정의 삭제자를 허용하지 않습니다: 제공된 할당자는 제어 블록과 T 객체의 소멸, 그리고 이들의 공유 메모리 블록의 할당 해제에 사용됩니다.

생성자가 shared_from_this 을 활성화한다는 것은 U* 타입의 포인터 ptr 를 사용하여 U 가 명확하고 접근 가능한 (C++17부터) std::enable_shared_from_this 의 특수화인 베이스 클래스를 가지고 있는지 판단하고, 만약 그렇다면 생성자가 다음을 평가한다는 의미입니다: if ( ptr ! = nullptr && ptr - > weak_this  . expired ( ) )
ptr - > weak_this = std:: shared_ptr < std:: remove_cv_t < U >>
( * this, const_cast < std:: remove_cv_t < U > * > ( ptr ) ) ; .

weak_this 에 대한 할당은 원자적이지 않으며 동일한 객체에 대한 잠재적 동시 접근과 충돌합니다. 이는 향후 shared_from_this() 호출이 이 원시 포인터 생성자로 생성된 std::shared_ptr 와 소유권을 공유하도록 보장합니다.

위 코드의 테스트 ptr - > weak_this  . expired ( ) 는 weak_this 가 이미 소유자를 가리키고 있을 경우 재할당되지 않도록 보장합니다. 이 테스트는 C++17부터 필수적으로 요구됩니다.

예제

#include <cstddef>
#include <iostream>
#include <memory>
#include <memory_resource>
#include <vector>
class Value
{
    int i;
public:
    Value(int i) : i(i) { std::cout << "Value(), i = " << i << '\n'; }
    ~Value() { std::cout << "~Value(), i = " << i << '\n'; }
    void print() const { std::cout << "i = " << i << '\n'; }
};
int main()
{
    // 단조 버퍼 리소스를 사용하는 다형성 할당자 생성
    std::byte buffer[sizeof(Value) * 8];
    std::pmr::monotonic_buffer_resource resource(buffer, sizeof(buffer));
    std::pmr::polymorphic_allocator<Value> allocator(&resource);
    std::vector<std::shared_ptr<Value>> v;
    for (int i{}; i != 4; ++i)
        // 사용자 정의 할당자와 함께 std::allocate_shared 사용
        v.emplace_back(std::allocate_shared<Value>(allocator, i));
    for (const auto& sp : v)
        sp->print();
} //< 모든 shared_ptr은 범위를 벗어날 때 자동으로 정리됩니다.

Value(), i = 0
Value(), i = 1
Value(), i = 2
Value(), i = 3
i = 0
i = 1
i = 2
i = 3
~Value(), i = 0
~Value(), i = 1
~Value(), i = 2
~Value(), i = 3

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목