如何过滤以“0”开头的匹配，思路有，但是代码有问题，因为python中字符串是不可变类型。

import re
def fun(num):
    numRegex = re.compile(r"^\d{1,3}(,\d{3})*$")
    mo = numRegex.search(num)
    """
    while mo.group()[0] == "0":
         pass
    以上两行代码有问题，因为python中字符串是不可变的,运行会提示：
    TypeError: 'str' object does not support item assignment 
    """
    print(mo.group())
fun("010,123")

我的想法是，如果匹配以“0”开头的数字，自动去掉，比如匹配010,123
输出10,123，如果匹配000,123，输出123。谢谢大神帮忙解答一下。

自己琢磨了一会，利用切片搞定了，但还有一点疑惑，请看代码：

import re
def fun(num):
    numRegex = re.compile(r"^\d{1,3}(,\d{3})*$")
    mo = numRegex.search(num)
    spam = mo.group()
    while spam[0] == "0" or spam[0] == ",":
        spam = spam[1:]
    print(spam)
fun("110,123")
fun("010,123")
fun("001,123")
fun("000,123")

输出如下，而且达到了目的：

让我困惑的是为什么非要把mo.group()赋值给变量spam才能实现，
就是说要引入一个新的对象才行，要不然就会报错，请看代码：

import re
def fun(num):
    numRegex = re.compile(r"^\d{1,3}(,\d{3})*$")
    mo = numRegex.search(num)
    # spam = mo.group()
    while mo.group()[0] == "0" or mo.group()[0] == ",":
        mo.group() = mo.group()[1:]
    print(mo.group())
fun("110,123")
fun("010,123")
fun("001,123")
fun("000,123")

直接报错了，输出如下：（为什么会这样呢？）