c++ - shared_ptr如何检测是否必须调用delete []或delete

Question

我很好奇，shared_ptr类如何决定是否必须为以下语句调用delete或delete[]？

一种。 boost::shared_ptr <char> ptr(new char);
b。 boost::shared_ptr <char []> ptr(new char[100]);

Answer 1

通过模板专门化完成。这是简单的演示。

#include <iostream>
#include <type_traits>

template<typename T>
struct foo
{
    foo( T* d ) : m_data{ d } {  }
    ~foo() {
        if ( m_data )
        std::cout << "delete called." << std::endl;
    }

private:
    T* m_data {};
};

template<typename T>
struct foo<T[]>
{
    foo( T* d ) : m_data { d } { }
    ~foo() {
        if ( m_data )
            delete[] m_data;
        std::cout << "delete[] called." << std::endl;
    }
private:
    T* m_data {};
};

int main()
{
    foo<char> inst_1 { new char };
    foo<char []> inst_2 { new char[ 100 ] { 'a' } };
}

online example

对于T[]类型，struct foo<T[]>实例化，因此编译时多态性是通过模板专用化完成的，并且smart_ptr借助此功能处理数组和普通类型的释放。