Почему регулярное выражение '1 {0}' всегда совпадает с пустой строкой?

Question

import re 

if re.match(r'1{0}', 'foo').group() == '': 
    print(True) 

Может ли кто-нибудь объяснить, почему условие всегда выполняется?

Первый символ может быть что-нибудь вроде: 1{0}, 2{0}, a{0} и т.д.

И почему:

re.match(r'11{0}', 'foo').group() 
# AttributeError: 'NoneType' object has no attribute 'group 

Answer 1

От documentation:

{m} 

Specifies that exactly m copies of the previous RE should be matched; fewer matches cause the entire RE not to match. For example, a{6} will match exactly six 'a' characters, but not five.

Поэтому 1{0} будет соответствовать ровно ноль повторений символа 1. Это то же самое, что и пустое регулярное выражение, и будет соответствовать чему угодно.

Answer 2

Поскольку {0} рассказывает, чтобы соответствовать 0 повторы того, что следует. 0 повторений - пустая строка. Пустая строка всегда совпадает.