다형성 클래스에서 `shared_ptr`이 가상 소멸자 없이 작동할 수 있나요?

template<class T>
class shared_ptr
{
public:
   ...
   template<class Y>
   explicit shared_ptr(Y* p);
   ...
};</p>
<p>제공된 예에서 shared_ptr<Base><sp(new Derived);, Y=Derived인 템플릿 생성자는 다음을 생성하고 초기화합니다. shared_ptr 객체. 결정적으로 이 생성자는 참조 카운터가 포함된 제어 블록에 대한 포인터와 Derived 클래스에 맞게 특별히 맞춤화된 삭제자 객체를 저장합니다.</p>
<p>참조 횟수가 0으로 떨어지면 삭제자 객체는 파생 클래스의 구조는 할당된 메모리를 폐기하기 위해 호출됩니다.</p>
<p>C 11 표준은 요구 사항에 이 동작을 명시적으로 지정합니다. 생성자:</p>
<pre class="brush:php;toolbar:false">Requires: ... The expression delete p shall be well formed, shall have well defined behaviour and shall not throw exceptions.
Effects: Constructs a shared_ptr object that owns the pointer p.

Effects: ... Otherwise, if *this owns a pointer p, and delete p is called.