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";

};