포인터가있는 템플릿 클래스의 소멸자

Question

질문이 있습니다. 이 템플릿 클래스를

template<class T> 
class nodo{ 
public: 
    T data; 
}; 

을 고려 의 내가 소멸자를 재정의 아니에요 가정하자. T = int라고 가정하면 표준 소멸자는 데이터를 할당 해제합니다. 그러나 T = int *이면 어떻게 될까요? 포인터가 할당 해제 될 것인가 아니면 객체가 가리키고 있는가? 이론 상으로는 포인터.

어떻게 객체를 할당 해제 할 수 있습니까? 결국, 포인터가 될 수있는 템플릿 매개 변수를 가진 템플릿 클래스의 소멸자를 작성하려면 어떻게해야합니까 (따라서 명시 적 할당 취소)? 당신이 필요로하는 무엇

Answer 1

당신의 최선의 선택, 즉 대신

의

nodo<std::unique_ptr<int>> n1; 

를 사용하여 템플릿 인수로 std::unique_ptr<int> 또는 std::shared_ptr<int>을 사용하는 것입니다

nodo<int*> n1; 

다음과 같이 시도해보십시오.

// Noop deleter 
template <typename T> struct deleter 
{ 
    void operator()(T& ptr) {} 
}; 

// deleter that does something 
template <typename T> struct deleter<T*> 
{ 
    void operator()(T* ptr) { delete ptr; } 
}; 


template<class T> 
class nodo{ 
public: 
    using deleter_t = deleter<T>; 
    T data; 

    ~nodo() 
    { 
     deleter_t()(data); 
    } 
}; 

그러나 다른 웜에 대해 걱정해야합니다. nodo이 복사 생성되었거나 다른 nodo 개체에 할당되면 어떻게됩니까? The Rule of Three 및 The Rule of Five과 관련된 모든 문제를 처리해야합니다.

Answer 2

포인터 유형에 대해 부분적으로 전문화 된 템플릿입니다 :

template<typename T> class Test { 
    T val; 
public: 
    Test(T const &v) : val(v) {} 
}; 

// Specialize for pointers 
template<typename T> class Test<T*> { 
    T* val; 
public: 
    Test(T* v) : val(v) {} 
    ~Test() { delete val; } 
};