编写函数求字符串的长度。

在 Python 中，可以使用 `len()` 函数来求一个字符串的长度。下面是一个示例代码：

def string_length(s):
    """求字符串 s 的长度"""
    return len(s)

这个函数接受一个字符串参数 `s`，并返回它的长度。你可以像下面这样调用它：

s = "Hello, world!"
print(string_length(s))  # 输出 13