实现智能指针 - 在向量中存储模板类

Question

我在将智能指针的实例存储到容器中时遇到问题。这是指针的代码。

#include "std_lib_facilities.h"

template <class T>
class counted_ptr{
private:
    T* pointer;
    int* count;

public:
    counted_ptr(T* p = 0, int* c = new int(1)) : pointer(p), count(c) {}    // default constructor
    explicit counted_ptr(const counted_ptr& p) : pointer(p.pointer), count(p.count) { ++*count; } // copy constructor
    ~counted_ptr()
    {
        --*count;
        if(!*count) {
            delete pointer;
            delete count;
        }
    }

    counted_ptr& operator=(const counted_ptr& p)    // copy assignment
    {
        pointer = p.pointer;
        count = p.count;
        ++*count;
        return *this;
    }
    T* operator->() const{ return pointer; }
    T& operator*() const { return *pointer; }
    int& operator[](int index) { return pointer[index]; }

    int Get_count() const { return *count; }    // public accessor for count


};




int main()
{
    counted_ptr<double>one;
    counted_ptr<double>two(one);
    one = new double(5);
    vector<counted_ptr<double> >test;
}

在 int main() 中，向量 > 行确实可以编译。当我第一次尝试使用 vector 时， > 它没有编译（可能是因为它缺少参数。）但是，当我尝试使用 Push_back 时，例如

test.push_back(one);

我收到一个编译器错误，该错误打开了 vector.tcc，并显示特定错误，指出

no matching function for call to `counted_ptr<double>::counted_ptr(const counted_ptr<double>&)'|

我是猜测push_back找不到counted_ptr，但我真的不确定。任何 感谢帮助，谢谢。

编辑：但是，这有效。测试[0] = 1；我猜想 Push_back 的语义是限制它的原因。

Answer 1

您可能想尝试一下：

test.push_back(counted_ptr<double>(one));

复制构造函数是显式的，这意味着编译器不会隐式调用它。

就我个人而言，我会让原始指针构造函数显式，而复制构造函数不显式。这将更接近平常的行为。

编辑：我还建议您实现交换方法。它使分配变得绝对微不足道。你最终会得到这样的结果：

counted_ptr &operator=(const counted_ptr &rhs) {
    counted_ptr(rhs).swap(*this);
    return *this;
}

这也有一个好处，就是所有的会计发生在构造函数/析构函数中，这更容易管理:-)。

Answer 2

您的赋值运算符是错误的。
它所指向的物体发生了什么？
如果您分配给自​​己或同一个内部对象，会发生什么？

counted_ptr& operator=(const counted_ptr& p)    // copy assignment
{
    if (&p != this)
    {
        --*count;
        if ((*count) == 0) // Much more readable than !*count
        {
            delete pointer;
            delete count;
        }
        pointer = p.pointer;
        count = p.count;
        ++*count;
    }
    return *this;
}

注意：编写自己的智能指针并不是一个好主意。
它们并不像您想象的那么容易写。

注：这是我发现的第一件事。可能还有更多，我不确定这是否 100% 正确。

事实上，我会更改赋值运算符以使用复制/交换 idium。

counted_ptr& operator=(const counted_ptr& p)    // copy assignment
{
    counted_ptr<T>     tmp(p);   // increment counter on p
    swap(tmp.pointer, pointer);
    swap(tmp.count    count);

    return *this;
                                 // tmp goes out of scope and thus the
                                 // destructor gets called and what was in this
                                 // object is now destroyed correctly.
}
// It may even be worth writing your own swap operator.
// Make sure you declare it as no-throw and grantee it.