`std::shared_ptr`은 실제로 얼마나 많은 스레드 안전성을 제공합니까?

std::shared_ptr은 어느 정도까지 스레드 안전성을 보장합니까?

std::shared_ptr의 스레드 안전성을 이해하는 것이 동시 작업에 매우 중요합니다. 프로그램 작성. 귀하의 질문에 대한 자세한 검토는 다음과 같습니다.

1. 표준은 참조 카운팅이 스레드로부터 안전하게 처리되고 플랫폼 독립적임을 보장합니다. 그렇죠?

예, 맞습니다. 참조 카운트는 원자적으로 관리되므로 기본 플랫폼에 관계없이 스레드로부터 안전한 작동을 보장합니다.

2. 비슷한 문제 - 표준에서는 단 하나의 스레드(마지막 참조 보유)만이 공유 객체에 대해 삭제를 호출하도록 보장합니다. 그렇죠?

예, 이것도 사실입니다. 이 표준은 공유 객체에 대한 마지막 참조가 해제될 때 단 하나의 스레드만 소멸자를 호출하여 경쟁 조건 없이 객체를 파괴하도록 보장합니다.

3. Shared_ptr은 그 안에 저장된 개체에 대해 스레드 안전성을 보장하지 않나요?

맞습니다. std::shared_ptr은 포인터 및 참조 카운트 관리를 위한 스레드 안전성을 제공하지만 기본 객체 자체의 스레드 안전성을 보장하지는 않습니다. 객체의 스레드 안전성은 구현에 따라 다릅니다.

예:

다음 의사 코드를 고려하세요.

// Thread I
shared_ptr<A> a(new A(1));

// Thread II
shared_ptr<A> b(a);

// Thread III
shared_ptr<A> c(a);

// Thread IV
shared_ptr<A> d(a);

d.reset(new A(10));

가정과 반대로, 스레드 IV에서 Reset()을 호출한 후 d는 새로 생성된 A(10)를 가리키고, a, b, c는 계속해서 A(10)를 가리킵니다. 원본 A(1)을 가리킵니다. 이 동작은 다음 코드에 설명되어 있습니다.

#include <memory>
#include <iostream>

struct A {
  int a;
  A(int a) : a(a) {}
};

int main() {
  shared_ptr<A> a(new A(1));
  shared_ptr<A> b(a), c(a), d(a);

  cout << "a: " << a->a << "\tb: " << b->a
     << "\tc: " << c->a << "\td: " << d->a << endl;

  d.reset(new A(10));

  cout << "a: " << a->a << "\tb: " << b->a
     << "\tc: " << c->a << "\td: " << d->a << endl;

  return 0;
}

출력:

a: 1    b: 1    c: 1    d: 1
a: 1    b: 1    c: 1    d: 10

위 내용은 `std::shared_ptr`은 실제로 얼마나 많은 스레드 안전성을 제공합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!