Có trường hợp "[^ xy]" không bằng "(?! X | y)."?

Question

Tôi đang làm việc trên thư viện JavaScript của riêng mình để hỗ trợ các siêu ký tự và tính năng mới cho cụm từ thông dụng và tôi muốn tìm trường hợp [^xy] không tương đương với (?!x). (hoặc cụ thể hơn (?:(?!x|y).)).

Lấy văn bản Ví dụ: "abc\n"

Nói rằng tôi muốn mô phỏng một regex Perl: /\A.{3}\Z/s

Với cờ singleline, regex JavaScript nên tương đương với: /^[\s\S]{3}\n*$(?!\s)/ (\A trở thành ^, . trở thành [\s\S] , \Z trở thành \n*$(?!\s))

Bây giờ, /^.{3}$/ sẽ không thành công, nhưng /^[\s\S]{3}\n*$(?!\s)/ sẽ c apture "abcabc" (giống như regex Perl)

Vì số \Z có chứa nhiều hơn một metacharacter, mô phỏng [^\Z] có vẻ khó khăn hơn.

Lấy văn bản Ví dụ: "abcabc\n"

đề xuất regex JavaScript cho regex Perl /.{3}[^\Za]/g sẽ .{3}(?:(?!\n*$(?!\s)|a).)/g

Cả hai sẽ phù hợp "bcab"

Vì vậy, cuối cùng, tôi đưa ra câu hỏi một lần nữa. Có một trường hợp mà [^xy] không tương đương với (?:(?!x|y).) với một kịch bản như vậy, có lẽ trong một biểu thức chính quy phức tạp hơn, nơi một lookahead sẽ thay đổi kịch bản?

Answer 1

Có trường hợp nào [^xy] không bằng (?!x|y).?

Chỉ một tài khoản bạn đã mô tả: Dấu chấm JS không khớp với dòng mới và cần được thay thế bằng [\s\S].

\Z trở thành \n$(?!\s)

Điều đó có vẻ sai. Sau khi kết thúc chuỗi (\z/$) sẽ không bao giờ có bất cứ điều gì, bất kể khoảng trắng hay không. Afaik, \Z là một zero-width-khẳng định (nó không tiêu thụ xuống dòng (s)) và nên được tương đương với

(?=\n*$) 
// ^not sure whether ? or * 

Kể từ \Z chứa nhiều hơn chỉ là một metacharater, bắt chước [^\Z] sẽ dường như khó khăn hơn.

Ý bạn là gì bởi "metacharacter"? Đó là xác nhận chiều rộng bằng 0 và không có ý nghĩa nhiều trong lớp nhân vật. Tôi đoán đó là lỗi cú pháp hoặc sẽ được diễn giải theo nghĩa đen (không thoát) như [^Z].

Answer 2

[^xy] sẽ khớp với \n. (?!x|y). sẽ không phù hợp \n theo mặc định (vì . không phù hợp \n)

Tôi không tin javascript có một "dotall" hoặc "single-line" modifier, nhưng với phiên bản mới của mỗi trình duyệt đánh mỗi vài tháng, tôi đã mất dấu vết.

Answer 3

Đối với chuỗi đầu vào "x\na", 2 regexps cung cấp các đầu ra khác nhau, vì . không khớp với dòng mới.

console.log("x\na".match(/(?:(?!x|y).)/)) 
["a", index: 2, input: "x↵a"] 
console.log("x\na".match(/[^xy]/)) 
["↵", index: 1, input: "x↵a"] 

Nếu bạn thay đổi .-[\s\S], đầu ra là giống hệt nhau trong trường hợp này:

console.log("x\na".match(/(?:(?!x|y)[\s\S])/)) 
["↵", index: 1, input: "x↵a"] 

Tôi không thể nghĩ ra bất kỳ trường hợp khác ngay bây giờ.

Answer 4

Như những người khác đã nói, bạn nên sử dụng [\s\S] thay vì . để thay thế. Nếu không, nếu bạn đang thực hiện phép chuyển đổi đó chỉ qua các chuỗi ký tự, có một vài điều cần phải quan tâm. Đặc biệt, các ký tự meta và chuỗi thoát:

[^*)] => (?!\*|\))[\s\S] 

Nhưng tôi đoán bạn sẽ cần phải cẩn thận phân tích cú pháp và viết ký tự đặc biệt.

Điều khó nhất có lẽ là \b mặc dù, vì đó là một ký tự (backspace) trong các lớp ký tự và một ranh giới từ bên ngoài. Vì vậy, trong thay thế, bạn phải đi với một bát phân hoặc hệ thập lục phân thoát:

[^a\b] => (?!a|\10)[\s\S] 
    or => (?!a|\x08)[\s\S] 

Khác hơn, hai nên luôn luôn là tương đương.

Answer 5

Một trường hợp định dạng [^xy] là không giống như (?:(?!x|y).) sẽ là trong đó x là một sự khẳng định chiều rộng không thay sau đó một nhân vật thực tế như:

Với văn bản mẫu này: ab-yz

Regex: [^\by] Ví dụ : http://www.rubular.com/r/ERKrqyeAs9

Returns:

[0] => a 
[1] => b 
[2] => - 
[3] => z 

Trong khi

Regex: (?:(?!\b|y).) dụ: http://www.rubular.com/r/V5RdyQEQo5

Returns:

[0] => b 
[1] => z 

biểu khác không tương đương, những phần lớn tập trung vào thực tế là cùng một cú pháp có meenings khác nhau bên trong hoặc bên ngoài lớp nhân vật:

• [^^y] sản lượng a, b, -, z không bằng (?:(?!^|y).) sản lượng b, -, z
• [^.y] mang a, b, -, z không bằng (?:(?!.|y).) mang lại gì

Hoặc bạn có thể thử điều này trong unicode nugget trong Perl: http://ideone.com/2xMfkQ

print "\ncapture\n"; 
@m = ("ss" =~ m/^(?:(?!\xDF|y).)+$/ui); 
print for @m; 

print "\nclass\n"; 
@m = ("ss" =~ m/^[^\xDFy]+$/ui) ; 
print for @m; 

Sản lượng:

capture 

class 
1