给了一个string类型的url，怎么解析出其端口号字符串

解析一个URL并提取其中的端口号通常需要利用一些库函数，因为URL包含很多部分，并非直接通过简单的字符串操作就能获取。在Python中，可以使用标准库`urllib.parse`来轻松地完成这个任务。下面是一个例子：

from urllib.parse import urlparse

def parse_url_port(url):
    parsed_url = urlparse(url)
    if parsed_url.port is not None:
        return str(parsed_url.port)
    else:
        # 如果默认端口（如http的80，https的443）被省略，也可以检查scheme来推断，默认为80和443
        scheme = parsed_url.scheme
        if scheme == 'http':
            port = 80
        elif scheme == 'https':
            port = 443
        else:
            port = None  # 如果不是常见的http或https，返回None
        return str(port)

# 使用示例
url = "http://example.com"
port = parse_url_port(url)
print(f"Port of {url} is: {port}")

如果不需要处理默认端口的情况，上述代码已经足够。但如果你的应用场景复杂，例如支持自定义端口，可能需要进一步调整。