最近在看到python递归法来反转字符串的时候，关于其代码有一点不理解：
def reverse2(s):
    if s=="":
        return s
    else:
        return reverse2(s[1:])+s[0]

此代码中的基例是字符串s为空时返回s结束递归。但是如else下的代码所示，输入的字符串s不断被更新，为什么会有被切片到空的时候呢？

难道python的字符串跟C语言一样，也会在内存里的字符串后面加入一个‘\0’来表示空的意思吗？