Cụm từ thông dụng của Python có tương đương với nhóm nguyên tử của Ruby không?

Question

Cụm từ thông dụng của Ruby có một tính năng gọi là nhóm nguyên tử (?>regexp), được mô tả here, có bất kỳ tương đương nào trong mô-đun re của Python không?

Answer 1

Python không trực tiếp hỗ trợ tính năng này, nhưng bạn có thể bắt chước nó bằng cách sử dụng một assert zero-width lookahead ((?=RE)), mà phù hợp với từ điểm hiện tại với cùng một ngữ nghĩa bạn muốn, đặt một nhóm có tên ((?P<name>RE)) vào trong mặt nhìn, và sau đó sử dụng một backreference được đặt tên ((?P=name)) để khớp chính xác với bất kỳ xác nhận chiều rộng 0 nào phù hợp. Kết hợp với nhau, điều này mang lại cho bạn cùng một ngữ nghĩa, với chi phí tạo ra một nhóm phù hợp bổ sung và rất nhiều cú pháp.

Ví dụ, liên kết mà bạn cung cấp đưa ra ví dụ Ruby của

/"(?>.*)"/.match('"Quote"') #=> nil 

Chúng ta có thể bắt chước mà bằng Python như vậy:

re.search(r'"(?=(?P<tmp>.*))(?P=tmp)"', '"Quote"') # => None 

Chúng ta có thể thấy rằng tôi đang làm một cái gì đó hữu ích và không chỉ phun ra tiếng ồn của đường dây, bởi vì nếu chúng ta thay đổi nó để nhóm bên trong không ăn được " cuối cùng, nó vẫn khớp với:

re.search(r'"(?=(?P<tmp>[A-Za-z]*))(?P=tmp)"', '"Quote"').groupdict() 
# => {'tmp': 'Quote'} 

Bạn cũng có thể sử dụng các nhóm nặc danh và backreferences số, nhưng điều này trở nên hết sức đầy đủ các dòng nhiễu:

re.search(r'"(?=(.*))\1"', '"Quote"') # => None 

(tiết lộ đầy đủ: Tôi đã học được thủ thuật này từ tài liệu perlre perl, mà đề cập đến nó dưới tài liệu cho (?>...).)

Ngoài việc có ngữ nghĩa phù hợp, điều này cũng có các đặc tính hiệu suất thích hợp. Nếu chúng ta một ví dụ cổng ra của perlre:

[nelhage@anarchique:~/tmp]$ cat re.py 
import re 
import timeit 


re_1 = re.compile(r'''\(
          (
          [^()]+   # x+ 
          | 
          \([^()]* \) 
          )+ 
         \) 
        ''', re.X) 
re_2 = re.compile(r'''\(
          (
          (?=(?P<tmp>[^()]+))(?P=tmp) # Emulate (?> x+) 
          | 
          \([^()]* \) 
          )+ 
         \)''', re.X) 

print timeit.timeit("re_1.search('((()' + 'a' * 25)", 
        setup = "from __main__ import re_1", 
        number = 10) 

print timeit.timeit("re_2.search('((()' + 'a' * 25)", 
        setup = "from __main__ import re_2", 
        number = 10) 

Chúng ta thấy một sự cải thiện đáng kể:

[nelhage@anarchique:~/tmp]$ python re.py 
96.0800571442 
7.41481781006e-05 

nào chỉ được ấn tượng hơn khi chúng ta mở rộng chiều dài của chuỗi tìm kiếm.

Answer 2

từ http://docs.python.org/2/library/re.html#regular-expression-syntax

(? P < name> ...)

Tương tự như dấu ngoặc đơn thường xuyên, nhưng chuỗi con phù hợp theo nhóm có thể truy cập trong phần còn lại của biểu thức chính quy thông qua tên nhóm đại biểu Tên. Tên nhóm phải là số nhận dạng Python hợp lệ và mỗi tên nhóm phải được xác định chỉ một lần trong một cụm từ thông dụng. Một nhóm biểu tượng cũng là một nhóm được đánh số, giống như nhóm không được đặt tên. Vì vậy, nhóm có tên id trong ví dụ bên dưới cũng có thể được tham chiếu là nhóm được đánh số 1.

Ví dụ: nếu mẫu là (? P [a-zA-Z _] \ w *), nhóm có thể được tham chiếu bằng tên của nó trong các đối số cho các phương thức của các đối tượng trùng khớp, chẳng hạn như m.group ('id') hoặc m.end ('id'), và cũng theo tên trong chính biểu thức chính quy (sử dụng (? P = id)) và văn bản thay thế được cung cấp cho .sub() (sử dụng \ g).

(? P = tên)

Matches whatever text was matched by the earlier group named name. 

Answer 3

Theo this table, câu trả lời là không. Một RFE được tạo ra để thêm nó vào Python 3, nhưng đã bị từ chối ủng hộ regex mô-đun mới, trong đó hỗ trợ nó:

>>> import regex 
>>> regex.match('"(?>.*)"', '"Quote"') 
>>> regex.match('"(.*)"', '"Quote"') 
<_regex.Match object at 0x00C6F058> 

Lưu ý: regex cũng có sẵn cho Python 2.

Answer 4

Có vẻ như không phải.

http://www.regular-expressions.info/atomic.html

nhóm Atomic được hỗ trợ bởi hầu hết các hương vị biểu thức chính quy hiện đại, bao gồm các hương vị JGsoft, Java, PCRE, .NET, Perl và Ruby.

Bạn có thể mô phỏng không chụp ảnh bằng cách sử dụng nhóm không chụp, (?:RE), nhưng nếu tôi đọc đúng, vẫn không cung cấp cho bạn lợi ích tối ưu hóa.