Perl专题之函数（三）函数原型
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(&){$_};
try{
die "shabi";
}
catch {
/shabi/ && println "bushabi";
};
页:
[1]