标签：因此，写上函数原型有助于编译器对函数参数进行类型匹配检查