无论用户函数是否有形参，其函数原型都可省略这些参数