Я прочитал классную статью о том, как избежать создания медленных регулярных выражений. Вообще говоря, это выглядит как более длинный и более явный, а регулярное выражение - быстрее. Жадное регулярное выражение может быть экспоненциально медленнее.
Я думал, что смогу проверить это, измерив время, необходимое для завершения более сложного/явного заявления с менее сложным/жадным утверждением. По большей части все, кажется, держится, но у меня есть одно жадное утверждение, которое замедлялось медленнее. Вот два примера:
import re
from timeit import timeit
# This works as expected, the explicit is faster than the greedy.
# http_x_real_ip explicit
print(timeit(setup="import re", stmt='''r = re.search(r'(\d{1,3}\.\d{1,3}.\d{1,3}.\d{1,3})', '192.168.1.1 999.999.999.999')''', number=1000000))
1.159849308001867
# http_x_real_ip greedy
print(timeit(setup="import re", stmt='''r = re.search(r'((?:\d{1,3}\.){3}\d{1,3})', '192.168.1.1 999.999.999.999')''', number=1000000))
1.7421739230003368
# This does not work as expected, greedy is faster.
# time_local explicit
print(timeit(setup="import re", stmt='''r = re.search(r'(\d{1,2}/\w{3}/[2][0]\d{2}:\d{2}:\d{2}:\d{2}\s[+][0]{4})', "[23/Jun/2015:11:10:57 +0000]")''', number=1000000))
1.248802040994633
# time_local greedy
print(timeit(setup="import re", stmt='''r = re.search(r'\[(.*)\]', "[23/Jun/2015:11:10:57 +0000]")''', number=1000000))
1.0256699790043058
Является ли local_time explict регулярным выражением, которое плохо написано?