覆盖对象时的 Perl 内存管理

我的问题是关于 Perl 如何在内部管理对象的数据。

当在 Perl 中创建对象时，新的子例程通常会返回对受祝福的对象的引用。

以下面的代码为例：

# Create a new object
my $object = Object->new(%data1);

# Create a new object with the same variable
$object = Object->new(%data2);

从第一次通话到new我们创建一个$object引用了一些受祝福的%data1

视觉表现：

“\”表示引用。

$object ════> \{bless %data1}

这在内存中看起来如下：

“&”代表地址

MEMORY:
----------------------------------
&{bless %data1} ════> bless %data1

然后第二次致电new的价值$object被更改为参考其他一些受祝福的%data2

视觉表现：

$object ══/ /══> \{bless %data1}  # The connection to %data1 is broken
   ║
   ╚═══════════> \{bless %data2}

现在内存看起来像这样：

MEMORY:
----------------------------------
&{bless %data1} ════> bless %data1
&{bless %data2} ════> bless %data2

现在的问题是$object不再存储参考\{bless %data1}, 地址&{bless %data1}并且存储在该地址的任何数据都将永远丢失。无法再从脚本访问存储在该位置的数据。

我的问题是。 。 。 Perl 是否足够聪明，可以删除存储在&{bless %data1}一旦对该数据的引用永远丢失，或者 Perl 是否会将该数据保留在内存中，可能会导致内存泄漏？

Given

package Object {
   sub new { my $class = shift; bless({ @_ }, $class) }
}

my $object = Object->new( a => 1, b => 2 );

在第二次作业之前，你有

           +============+   +==========+
$object -->[ Reference ---->[ Blessed  ]
           +============+   [ Hash     ]
                            [          ]   +==========+
                            [ a: --------->[ 1        ]
                            [          ]   +==========+
                            [          ]
                            [          ]   +==========+
                            [ b: --------->[ 2        ]
                            [          ]   +==========+
                            +==========+

（箭头代表指针。）

Perl uses reference counting to determine when to free variables. As part of the assignment, the reference count of the variable currently referenced by the name (the Reference) will be decremented, causing it to be freed^[1]. This will drop the reference count of the hash, causing it to be freed^[1]. This will drop the reference count of the values, causing them to be freed^[1].

在 Perl 中，当有循环引用时，就会出现内存泄漏。

{
   my $parent = Node->new();
   my $child = Node->new();
   $parent->{children} = [ $child ];
   $child->{parent} = $parent;
}

在退出区块之前，你必须

$parent               +----------------------------------------------------+
 |                    |                                                    |
 |   +============+   +-->+==========+                                     |
 +-->[ Reference -------->[ Blessed  ]                                     |
     +============+       [ Hash     ]                                     |
                          [          ]   +==========+                      |
                          [ children --->[ Array    ]                      |
                          [          ]   [          ]   +============+     |
                          +==========+   [ 0: --------->[ Reference ----+  |
                                         [          ]   +============+  |  |
                                         +==========+                   |  |
                                                                        |  |
$child                +-------------------------------------------------+  |
 |                    |                                                    |
 |   +============+   +-->+==========+                                     |
 +-->[ Reference -------->[ Blessed  ]                                     |
     +============+       [ Hash     ]                                     |
                          [          ]   +============+                    |
                          [ parent: ---->[ Reference ----------------------+
                          [          ]   +============+
                          +==========+

存在该块后，您有

                      +----------------------------------------------------+
                      |                                                    |
                      +-->+==========+                                     |
                          [ Blessed  ]                                     |
                          [ Hash     ]                                     |
                          [          ]   +==========+                      |
                          [ children --->[ Array    ]                      |
                          [          ]   [          ]   +============+     |
                          +==========+   [ 0: --------->[ Reference ----+  |
                                         [          ]   +============+  |  |
                                         +==========+                   |  |
                                                                        |  |
                      +-------------------------------------------------+  |
                      |                                                    |
                      +-->+==========+                                     |
                          [ Blessed  ]                                     |
                          [ Hash     ]                                     |
                          [          ]   +============+                    |
                          [ parent: ---->[ Reference ----------------------+
                          [          ]   +============+
                          +==========+

内存没有被释放，因为所有内容仍然被引用，因为存在引用循环。由于您无法访问此结构（没有变量名称引用其中的任何内容），因此这是内存泄漏。

1. 假设没有其他东西引用（指向）这些变量。