调试断言失败 - C++，使用智能指针

Question

我一直在尝试对此进行调试，但没有任何运气。 我希望能在这里得到一些帮助。 如果我的问题不相关或其他问题，我很抱歉，我是新手。

所以基本上我所拥有的是：

#include <iostream>

template<typename T> class Node {
    using NodePtr = std::shared_ptr<Node<T>>;
private:
    Node() {}
    T value{};
    NodePtr parent;
    NodePtr child;
public:
    Node(const T& value) : value{ value } {}
    Node(const T& value, NodePtr child) : Node(value)
    {
        this->child = child;
        if (child != NULL)
        {
            //problem here?  
            child->parent = NodePtr(this);
       
             /*The equivalent in C# works perfectly fine:*/
            
                /*this.child = child;
                if(child != null) {
                    child.parent = this;
                }*/
            

        }
    }

    const T& Value()    const { return value; }
    T& ValueRef()       const { return value; }
    NodePtr Parent()     const { return parent; }
    NodePtr Child()     const { return child; }
};
template<typename T> std::ostream& operator<<(std::ostream& stream, const Node<T>& node) {
    stream << "{" << node.Value() << "}";
    return stream;
}
int main()
{
    Node<int> n{ 5, std::make_shared<Node<int>>(3) };
    std::cout << n;
}

我可以在不使用智能指针的情况下轻松实现这一点，但我正在尝试学习它们，所以就是这样。

失败的断言：“is_block_type_valid(header->_block_use)”

断言错误的图像

任何帮助将不胜感激，谢谢。

Answer 1

有几个问题。 首先，如果你想从中得到一个 shared_ptr，你必须从 std::enable_shared_from_this 继承：

template<typename T> class Node : std::enable_shared_from_this<Node<T>> {
    // ...

主要问题是有一个 shared_ptr 引用了一个 shared_ptr（父级到子级，反之亦然）。 但是， shared_ptr 只是引用计数。 看看下面的程序：

#include <iostream>
#include <memory>
struct A;

struct B{
    std::shared_ptr<A> sp;
    ~B(){ std::cout << "B destroyed\n"; }
};
struct A{
    std::shared_ptr<B> sp;
    ~A(){ std::cout << "A destroyed\n"; }
};

int main(){
    std::shared_ptr<B> b{};
    std::shared_ptr<A> a {b->sp};
    b = a->sp;
}

输出为空！ 这是上述程序的链接。

要修复，请做另外两件事：一，更改child->parent = NodePtr(this); 到以下几点：

child->parent = this->weak_from_this();

另外，将parent的类型更改为std::weak_ptr<Node<T>> 。

std::weak_ptr用于处理此类问题。 它不会影响std::shared_ptr的引用计数有关更多信息，请转到此处。

PS有关is_block_type的错误是由shared_ptr引起的，可能是因为您试图从原始ptr中获取shared_ptr。 在此处阅读有关 std::shared_ptr 的更多信息。