在進行網絡爬蟲開發時，代理池是一個非常重要的工具。Docker作為一個快速、輕量級的容器化工具，也可以用來快速地建立一個代理池。

首先，我們需要編寫一個代理池的程序，并將其打包成Docker鏡像。以下是一個簡單的Python代理池程序：

import requests
from flask import Flask
app = Flask(__name__)
@app.route('/get')
def get_proxy():
return requests.get('http://127.0.0.1:5010/get/').text
@app.route('/count')
def get_counts():
return requests.get('http://127.0.0.1:5010/count').text
if __name__ == '__main__':
app.run(host='0.0.0.0', port=8080)

接下來，我們可以使用Dockerfile來構建Docker鏡像：

FROM python:3.6
RUN pip install requests Flask
COPY . /app
WORKDIR /app
CMD python app.py

最后，我們可以使用docker-compose來快速啟動代理池。以下是一個簡單的docker-compose.yml文件：

version: '3'
services:
proxy_pool:
build: .
ports:
- "8080:8080"
depends_on:
- redis
links:
- redis
redis:
image: "redis:alpine"

以上的docker-compose.yml文件中，我們定義了兩個服務：proxy_pool和redis。我們的代理池程序將運行在proxy_pool服務中，而redis服務則用來存儲代理數據。

最后，我們可以使用以下命令啟動我們的代理池：

docker-compose up

通過以上步驟，我們就可以快速地使用Docker構建一個代理池。在網絡爬蟲開發中，代理池的使用將極大地提高我們的爬蟲效率，同時也能幫助我們避免IP被限制或封禁的風險。