Python 3 urllibで任意のホストヘッダーを設定するにはどうすればよいですか？

Question

たとえば、ホストヘッダーstackoverflow.comを使用して12.34.56.78にリクエストを送信したいとします。しかし、PythonはHostヘッダーを上書きしているようですが、送信された実際のパケットはまだHost: 12.34.56.78です。

どのようにこの動作を停止できますか？

from urllib import request 
a = request.build_opener() 
a.addheaders.append(('Host', 'stackoverflow.com')) 
a.open('http://12.34.56.78/') 

注：コードはPythonの上に自分のアイデアのための3つの

Answer 1

おかげBlurpを実行し、要求を送信する方法は次のとおりです。

from urllib import request 
r = request.Request('http://12.34.56.78/', headers={'Host': 'stackoverflow.com'}) 
request.urlopen(a)