Perl专题之函数（三）函数原型

huijial

3.     函数的原型
　　函数原型可以对传入函数的参数的类型，数目和顺序等进行限定。函数原型定义的语法如下：
　　NAME(原型定义)BLOCK
　　但是要让这些限定起作用就必须使用内建函数的调用方式进行调用，即必须采用下面的方式进行调用：
　　NAME[(PARAM1,PARAM2,…)]
　　如果不以以上方式调用函数，如用&调用（&func），用引用调用（$func->()）等等，或者是对象里面的方法，那么函数原型是不起作用的。下面将逐一解释常见的原型定义形式。
3.1.形如\加上@$%&*
　　这种形式的原型字符有$，@，%三种，这就要求参数必须严格以改原型字符开头。我们做如下的原型定义：
　　NAME(\$\@\%) BLOCK
　　那么，我们就已经定义了在调用时只能传入三个参数，顺序为先传入一个标量变量，再传入一个数组变量，最后传入一个散列变量，其它任何传入方式都会报编译错误。如果一个位置即可以传入一个数组，也可以传入一个散列，那么我们需要使用[]。这里的[]类似于正则表达式里的作用，表示对[]里的内容多选一。例如，我们做如下定义：
　　NAME(\[@%]) BLOCK
　　这就可以满足既可以传入数组又可以传入散列的要求。
3.2.形如@$%（不带前面的反斜杠）
　　@和%原型字符可以吞并参数列表中所有剩余的参数，并且强制一个列表环境。而$原型字符则表示一个参数（可以使标量，也可以是一个散列或者数组），并且提供一个标量环境。我们假设此存在一个子函数func1，该函数在标量环境下返回一个数组，在列表环境下返回一个数组长度。如果我们做如下定义：
　　NAME(@) BLOCK
　　那么此时我们形如：
　　NAME(func1)
　　的调用就会向函数传入一个数组，即提供了一个列表环境。而如果我们做如下定义：
　　NAME($) BLOCK
　　那么上面的定义形式就会传入数组的长度，即提供了一个标量环境。
3.3.其它原型字符
　　分号原型字符用来分割必选参数和可选参数，分号之后的参数为可选参数。
　　下划线原型字符必须是最后一原型字符，或者是分号之前紧靠着分号的第一个字符，这表示如果不传入改参数，那么$_变量将作为参数传递进来。
　　+原型字符表示在调用时可以传入标量，也可以传入一个数组或者散列，但是这个原型会提供一个标量变量，即如果传入一个数组或者散列也会转变为对该数组或者散列的引用。这样，我们就可以即接收数组或者散列，也可以接收对它们的引用。这个原型字符必须在函数体内用ref函数对传入参数做是否是引用做出判断。
　　&表示可以接收对函数的引用或sub{}的块，但当&作为第一个原型是可以省略sub，这里我们提供一个经典的这种用法的例子：
　　sub try(&$){
　　my($try,$catch)=@_;
　　eval{&$try};
　　if ($@){
　　local $_= $@;
　　&$catch;
　　}
　　}
　　sub catch(&){$_[0]};
　　
　　try{
　　die "shabi";
　　}
　　catch {
　　/shabi/ && println "bushabi";
　　};