编译器根据函数的原型来检查函数的调用正确与否