一个double型的数怎么转化为字符串啊
有什么函数
是不是toString()啊
举个例子啊