初学者关于递归的一点问题

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

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

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

首先得理解切片的返回值是什么,也就是最后s[1:] 的返回值就是空字符串"". 你可以找源代码里看执行切片的魔法方法 stringObject.h or stringObject.c
>>> h = 'hello'
>>> print h[6:]

>>> print type(h[6:])
<type 'str'>

>>> l = [1,2, 3]
>>> print l[4:]
[]
>>> print(type(l[4:])
<type 'list'>