问题描述
小 M 在工作中遇到了一个问题，他需要将用户输入的不带千分位逗号的数字字符串转换为带有千分位逗号的格式，并且保留小数部分。此外，小 M 还发现，有时候输入的数字字符串前面会有无用的 0，这些需要被精简掉。请帮助小 M 编写程序完成这个任务。
解题思路
这个问题可以通过以下几个步骤解决：
1. 去掉字符串前导的无效 0：
• 使用 Python 的 lstrip('0') 方法去除前导 0。
• 如果结果为空字符串（例如输入全是 0），直接返回 "0"。
2. 分离整数部分和小数部分：
• 使用字符串的 split('.') 方法，以小数点为分隔符，将输入分为整数部分和小数部分。如果没有小数点，默认小数部分为空。
3. 格式化整数部分：
• 使用 "{:,}".format() 方法为整数部分添加千分位逗号。
4. 重新组合结果：
• 如果有小数部分，将整数部分和小数部分用小数点重新拼接。
• 如果没有小数部分，直接返回格式化后的整数部分。
该解法逻辑清晰、步骤简洁，能够有效处理各种输入。
代码实现
运行分析
1. 时间复杂度：
• 去除前导 0 和字符串操作（split 和 format）都为 O(n)，其中 n 是输入字符串的长度。
• 总时间复杂度：O(n)。
2. 空间复杂度：
• 使用少量临时变量（如整数部分、小数部分等），空间复杂度为 O(1)。
• 总空间复杂度：O(1)。
测试分析
测试用例 1 输入：s = "1294512.12412" 输出："1,294,512.12412" 解释：整数部分 1294512 被格式化为 1,294,512，小数部分保留原样。
测试用例 2 输入：s = "0000123456789.99" 输出："1,234,567,889.99" 解释：去除前导 0 后，整数部分为 123456789，格式化为 1,234,567,889，小数部分保留。
测试用例 3 输入：s = "987654321" 输出："987,654,321" 解释：只有整数部分，格式化为 987,654,321。
边界条件
1. 输入全是 0：
• 例如：s = "0000"，输出应为 "0"。
2. 没有小数部分：
• 例如：s = "123456"，输出应为 "123,456"。
3. 只有小数部分：
• 例如：s = "0.00123"，输出应为 "0.00123"。
扩展总结
该题目主要考察字符串处理能力和 Python 格式化方法的应用。通过拆分字符串并分别操作整数部分和小数部分，可以有效解决问题。
• 学习建议：
1. 掌握 Python 的字符串操作（如 split, strip）。
2. 熟悉格式化数字的 "{:,}".format() 方法。
3. 注意边界情况的处理（如全是 0、无小数点等）。
