`make_shared` 대 생성자 초기화 `shared_ptr`: 성능과 예외 안전성의 차이점은 무엇입니까?

make_shared와 생성자 초기화 shared_ptr의 차이점

시나리오

다음 코드 조각을 고려하세요.

std::shared_ptr<Object> p1 = std::make_shared<Object>("foo");
std::shared_ptr<Object> p2(new Object("foo"));

이유 이해 make_shared는 다음을 사용하는 것보다 더 효율적입니다. shared_ptr 생성자는 관련된 작업에 대한 단계별 분석을 직접 요구합니다.

작업 비교

make_shared

• 단일 힙 할당을 수행하여 연속 메모리를 생성합니다. 제어 블록(메타 데이터)과 관리 블록 모두에 대한 블록 object.

생성자 초기화 shared_ptr

• 관리 개체에 대한 힙 할당을 생성하는 새 Obj("foo")를 호출합니다.
• 그런 다음 , 컨트롤에 대한 또 다른 힙 할당을 수행하는 shared_ptr 생성자가 호출됩니다. block.

메모리 할당

make_shared는 메모리를 한 번만 할당하는 반면 생성자 초기화 shared_ptr은 메모리를 두 번 할당합니다. 이로 인해 make_shared가 더 효율적이 됩니다.

예외 안전

C 17에서는 함수 인수의 평가 순서가 수정되어 생성자 초기화 shared_ptr 접근 방식의 예외 안전 문제가 제거되었습니다. 그러나 예를 들어보겠습니다.

void F(const std::shared_ptr<Lhs> &lhs, const std::shared_ptr<Rhs> &rhs) { /* ... */ }

F(std::shared_ptr<Lhs>(new Lhs("foo")), std::shared_ptr<Rhs>(new Rhs("bar")));

Rhs 생성자 중에 예외가 발생하면 Lhs에 할당된 메모리가 즉시 shared_ptr 생성자에 전달되지 않았기 때문에 손실됩니다. make_shared는 이 중간 단계를 제거하여 이 문제를 방지합니다.

make_shared의 단점

그러나 make_shared에는 단점이 있습니다. 제어 블록과 관리 개체를 단일 힙 블록에 할당하기 때문에 둘 다 독립적으로 할당을 취소할 수 없습니다. 이는 약한 포인터가 제어 블록을 무기한 활성 상태로 유지하여 잠재적으로 제어 블록과 관리 객체가 모두 할당 취소되는 것을 방지할 수 있음을 의미합니다.

위 내용은 `make_shared` 대 생성자 초기화 `shared_ptr`: 성능과 예외 안전성의 차이점은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!