这个函数用于对输入的字符串s进行文件名的合法性检查，输出结果为合法性检查更正后的文件名称。

注意 s 只能输入文件名部分，不包括文件夹部分。

这个函数用于解决 编程人员在 编写导出功能 时预先生成的文件名可能不合法（包含了\ / : * ? " < > | 这些符号）而导致无法导出的问题