函数篇(三):变长参数
由 学院君 创建于1年前, 最后更新于 11个月前
版本号 #2
4720 views
6 likes
0 collects
所谓变长参数指的是函数参数的数量不确定,可以按照需要传递任意数量的参数到指定函数,比如前面演示过的 fmt.Printf 函数的参数显然就是变长参数。
PHP 中的变长参数简介
PHP 函数也支持变长参数,在 PHP 5.5 及更早版本中,可以在定义函数时设置参数为空,然后在函数体中通过 func_num_args()、func_get_arg() 以及 func_get_args() 之类的函数获取参数数量及参数值:
function sum()
{
$sum = 0;
$numbers = func_get_args();
foreach ($numbers as $number) {
$sum += $number;
}
printf("The num of the arguments are %d\n", func_num_args());
printf("The sum of the numbers are %d\n", $sum);
}
sum(1, 2, 3, 4, 5);
从 PHP 5.6 开始,变长参数的定义和其他语言的风格保持一致:
function sum(...$numbers)
{
$sum = 0;
foreach ($numbers as $number) {
$sum += $number;
}
printf("The num of the arguments are %d\n", func_num_args());
printf("The sum of these numbers are %d\n", $sum);
}
sum(1, 2, 3, 4, 5);
Go 语言中的变长参数
基本定义和传值
合适地使用变长参数,可以让代码更简洁,尤其是输入输出类函数,比如日志函数。
接下来,作为对比,我们来介绍下 Go 语言中的变长参数的用法,和 PHP 类似,只是把 ... 作用到类型上,这样就可以约束变长参数的类型:
func myfunc(numbers ...int) {
for _, number := range numbers {
fmt.Println(number)
}
}
这段代码的意思是,函数 myfunc() 接受不定数量的参数,这些参数的类型全部是 int,所以它可以通过如下方式调用:
myfunc(1, 2, 3, 4, 5)
或者还可以传递一个数组切片,传递切片时需要在末尾加上 ... 作为标识,表示对应的参数类型是变长参数:
slice := []int{1, 2, 3, 4, 5}
myfunc(slice...)
myfunc(slice[1:3]...)
形如 ...type 格式的类型只能作为函数的参数类型存在,并且必须是函数的最后一个参数。
从底层实现原理上看,类型 ...type 本质上是一个数组切片,也就是 []type,这也是为什么上面的参数 numbers 可以用 for 循环来获取每个传入的参数值。
假如没有 ...type 这样的语法糖,开发者将不得不这么写:
func myfunc2(numbers []int) {
for _, number := range numbers {
fmt.Println(number)
}
}
从函数的实现角度来看,这没有任何影响,但从调用方来说,情形则完全不同:
myfunc2([]int{1, 2, 3, 4, 5})
你会发现,我们不得不加上 []int{} 来构造一个数组切片实例。但是有了 ...type 这个语法糖,我们就不用自己来处理了。
任意类型的变长参数
PHP 是弱类型语言,声明变长参数时不需要指定参数类型,Go 语言则不同,但是用过 fmt.Printf 函数的同学可能知道,我们可以向其中传递任意类型的参数值,可见 Go 语言也可以支持传递任意类型的值作为变成参数,那这又是如何实现的呢?
答案是可以指定变长参数类型为 interface{}(空接口类型可以用于表示任意类型,后面我们在 Go 语言面向对象编程中会具体介绍),下面是 Go 语言标准库中 fmt.Printf() 的函数原型:
func Printf(format string, args ...interface{}) {
// ...
}
下面我们来自定义一个支持任意类型的变长参数函数,用于判断传入参数的类型:
func myPrintf(args ...interface{}) {
for _, arg := range args {
switch reflect.TypeOf(arg).Kind() {
case reflect.Int:
fmt.Println(arg, "is an int value.")
case reflect.String:
fmt.Printf("\"%s\" is a string value.\n", arg)
case reflect.Array:
fmt.Println(arg, "is an array type.")
default:
fmt.Println(arg, "is an unknown type.")
}
}
}
func main() {
myPrintf(1, "1", [1]int{1}, true)
}
该程序的输出结果为:
1 is an int value.
"1" is a string value.
[1] is an array type.
true is an unknown type.