格式化函数

格式化函数是一个强大的工具集，可以将各种数据类型 (DATE/TIME, INTEGER, FLOATING POINT) 转换为格式化的字符串，以及将格式化的字符串转换为特定数据类型。