在第二个模式中，你可以用一个 * 自定义/受限 * 的^(?!(.{15}|.{17})$)来替换字符串^的开头（这是基于要排除的长度构建的）。这将确保匹配每个字符串的开头，但仅当这个字符串的长度不是15或17个字符时。

Use 

    ^(?!(.{15}|.{17})$)[0-9]{13,20}$
instead of 

    ^[0-9]{13,20}$

字符串
下面是处理不同不连续范围的通用代码：

# feel free to adjust the values
(l, r), excep = [13, 20], [15, 17]

to_excl = "|".join(".{%s}" % n for n in excep)

pat = re.compile(r"^(?!(%s)$)[0-9]{%s,%s}$" % (to_excl, l, r))

型
测试/输出：

for t in text:
    print(
        f"{t:<22}", f"{len(t):<4}",
        "match" if pat.match(t) else "no-match"
    )
    
01234                  5    no-match
012345678901234        15   no-match
0123456789012345       16   match
01234567890123456      17   no-match
012345678901234567     18   match
012345678901234567890  21   no-match

型
使用的输入：

from string import digits
s = digits; lens = [5, 15, 16, 17, 18, 21]
text = [s * (l // 10) + s[:l % 10] for l in lens]
   
['01234',
 '012345678901234',
 '0123456789012345',
 '01234567890123456',
 '012345678901234567',
 '012345678901234567890']

型

嗯.是的，你可以，但这将需要不止一个量词。
With alternatives：

^
(?:
  [0-9]{13,14}   # 13 or 14
|
  [0-9]{16}      # or 16
|
  [0-9]{18,20}   # or 18, 19, 20.
)
$

字符串
With lookaheads：

^
(?!.{15}$)(?!.{17}$)    # Assure that the length is neither 15 nor 17,
[0-9]{13,20}            # and at the same time, 13 <= length <= 20.
$

型
With lookbehinds：

^
[0-9]{13,20}            # Basically the same pattern,
(?<!^.{15})(?<!^.{17})  # just inverted.
$

型
使用正常的Python代码：

# Note the lack of anchors and the use of .fullmatch()
# That method is used here since it is more readable,
# and it automatically adds anchors.

_13_to_20_digits = re.compile('[0-9]{13,20}')

if _13_to_20_digits.fullmatch(text) and len(text) not in (15, 17):
  frobnicate()

型
选择一个。你喜欢哪一个。我个人喜欢最后一个，因为它非常清晰，即使对于那些不知道正则表达式的人来说。