int 函数有什么用