python 连接redis，如何断开连接，并验证连接断开

在 Python 中，连接 Redis 的方式通常使用 Redis 模块提供的 `redis.Redis()` 函数。如果要断开与 Redis 的连接，可以使用 `redis.Redis()` 函数返回的对象的 `close()` 方法。

为了验证连接是否已经断开，可以使用 Redis 模块提供的 `ping()` 方法。如果连接已经断开，`ping()` 方法将会抛出异常。

下面是一个例子，展示了如何连接 Redis、断开连接，并验证连接是否已经断开：

import redis

# 连接 Redis
r = redis.Redis(host='localhost', port=6379, db=0)

# 执行 Redis 操作
r.set('foo', 'bar')
print(r.get('foo'))

# 断开与 Redis 的连接
r.close()

# 验证连接是否已经断开
try:
    r.ping()
except redis.ConnectionError:
    print('连接已经断开')

在上面的例子中，首先使用 `redis.Redis()` 函数连接 Redis。然后，执行一些 Redis 操作，最后调用 `close()` 方法断开连接。接着，使用 `ping()` 方法验证连接是否已经断开，并使用 `try...except...` 语句捕获 `redis.ConnectionError` 异常。如果连接已经断开，`ping()` 方法将会抛出这个异常，并输出提示信息。