rand函数要什么头文件