我正在尝试使用python的WSGI开发一个小型Web应用程序.例如,如果用户选择Google,他们会被重定向到google.com,如果他们选择了Facebook,他们就会被重定向到facebook.com等.
from wsgiref.simple_server import make_server
from cgi import parse_qs, escape
main_html = """
<html>
<head><title> Welcome to redirection test page </title> </head>
<body>
<form method="get" action='/visit'>
<input type=radio name='site' value=google> Google
<input type=radio name='site' value=facebook> Facebook
<input type=submit value=submit>
</form>
</body>
</html>
"""
def main(environ, start_response):
response_body = main_html
print type(response_body)
status = '200 OK'
response_headers = [
('Content-Type','text/html'),
('Content-Length', str(len(response_body)))
]
start_response(status, response_headers)
return [response_body]
def visit(environ, start_response):
qs = parse_qs(environ['QUERY_STRING'])
dest = qs.ge('site')[0]
if dest == 'google':
start_response('301 …低于Slice和手动反向操作之间的性能差异.如果是这种情况,那是什么原因？
timeit.timeit("a[::-1]","a=[1,2,3,4,5,6]",number=100)
6.054327968740836e-05
timeit.timeit("[a[i] for i in range(len(a)-1,-1,-1)]","a=[1,2,3,4,5,6]",number=100)
0.0003132152330920235