[^ ab] *とaとは何が一致しますか？

Question

私は[^ ab]がaまたはb以外の文字を捕まえることを知りました。 [^ ab] *は、0または複数の文字と一致する必要があります。いずれもaまたはbではありません。

しかし、pythonは何らかの形で[^ ab] *に一致します。

pattern = '[^ab]*' 
str = 'a' 
r = re.compile(pattern) 
m = r.match(str) 
if m is None: 
    print 'No match' 
else: 
    print 'match' 

このコードスニペットは一致を出力します。 ^の使用法を理解するのに間違っているか、コード内に何らかの誤りがあったと思われます。

Answer 1

[]*を意味するゼロ以上の括弧内の例です。この場合、空の文字列は文字列の一部であるため一致します。

the docセクションを参照してください。文字列の先頭でゼロ以上の文字が正規表現パターンに一致する

場合は必要になります場合は...

文字列'a'は、先頭に空の文字列''を持っています。あなたは、reg exはそれが''+'a'と見なすことができます。

おそらく、代わりにfullmatchを試してみたいです。

Answer 2

"a"は一致する文字列ではありません。一致する空の文字列（""）です。

正規表現の*は、以前のグループが0回以上一致していることを示しています。あなたの正規表現はの0回の空の文字列と一致しています。このため、mはNoneではありませんが、一致しないものとは異なる空の文字列が含まれています。

私はREPLに割り当てを書いた：ので、（あなたがm.groups()は空のタプル（それゆえではないなし）であることがわかります

>>> import re 
>>> pattern = '[^ab]*' 
>>> str = 'a' 
>>> r = re.compile(pattern) 
>>> m = r.match(str) 
>>> m.groups() 
=>() 
>>> m.group(0) 
=> '' 
>>> m.group(1) 
Traceback (most recent call last): 
    File "python", line 1, in <module> 
IndexError: no such group 

を、そしてm.group(0)はpattern一致1項目を意味し、空の文字列を返しますm.group(1)は機能しません）。空の文字列です。

は+と同じですが、少なくとも1回は一致します。

Answer 3

以前の回答の状態では、*正規表現はと一致します。以上が一致します。 それは難しい部分です。

あなたはいくつかのテストを行うことができ、Pythonがどのようにして*を処理するかを理解することができます。これは奇妙に思える

>>> r.match(str_).groups() 
() 

：マッチオブジェクトは、グループ内のマッチを返すグループ（）メソッドを有します。どうしてこれは空のグループを返しますか？これはさらに奇妙です：findallメソッドは一致するアイテムのリストを返します

>>> r.findall(str_) 
['', ''] 

2つの空の文字列。つまり、一致しない場合でも、空の項目（リスト/タプル）が表示されます。あなたは*+に（試合一つ以上）を変更した場合の結果が異なっている：

>>> pattern = '[^ab]+' 
>>> re.match(pattern, 'a').groups() 

Traceback (most recent call last): 
    File "<pyshell#135>", line 1, in <module> 
    re.match(pattern, 'a').groups() 
AttributeError: 'NoneType' object has no attribute 'groups' 

これはNoneを返します。

パターンなど[]*で使用されるときに、それをまとめるために、Pythonは、検索文字列の先頭に追加空の文字列で*を扱います。ただし、パターン[]+を使用している場合は、それは行いません。