perl精粹解析 - closure 与 静态局部变量

一.什么是closure

perl 中有一个概念叫“closure”（闭环，来源于数学）：

假如有一个subroutine, 它访问了在其外部声明的私有变量，那么这个subroutine就叫做closure.

例如：

{

  my $count = 0;

  sub callback { print ++$count; };

  sub get_count{return $count;};

}

&callback();  //此时, $count = 1

&callback();  //此时, $count = 2

这里，callback和get_count就是一个closure，因为它访问了在其外部声明的私有变量$count.

closure在实际应用中提供了c语言中局部静态变量的功能。

它有以下特性：

1.访问的变量是私有变量，保证只有少数subroutine能访问到该变量，这些具有访问权限的subroutine就构成了一个环，因此也叫闭环;

在上面的例子中，$callback和get_count构成了能访问$count的环;

由于环中的subroutine都可以访问$count（与c语言中的静态变量作用一样），使得每一次访问都可以改变$count的值。

在这个例子中，第一次调用&callback()后， $count的值变为1，第2次调用后，值变为2.

2.该私有变量的生命周期是与环中的生命周期最长的subroutine一样。这是通过perl中的引用计数机制来实现的：

上面的例子中，在括号内的代码部分， $count的引用计数是3，出了括号，$count的引用计数变成了2，

callback生命周期结束的时候，$count的引用计数减去1，此时变为1

get_count生命周期结束的时候，$count的引用计数减去1，此时变为0

当$count的引用计数变为0之后，被perl回收。

二.perl中的closure与C语言中静态局部变量的区别

1.C语言本身提供了静态局部变量机制--static关键字，程序员在使用该功能特性的时候更方便;

perl本身要实现同样的功能，需要程序员额外的努力，在第三部分perl中closure的常见用法中，

大家就可以看到这些技巧。

2. C语言中，只有静态局部变量所在的函数对该变量具有访问权;

而perl中，闭环中的所有subroutine都可以访问和修改“静态变量”。

perl的这个特性，使得它在某些情况下，比c语言更加便利。参见下节中的用法一。

三.perl中closure的常见用法

以下摘自“Learning Perl Objects, References & Modules” 的第6章：

用法一 在subroutine中返回subroutine的引用，通常作为回调函数：

use File::Find;

sub create_find_callbacks_that_sum_the_size {

  my $total_size = 0;

  return(sub { $total_size += -s if -f }, sub { return $total_size });

}

my ($count_em, $get_results) = create_find_callbacks_that_sum_the_size(  );

find($count_em, "bin");  //寻找bin目录下所有的文件，并对找到的所有文件执行回调函数$count_em

my $total_size = &$get_results(  );

print "total size of bin is $total_size\n"

这段代码用于计算某个目录下所包含的所有文件的大小之和.

这里，create_find_callbacks_that_sum_the_size返回了两个subroutine的引用，一个用来计算

total_size的值，一个用来获取total_size的值.

create_find_callbacks_that_sum_the_size相当于函数生成器，生成了两个subroutine。

如果用c语言来实现同样的功能，有两种方法：

1.改变find函数的接口,增加参数total_size，当find函数返回时，设置total_size作为真正的返回值

      #define int (* SUM)(int);

     int get_sum(int filesize);

     {

         static int count = 0;

         count += filesize;

         return count;

     }

      bool find(SUM callback, char *path, int pathLen, int *total_size )

这里假设callback的返回值是total_size,那么find可实现如下：

bool find(SUM callback, char *path, int pathLen, int *total_size )

    ｛

          bool result = false;

         for(...) //寻找path下的每一个文件

          {

             ...

              if (file is find)

              {

                   total_size = callback(filesize);  //get_sum取代形参callback

                   result = true;

               }

          }

          return result;

     ｝

此时，要想获取totalsize的值，只需要执行：

int totalsize = 0;

     find(get_sum, path, pathlen, &totalsize); 

2.改变callback函数的接口

#define int (* SUM)(int, bool);

      int get_sum(int filesize， bool ret = false);

      {

          static int count = 0;

          if (!ret)

          {

              count += filesize;

          }

          return count;

      }

      bool find(SUM callback, char *path, int pathLen)

    ｛

         bool result = false;

        for(...) //寻找path下的每一个文件

          {

             ...

              if (file is find)

              {

                   callback(filesize);  //get_sum取代形参callback

                   result = true;

               }

          }

          return result;

     ｝

此时，要想获取totalsize的值，只需要执行：

     find(get_sum, path, len);

     int totalsize = get_sum(anyinteger, true);

对方法一和方法二进行小结：

1. 方法一改变了find函数的接口，而通常find函数是系统提供的库函数，接口无法改变.

2. 方法二更糟糕，由于改变了回调函数get_sum的接口，函数指针SUM的类型也发生了改变（增加了一个bool型参数）

， 导致所有被find所调用到的SUM类型的回调函数都需要改变接口和实现，这对代码的扩展和维护来说简直是个灾难！

相比之下，用perl实现同样的功能更加简洁通用，扩展性更好，对现有的代码影响更小。

用法二 使用闭环变量作为输入，用作函数生成器，来生成不同的函数指针：

use File::Find;

sub print_bigger_than {

  my $minimum_size = shift;

  return sub { print "$File::Find::name\n" if -f and -s >= $minimum_size };

}

my $bigger_than_1024 = print_bigger_than(1024);

find($bigger_than_1024, "bin");

print_bigger_than在这里相当于一个函数生成器，不同的输入变量可以生成不同的函数指针.

这里生成了一个可以打印出文件大小大于1024字节文件名的回调函数.



用法三 作为静态局部变量使用，提供了c语言静态局部变量的功能:

BEGIN {

  my $countdown = 10;

  sub count_down { $countdown-- }

  sub count_remaining { $countdown }

}

这里用到了关键字BEGIN.

BEGIN的作用就是，当perl编译完这段代码之后，停止当前编译，然后直接进入运行阶段，执行BEGIN块内部的代码.然后再回到编译状态，

继续编译剩余的代码.

这就保证了无论BEGIN块位于程序中的哪个位置，在调用count_down之前，$countdown被确保初始化为10.