الفرق بين المراجعتين ل"Ruby/Regexp"

المراجعة الحالية بتاريخ 12:22، 7 ديسمبر 2018

تمثل كائنات الصنف Regexp التعابير النمطية التي تُستخدم لمطابقة نمط (pattern) معيّن في سلسلة نصية. تُنشَأ التعابير النمطية باستخدام الصياغتين /.../ و ‎%r{...}‎، أو باستعمال الباني new.

التعابير النمطية هي أنماط تصف محتويات السلسلة النصية. يمكن استخدامها للتحقق من أنّ سلسلة نصية تحتوي على نمط معين، أو لاستخراج الأجزاء المُطابقة منها.

عادةً ما يتم تحديد التعبير النمطي بخط مائل (/) كما يوضح المثال التالي:

/hay/ =~ 'haystack'   #=> 0
/y/.match('haystack') #=> #<MatchData "y">
‎

إذا احتوت سلسلة نصية على النمط، فسيقال أنها مُطابقة، أو تتطابقت السلسلة مع التعبير النمطي. كل سلسلة نصية حرفية (literal) تطابق نفسها. في المثال التالي، السلسلة النصية 'haystack' لا تحتوي على النمط 'needle'، لذلك فهي غير متطابقة:

/needle/.match('haystack') #=> nil
‎

أما في المثال التالي، فالسلسلة النصية 'haystack' تحتوي على السلسلة النصية الحرفية 'hay'، لذلك فهي متطابقة:

/hay/.match('haystack')    #=> #<MatchData "hay">
‎

بشكل أكثر تحديدًا، يتطلب التعبير النمطي /st/ أن تحتوي السلسلة النصية على الحرف s متبوعًا بالحرف t، لذلك فهي تتطابق مع "haystack" أيضًا.

المعامل ‎`=~`‎ و التابع `match`

يمكن التحقق من مطابقة النمط باستخدام المعامل ‎=~‎ أو التابع match.

المعامل ‎`=~‎`

المعامل ‎=~‎ هو معامل المُطابقة الأساسي في روبي. عندما يكون أحد معاملاته عبارة عن تعبير نمطي، والآخر عبارة عن سلسلة نصية، فسيُستخدم التعبير النمطي حينها كنمط لمطابقة السلسلة النصية. (تعريف هذا المعامل في الصنفين Regexp و String متماثل، لذا لا يهم ترتيب السلسلة النصية أو التعبير النمطي. قد يسلك هذا المعامل سلوكًا مختلفًا في الأصناف الأخرى.)

في حالة العثور على تطابق، فسيعيد المعامل فهرس المطابقة الأولى في السلسلة النصية، وإلا فسيعيد nil.

/hay/ =~ 'haystack'   #=> 0
'haystack' =~ /hay/   #=> 0
/a/   =~ 'haystack'   #=> 1
/u/   =~ 'haystack'   #=> nil

عند استخدام المعامل ‎=~‎ مع كائن من النوع String أو Regexp، سيتم تعيين المتغير العام ‎$~‎ بعد الحصول على مطابقة ناجحة. سيحتوي المتغير ‎‎‎‎‎$~‎‎‎ على كائن من النوع MatchData.

التابع last_match مكافئ للمتغير ‎$~‎.

التابع `match`

يعيد التابع match كائنًا من النوع MatchData:

/st/.match('haystack')   #=> #<MatchData "st">

المحارف الخاصة ومحارف التهريب

المحارف التالية هي محارف خاصة (metacharacters):

( ، ) ، [ ، ] ، { ، } ، . ، ? ، + ، *.

لهذه المحارف معاني محددة عندما تظهر في تعبير نمطي. ولمطابقتها حرفيًا، يجب أن تكون مسبوقة بخط مائل عكسي \. لمطابقة الخظ المائل العكسي حرفيًا، فيجب أن يسبق هذا الخط بخط مائل عكسي آخر: \\. يعد الخط المائل العكسي الأول محرف تهريب للمحرف الذي يليه:

/1 \+ 2 = 3\?/.match('Does 1 + 2 = 3?') #=> #<MatchData "1 + 2 = 3?">
/a\\\\b/.match('a\\\\b')                    #=> #<MatchData "a\\b">
‎

تتصرف الأنماط مثل السلاسل النصية المُقتبسة (double-quoted) بحيث يمكن أن تحتوي على نفس الخط المائل العكسي المخصصة للتهريب (backslash escapes):

/\s\u{6771 4eac 90fd}/.match("Go to 東京都")
    #=> #<MatchData " 東京都">
‎

يمكن تضمين تعابير روبي في الأنماط عبر الصياغة ‎#{...}‎.

place = "東京都"
/#{place}/.match("Go to 東京都")
    #=> #<MatchData "東京都">
‎

مجموعات الحروف (Character Classes)

يتم تحديد مجموعات الحروف (character class) بواسطة الأقواس المربعة ([ ، ]) وتوضع بينها المحارف التي قد تظهر عند هذه النقطة في المطابقة. التعبير النمطي /[ab]/ يعني إما a أو b، على خلاف /ab/ الذي يعني الحرف a متبوعًا بالحرف b.

/W[aeiou]rd/.match("Word") #=> #<MatchData "Word">

ضمن مجموعات الحروف، تمثل الشرطة (-) حرفًا خاصًّا يشير إلى مجال شامل (inclusive) مكون من أحرف. التعبير النمطي [abcd] يكافئ [a-d]. يمكن أن يُتبع المجال بمجال آخر، لذلك فالتعبير النمطي [abcdwxyz] يكافئ [a-dw-z]. ولا يهم الترتيب الذي تظهر به المجالات أو الأحرف الفردية داخل مجموعة الحروف.

/[0-9a-f]/.match('9f') #=> #<MatchData "9">
/[9f]/.match('9f')     #=> #<MatchData "9">

إذا كان أول حرف من حروف المجموعة هو العلامة (^)، فسيُعكس سلوك المجموعة آنذاك؛ أي أنها ستطابق أي حرف باستثناء تلك المحددة في الأقواس المربعة.

/[^a-eg-z]/.match('f') #=> #<MatchData "f">

يمكن أن تحتوي مجموعة حروف على مجموعة حروف أخرى لشكل تشعبي. الشكل ‎[a-z[0-9]]‎ يصف نفس المجموعة [a-z0-9]. كما أنّ مجموعات الحروف تدعم المعامل && الذي يجري عملية التقاطع على وسائطه. ويمكن دمج الاثنين كما يلي:

/[a-w&&[^c-g]z]/ # ([a-w] AND ([^c-g] OR z))

هذا يُكافئ:

/[abh-w]/

تتصرف المحارف الخاصة (metacharacters) التالية مثل مجموعات الحروف:

/./ - أي حرف باستثناء محرف السطر الجديد.
‎/./m - أي حرف (المُعدِّل m يتيح الوضع متعدد الأسطر)
‎/\w/‎ - حرف كلمة ([a-zA-Z0-9_‎])
‎‎‎‎‎/\W/‎ - ُحرف يخالف حروف الكلمة ([‎^a-zA-Z0-9_‎‎]). يرجى إلقاء نظرة على صفحة الخطأ Bug#4044 في حالة استخدام ‎‎‎‎‎/\W/‎ مع المُعدِّل ‎/i‎.

‎/\d/‎ - حرف رقمي ويكافئ ([‎0-9])
‎/\D/‎ - حرف غير رقمي ويكافئ ([‎^0-9])
‎/\h/ ‎- حرف ستة عشري ويكافئ ([‎0-9a-fA-F])
‎/\H/‎ - حرف غير ستة عشري ويكافئ ([‎^0-9a-fA-F])
‎/\s/‎ - حرف من حروف المسافات البيضاء، ويكافئ /[‎ \t\r\n\f\v]/
‎/\S/‎ - حرف يخالف حروف المسافة البيضاء، ويكافئ /[‎^‎ \t\r\n\f\v]/

تعبيرات أقواس POSIX ‏(POSIX bracket expressions) مشابهة لمجموعات الحروف في التعابير النمطية، إذ توفر بديلاً محمولًا (portable) لما سبق، مع ميزة إضافية تتمثل في أنها يمكن أن تحتوي على أحرف من خارج الترميز ASCII. على سبيل المثال، لا يطابق التعبير ‏‏‎/\d/‎‏ إلا الأرقام العشرية للترميز ASCII ‏(0-9)؛ بينما يطابق التعبير /[[:digit:]]/ أي حرف من مجموعة الحروف العددية Nd في اليونيكود (Unicode Nd).

/[[:alnum:]]/- حرف أبجدي أو رقم
/[[:alpha:]]/ - حرف أبجدي
/[[:blank:]]/ - فراغ أو علامة تبويب (tab)
/[[:cntrl:]]/ - حرف تحكم (Control character)

/[[:digit:]]/ - رقم
/[[:graph:]]/ - حرف غير فارغ (يستثني المسافات وأحرف التحكم وما شابه)
/[[:lower:]]/ - الأحرف الأبجدية الصغيرة
/[[:print:]]/ - مثل [:graph:]، ولكنها تتضمن حرف المسافة
/[[:punct:]]/ - علامة ترقيم (Punctuation character)
/[[:space:]]/ - محرف مسافة بيضاء ([:blank:] أو سطر جديد أو حرف الرجوع [carriage return]، وما إلى ذلك)
/[[:upper:]]/ - حرف أبجدي كبير
/[[:xdigit:]]/ - رقم من الأرقام المسموح بها في الأعداد السداسي عشرية (أي الحروف ‎0-9a-fA-F)

تدعم روبي أيضًا مجموعات الحروف التالية بجانب مجموعات POSIX:

/[[:word:]]/ - حرف من إحدى مجموعات حروف اليونيكود العامة التالية Letter و Mark و Number و Connector_Punctuation
/[[:ascii:]]/ - حرف من مجموعة حروف ASCII

# U+06F2 is "EXTENDED ARABIC-INDIC DIGIT TWO"
/[[:digit:]]/.match("\u06F2")    #=> #<MatchData "\u{06F2}">
/[[:upper:]][[:lower:]]/.match("Hello") #=> #<MatchData "He">
/[[:xdigit:]][[:xdigit:]]/.match("A6")  #=> #<MatchData "A6">

التكرار

تتطابق التركيبات الموصوفة حتى الآن مع حرف واحد، لكن ماذا لو أردنا مطابقة أكثر من حرف دفعة واحدة. يمكننا ذلك باستخدام حروف خاصة تُسمى المُكممات (quantifiers). والتي توضع بعد الحرف الذي نريد أن يتكرر لتحديد عدد مرات ظهوره، هذه المكممات هي:

* - صفر مرّة أو أكثر.
+ - مرة واحدة أو أكثر
? - صفر مرة أو مرة واحدة (اختياري)
{n} - بالضبط n مرة
{,n} - على الأقل أكثر n مرة
{m,} - على الأكثر m مرة
{n,m} - بين n و m مرة

إذا أردت مطابقة حرف كبير واحد (هو 'H') على الأقل، ثم حرف واحد صغير على الأقل (مثل 'e')، ثم حرفين 'l'، ثم حرف 'o':

"Hello".match(/[[:upper:]]+[[:lower:]]+l{2}o/) #=> #<MatchData "Hello">

أنماط التكرار طمّاعة (greedy) افتراضيًا: أي أنها تبحث عن مطابقة أكبر جزء ممكن يحقق المطابقة من السلسلة النصية. على خلاف ذلك، فإن المطابقة القانعة (lazy matching) تكتفي بالحد الأدنى من السلسلة النصية الذي يحقق المطابقة بشكل عام.

يمكن جعل الحروف الخاصة الطماعة قانعة باتباعها بالحرف ?.

كلا النمطين أدناه يتطابقان مع السلسلة النصية. يستخدم الأول مُكمما طماعًا، بحيث يطابق "‎.+‎" السلسة النصية '<a><b>' ؛ أما الثاني فيستخدم مكمما قانعا، بحيث يطابق '‎.+?‎'السلسلة النصية '<a>':

/<.+>/.match("<a><b>")  #=> #<MatchData "<a><b>">
/<.+?>/.match("<a><b>") #=> #<MatchData "<a>">

المكممات المتبوعة بالعلامة + تُطابق تملكيًا (possessively): فبمجرد أن تُطابق نمطًا لن تتراجع. فهي تتصرف مثل المكممات الطماعة، ولكنها ترفض "التخلي" عن الأجزاء التي طابقتها حتى لو كان ذلك سيُفشل كامل المطابقة.

الالتقاط (Capturing)

يمكن استخدام الأقواس لأجل الالتقاط (capturing). ويمكن لاحقًا التأشير إلى النص المتضمن في مجموعة الأقواس رقم n بالعدد n. داخل النمط استخدم المؤشر ‎\n، أما خارج النمط فاستخدم MatchData[n]‎.

في المثال أدناه، تُلتقط "at" بالزوج الأول من الأقواس، ثم يتم التأشير إليها باستخدام ‎\1:

/[csh](..) [csh]\1 in/.match("The cat sat in the hat")
   #=> #<MatchData "cat sat in" 1:"at">

يعيد التابع match كائنًا من النوع MatchData، والذي يجعل النص الذي تم التقاطه متاحًا عبر معامل الفهرسة []:

/[csh](..) [csh]\1 in/.match("The cat sat in the hat")[1] #=> 'at'

يمكن التأشير إلى المجموعات الملتقطة باسمها الذي عُرّفت به في حال تعريفها وفق الصياغة (<name>?) أو ('name'?).

/\$(?<dollars>\d+)\.(?<cents>\d+)/.match("$3.67")
   #=> #<MatchData "$3.67" dollars:"3" cents:"67">
/\$(?<dollars>\d+)\.(?<cents>\d+)/.match("$3.67")[:dollars] #=> "3"

يمكن التأشير إلى المجموعات المُسماة بواسطة ‎\k<name>‎، حيث name هو اسم المجموعة.

/(?<vowel>[aeiou]).\k<vowel>.\k<vowel>/.match('ototomy')
   #=> #<MatchData "ototo" vowel:"o">

ملاحظة: لا يمكن للتعبير النمطي استخدام المؤشرات المسماة (named backreferences) والمؤشرات الرقمية (numbered backreferences) في وقت واحد. عند استخدام مجموعات الالتقاط المسماة (named capture groups) مع تعبير نمطي حرفي على الجانب الأيسر من التعبير والمعامل ‎=~‎، فسيتم تخزين النص الذي تم التقاطه في متغيرات محلية تحمل أسماء مشابهة.

/\$(?<dollars>\d+)\.(?<cents>\d+)/ =~ "$3.67" #=> 0
dollars #=> "3"

التجميع (Grouping)

تُجمّع (group) الأقواس التعابير التي تُطوّقها، مما يسمح بتحديدها كمجموعة واحدة. يتطابق النمط أدناه مع حرف متحرك (vowel) متبوع بحرفين من حروف كلمة (word characters):

/[aeiou]\w{2}/.match("Caenorhabditis elegans") #=> #<MatchData "aen">

بينما يتطابق النمط التالي مع حرف متحرك يتبعه حرف كلمة، مرتين، أي ‎[aeiou]\w[aeiou]\w:

/([aeiou]\w){2}/.match("Caenorhabditis elegans")
   #=> #<MatchData "enor" 1:"or">

يتيح التعبير (‎?:…‎) إمكانية التجميع، لكن بدون التقاط. هذا يعني أنه يُجمّع التعابير التي يحتوي عليها في وحدة غير قابلة للتجزيئ (atom) دون إنشاء مؤشر إليها (backreference). هذا يفيد في تحسين الأداء، لكن على حساب إضرار طفيف بقابلية القراءة. في المثال أدناه، الزوج الأول من الأقواس يلتقط "n"، أما الثاني فيلتقط "ti". تتم الإشارة إلى المجموعة الثانية لاحقًا باستخدام المؤشر ‎\2:

/I(n)ves(ti)ga\2ons/.match("Investigations")
   #=> #<MatchData "Investigations" 1:"n" 2:"ti">

لقط أصبح الزوج الأول من الأقواس غير قابل للالتقاط بسبب استخدام ‎?:‎، لذلك سيتطابق مع "n"، ولكنه لن ينشئ مؤشرًا إليه. وبالتالي ، فالمؤشر ‎\1 يشير الآن إلى "ti".

/I(?:n)ves(ti)ga\1ons/.match("Investigations")
   #=> #<MatchData "Investigations" 1:"ti">

التجميع الذري (Atomic Grouping)

يمكن جعل التجميعات ذرية بواسطة التعبير (‎?>pat). هذا سيؤدي إلى مطابقة التعبير الجزئي (subexpression) بشكل مستقل عن بقية التعبير، بحيث أنّ ما يطابقه سيصبح ثابتًا لبقية المطابقة، ما لم يتم التخلي عن التعبير الجزئي بأكمله وإعادة النظر فيه لاحقًا. بهذه الطريقة، يعامل النمط pat باعتباره وحدة غير قابلة للتجزيئ (ذرة).

يتم استخدام التجميع الذري عادة لتحسين أداء الأنماط، وكذلك لمنع إنشاء مؤشرات (backtracking) بدون داعٍ.

يتطابق " في النمط أدناه مع الحرف الأول من السلسلة النصية، ثم يُطابق ‎.*‎ علامة التنصيص ". يؤدي هذا إلى فشل المطابقة الإجمالية، وهكذا فالنص المطابق للتعبير ‎.*‎ يُؤشّر إليه (backtracked) بموضع واحد، مما يجعل الحرف النهائي للسلسلة النصية متاحًا لمطابقة ":

/".*"/.match('"Quote"')     #=> #<MatchData "\"Quote\"">

إذا تم تجميع ‎.*‎ ذريًا، فسيرفض إنشاء مرجع للعلامة "، على الرغم من أنّ هذا سيعني أن المطابقة الإجمالية ستفشل

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

استدعاء التعابير الجزئية (Subexpression Calls)

تطابق الصياغة ‎\g<name>‎ التعبير الجزئي السابق المسمى name، والذي يمكن أن يكون اسم مجموعة أو رقم. هذا مُختلف عن التأشير في كونه يعيد معالجة المجموعة بدلًا من مجرد محاولة إعادة مطابقة نفس النص.

يتطابق النمط التالي مع الحرف ( ويُحيله إلى المجموعة paren، ويحاول استدعاء التعبير الجزئي للمجموعة paren مرة أخرى، لكنه يفشل، ثم يطابق الحرف ):

/\A(?<paren>\(\g<paren>*\))*\z/ =~ '()'
/\A(?<paren>\(\g<paren>*\))*\z/ =~ '(())' #=> 0
# ^1
#      ^2
#           ^3
#                 ^4
#      ^5
#           ^6
#                      ^7
#                       ^8
#                       ^9
#                           ^10

يطابق بداية السلسلة النصية، أي قبل الحرف الأول.
يدخل مجموعة التقاط مسماة (named capture group) تحمل الاسم paren
يطابق المحرف (، الحرف الأول في السلسلة النصية
يستدعي المجموعة paren مرة أخرى، أي يعاود الرجوع (recurses) مرة أخرى إلى الخطوة الثانية
يعيد الدخول إلى المجموعة paren
يطابق المحرف (، الحرف الثاني في السلسلة النصية
يحاول استدعاء paren للمرة الثالثة، ولكن يفشله، لأن ذلك من شأنه أن يمنع مطابقة ناجحة شاملة
يطابق المحرف )، أي الحرف الثالث في السلسلة النصية.
يحدد نهاية الاستدعاء العودي (recursive) الثاني
يطابق المحرف )، الحرف الرابع في السلسلة النصية
يطابق نهاية السلسلة النصية

البدائل (Alternation)

يجمع الحرف الخاص (|) بين تعبيرين في تعبير واحد، إذ يطابق أيًا من هذين التعبيرين. فكل تعبير هو بديل ممكن.

/\w(and|or)\w/.match("Feliformia") #=> #<MatchData "form" 1:"or">
/\w(and|or)\w/.match("furandi")    #=> #<MatchData "randi" 1:"and">
/\w(and|or)\w/.match("dissemblance") #=> nil

خاصيات الحروف (Character Properties)

تُطابق الصياغة ‎\p{}‎ الحروف ذات الخاصية المعطاة، وهي مشابهة لمجموعات أقواس POSIX.

/p{Alnum}‎\/ - حرف أبجدي أو رقمي
/p{Alpha}‎\/ - حرف أبجدي
/p{Blank}‎\/ - مسافة بيضاء أو علامة تبويب (tab)
/p{Cntrl}‎\/ - محرف تحكم (Control character)
/p{Digit}‎\/ - رقم
/p{Graph}‎\/ - حرف غير فارغ (يستثني المسافات البيضاء وأحرف التحكم وما شابه)
/p{Lower}‎\/ - حرف أبجدي صغير
/p{Print}\/ - مثل ‎\p{Graph}‎ ، ولكنه يتضمن المسافة البيضاء
/p{Punct}‎/ - علامة ترقيم
/p{Space}‎\/ - حرف مسافة بيضاء ([:blank:] أو سطر جديد أو حرف العودة إلى بداية السطر [carriage return]، ...إلخ)
/p{Upper}‎\/ - حرف أبجدي كبير
/p‎‎{XDigit}‎\/ - رقم من الأرقام المسموح بها في الأعداد السداسي عشرية (مثل 0-9a-fA-F)
/p{Word}‎\/ - عنصر من إحدى مجموعات اليونيكود العامة التالية Letter، Mark، Number، Connector_Punctuation
/p{ASCII}‎\/ - حرف من حروف ASCII.
/p{Any}‎\/ - أي حرف من حروف اليونيكود (بما في ذلك الأحرف غير المعينة [unassigned]).
/p{Assigned}‎\/ - حرف معين (assigned character).

يمكن أيضًا مطابقة حرف من مجموعة الترميز الموحد "الفئة العامة" (General Category) بالنمط ‎\p{Ab}‎ حيث Ab يمثل اختصار المجموعة كما هو موضح أدناه:

/\p{L}/ - 'Letter' - "حرف"

/\p{Ll}/ - 'Letter: Lowercase' - "حرف: صغير"

/\p{Lm}/ - 'Letter: Mark' - "حرف: علامة"

/\p{Lo}/ - 'Letter: Other' - "حرف: آخر"

/\p{Lt}/ - 'Letter: Titlecase' - "حرف: عنوان"

/\p{Lu}/ - 'Letter: Uppercase - "حرف: كبير"

/\p{Lo}/ - 'Letter: Other' - "حرف: آخر"

/\p{M}/ - 'Mark' - "علامة"

/\p{Mn}/ - 'Mark: Nonspacing' - "علامة: بدون مساحات بيضاء"

/\p{Mc}/ - 'Mark: Spacing Combining' - "علامة: تضمين المساحات البيضاء"

/\p{Me}/ - 'Mark: Enclosing' - "علامة: الإغلاق"

/\p{N}/ - 'Number' - "عدد"

/\p{Nd}/ - 'Number: Decimal Digit' - "عدد: رقم عشري"

/\p{Nl}/ - 'Number: Letter' - "عدد: حرف"

/\p{No}/ - 'Number: Other' - "عدد: آخر"

/\p{P}/ - 'Punctuation' - "علامة تنقيط"

/\p{Pc}/ - 'Punctuation: Connector' - "علامة تنقيط: واصلة"

/\p{Pd}/ - 'Punctuation: Dash' - "علامة تنقيط: شرطة"

/\p{Ps}/ - 'Punctuation: Open' - "علامة تنقيط: فتح"

/\p{Pe}/ - 'Punctuation: Close' - "علامة تنقيط: غلق"

/\p{Pi}/ - 'Punctuation: Initial Quote' - "علامة تنقيط: علامة تنصيص ابتدائية"

/\p{Pf}/ - 'Punctuation: Final Quote' - "علامة تنقيط: علامة تنصيص نهائية"

/\p{Po}/ - 'Punctuation: Other' - "علامة تنقيط: أخرى"

/\p{S}/ - 'Symbol' - "رمز"

/\p{Sm}/ - 'Symbol: Math' - "رمز: رياضيات"

/\p{Sc}/ - 'Symbol: Currency' - "رمز: عملة"

/\p{Sk}/ - 'Symbol: Modifier' - "رمز: معدل"

/\p{So}/ - 'Symbol: Other' - "رمز: آخر"

/\p{Z}/ - 'Separator' - "فاصل"

/\p{Zs}/ - 'Separator: Space' - "فاصل: مساحة بيضاء"

/\p{Zl}/ - 'Separator: Line' - "فاصل:سطر"

/\p{Zp}/ - 'Separator: Paragraph' - "فاصل: فقرة"

/\p{C}/ - 'Other' - "أخرى"

/\p{Cc}/ - 'Other: Control' - "أخرى: ضبط"

/\p{Cf}/ - 'Other: Format' - "أخرى: تنسيق"

/\p{Cn}/ - 'Other: Not Assigned' - "أخرى: غير معين"

/\p{Co}/ - 'Other: Private Use' - "أخرى: استخدام خاص"

/\p{Cs}/ - 'Other: Surrogate' - "أخرى: بديل"

في الأخير، تطابق ‎\p{}‎ محارف خطوط الكتابة في الترميز الموحد (Unicode). الخطوط التالية مدعومة:

Arabic, Armenian, Balinese, Bengali, Bopomofo, Braille, Buginese, Buhid, Canadian_Aboriginal, Carian, Cham, Cherokee, Common, Coptic, Cuneiform, Cypriot, Cyrillic, Deseret, Devanagari, Ethiopic, Georgian, Glagolitic, Gothic, Greek, Gujarati, Gurmukhi, Han, Hangul, Hanunoo, Hebrew, Hiragana, Inherited, Kannada, Katakana, Kayah_Li, Kharoshthi, Khmer, Lao, Latin, Lepcha, Limbu, Linear_B, Lycian, Lydian, Malayalam, Mongolian, Myanmar, New_Tai_Lue, Nko, Ogham, Ol_Chiki, Old_Italic, Old_Persian, Oriya, Osmanya, Phags_Pa, Phoenician, Rejang, Runic, Saurashtra, Shavian, Sinhala, Sundanese, Syloti_Nagri, Syriac, Tagalog, Tagbanwa, Tai_Le, Tamil, Telugu, Thaana, Thai, Tibetan, Tifinagh, Ugaritic, Vai, and Yi

المحرف U+06E9 في الترميز الموحد يُسمى "موضع سجدة" (ARABIC PLACE of SAJDAH)، وينتمي إلى الخط العربي:

/\p{Arabic}/.match("\u06E9") #=> #<MatchData "\u06E9">

يمكن عكس جميع خصائص الأحرف عن طريق إضافة البادئة (^) إلى أسمائها. الحرف "A" ليس مُتضمّنًا في مجموعة الترميز الموحد Ll [التي تعني (Letter; Lowercase)]، لذلك تنجح المطابقة التالية:

/\p{^Ll}/.match("A") #=> #<MatchData "A">

المراسي

المراسي (Anchors) هي حروف خاصة تُطابق مواضع معدومة الطول بين الأحرف، وتربط المطابقة بموضع معين.

^ - تطابق بداية السطر
$ - تطابق نهاية السطر
‎\A - تطابق بداية السلسلة النصية
‎\Z - تطابق نهاية السلسلة النصية. إذا انتهت السلسلة النصية بسطر جديد، فستُطابق الموضع الموجود قبل السطر الجديد مباشرة
‎\z - تطابق نهاية السلسلة النصية

G\ - تطابق أول موضع مطابقة: في توابع مثل String.gsub و String.scan، تتغير عند كل تكرار. أي تتطابق في البداية مع بداية الموضوع، وفي كل تكرار تطابق مكان انتهاء المطابقة الأخيرة

"    a b c".gsub(/ /, '_')    #=> "____a_b_c"
"    a b c".gsub(/\G /, '_')  #=> "____a b c"
‎

في التوابع التي تأخذ موضعًا (اختياريًا)، مثل Regexp.match و String.match، ستُطابق مكان بدء البحث.

"hello, world".match(/,/, 3)    #=> #<MatchData ",">
"hello, world".match(/\G,/, 3)  #=> nil

‎\b - تطابق مواضع حدود الكلمات (word boundaries) عندما تكون خارج الأقواس؛ وتطابق محرف التراجع (backspace وهو 0x08) عندما تكون داخل الأقواس
‎\B - تُطابق المواضع المخالفة لحدود الكلمات
(‎?=pat) - التوكيد الأمامي الإيجابي (Positive lookahead assertion): تتأكد من أنّ الأحرف التالية تتطابق مع pat، ولكن لا تتضمن تلك الأحرف في النص المُطابق
(‎?!pat) - التوكيد الأمامي السلبي (Negative lookahead assertion): تتأكد من أنّ الأحرف التالية لا تتطابق مع pat، ولكن لا تتضمن تلك الأحرف في النص المُطابق
(‎?<=pat) -التوكيد الخلفي الإيجابي (Positive lookbehind assertion): تتأكد من تطابق الأحرف السابقة مع pat، ولكنها لا تتضمّن تلك الأحرف في النص المُطابق
(‎?<!pat) - التوكيد الخلفي الإيجابي (Negative lookbehind assertion): تتأكد من أنّ الأحرف السابقة لا تتطابق مع pat، ولكنها لا تتضمن تلك الأحرف في النص المُطابق

إذا لم يتم وضع مرساة (anchor) للنمط، فيمكنه أن يبدأ من أي نقطة في السلسلة النصية:

/real/.match("surrealist") #=> #<MatchData "real">

إرساء (Anchoring) النمط عند بداية السلسلة النصية يفرض بدء المطابقة هناك. في المثال الآتي، لا تظهر "real" في بداية السلسلة النصية، لذلك تفشل المطابقة:

/\Areal/.match("surrealist") #=> nil

تفشل المطابقة أدناه لأنه على الرغم من أن "Demand" تحتوي "and" ، فإنّ النمط لا يظهر عند حدود ا (word boundary).

/\band/.match("Demand")

في حين أنّه في المثال التالي السلسلة النصية "and" تم إرساؤها عند المواضع المخالفة لحدود الكلمات (non-word boundary)، لذلك، فبدلًا من مطابقة "and" الأولى، ستتطابق مع الحرف الرابع من "demand":

/\Band.+/.match("Supply and demand curve") #=> #<MatchData "and curve">

يستخدم النمط التالي التوكيد الأمامي الإيجابي و التوكيد الخلفي الإيجابي لمطابقة النص الوارد في الوسوم (tags) دون تضمين الوسوم في المطابقة:

/(?<=<b>)\w+(?=<\/b>)/.match("Fortune favours the <b>bold</b>")
   #=> #<MatchData "bold">

الخيارات

يمكن أن يُعقب محدد النهاية للتعبير النمطي بحرف واحد أو أكثر يمثل الخيارات التي تتحكم في كيفية مطابقة النمط.

‎/pat/i - يتجاهل حالة الأحرف
‎/pat/m - تجعل . تطابق محرف السطر الجديد
‎/pat/x - تتجاهل المسافات البيضاء والتعليقات الموجودة في النمط
‎/pat/o - تنفّذ عملية التلقيم‎#{}‎ مرة واحدة فقط

يمكن أيضًا تطبيق الخيارات i و m و x على مستوى التعابير الجزئية (subexpression) عبر الصياغة (‎?on-off)، والتي تفعّل الخيارات on، وتعطّل الخيارات off في التعبير المحاط بالأقواس.

/a(?i:b)c/.match('aBc') #=> #<MatchData "aBc">
/a(?i:b)c/.match('abc') #=> #<MatchData "abc">
‎

كما يمكن استخدام الخيارات مع التابع new:

Regexp.new("abc", Regexp::IGNORECASE)                     #=> /abc/i
Regexp.new("abc", Regexp::MULTILINE)                      #=> /abc/m
Regexp.new("abc # Comment", Regexp::EXTENDED)             #=> /abc # Comment/x
Regexp.new("abc", Regexp::IGNORECASE | Regexp::MULTILINE) #=> /abc/mi

وضع التراص (Free-Spacing Mode) والتعليقات

كما ذُكر أعلاه، يتيح الخيار x وضع التراص (free-spacing mode). حيث يتم تجاهل محارف المسافاة البيضاء (Literal white space) داخل النمط، ويفتتح محرف الشباك (#، يدعى octothorpe) تعليقًا يستمر إلى نهاية السطر. يسمح هذا بتنظيم مكونات النمط بطريقة تجعله أكثر قابلة للقراءة.

في المثال التالي يطابق النمط عددًا ذا منازل عشرية اختيارية:

float_pat = /\A
   [[:digit:]]+ # 1 or more digits before the decimal point
   (\.          # Decimal point
       [[:digit:]]+ # 1 or more digits after the decimal point
   )? # The decimal point and following digits are optional
\Z/x
float_pat.match('3.14') #=> #<MatchData "3.14" 1:".14">

هناك عدة استراتيجيات لمطابقة المسافات البيضاء:

استخدام أنماط مثل ‎\s أو ‎\p{Space‎}‎.
استخدام مسافات بيضاء مهرَّبة (escaped whitespace) مثل " \"، أي مسافة مسبوقة بخط مائل عكسي.
استخدام مجموعة حروف مثل [ ].

يمكن تضمين التعليقات في نمط لا يعتمد الخيار ‏x‏ (non-x pattern) باستخدام الصياغة (‎?#comment)، حيث يكون التعليق عبارة عن نص اعتباطي يتم تجاهله من محرك التعبير النمطي.

لا يمكن أن تتضمن التعليقات المُتضمّنة في تعبير نمطي حرفي محرف إنهاء غير مهرَّب (unescaped terminator characters).

الترميز

يفترض أن تستخدم التعابير النمطية ترميز المصدر. يمكن تعديل هذا السلوك بأحد المُعدِّلات التالية.

‎/pat/u استعمال الترميز UTF-8
‎/pat/e استعمال الترميز EUC-JP
‎/pat/s استعمال الترميز Windows-31J
‎/pat/n استعمال الترميز ASCII-8BIT

يمكن مطابقة تعبير نمطي مع سلسلة نصية عندما يتشاركان في الترميز، أو إن كان ترميز التعبير النمطي هو US-ASCII، وترميز السلسلة النصية متوافق مع ASCII.

في حال محاولة المطابقة بين ترميزات غير متوافقة، فسيُطلق الاستثناء Encoding::CompatibilityError.

تتحقق الدالة المنطقية fixed_encoding?‎ مما إذا كان للتعبير النمطي ترميز ثابت، ومتوافق مع الترميز ASCII.

يمكن تثبيت ترميز التعبير النمطي بشكل صريح عبر تمرير الثابتة Regexp::FIXEDENCODING كوسيط ثانٍ للتابع new:

r = Regexp.new("a".force_encoding("iso-8859-1"),Regexp::FIXEDENCODING)
r =~ "a\u3042"
  # raises Encoding::CompatibilityError: incompatible encoding regexp match
  #         (ISO-8859-1 regexp with UTF-8 string)

متغيرات عامة مخصصة (Special global variables)

من المهم معرفة بعض المتغيرات العامة:

‎$~‎: تكافئ last_match
‎$&‎: تحتوي كامل النص المتطابق
‎ :$`‎تحتوي السلسلة النصية التي تسبق التطابق
‎$'‎: تحتوي السلسلة النصية التي تعقب التطابق
$1‎‎ و ‎$2 ...إلخ: تحتوي النص المُتطابق مع مجموعة الالتقاط الأولى، والثانية، ...إلخ.
‎$+‎ تحتوي آخر مجموعة مُلتقطة.

إليك المثال التالي:

m = /s(\w{2}).*(c)/.match('haystack') #=> #<MatchData "stac" 1:"ta" 2:"c">
$~                                    #=> #<MatchData "stac" 1:"ta" 2:"c">
Regexp.last_match                     #=> #<MatchData "stac" 1:"ta" 2:"c">
$&      #=> "stac"
       # same as m[0]
$`      #=> "hay"
       # same as m.pre_match
$'      #=> "k"
       # same as m.post_match
$1      #=> "ta"
       # same as m[1]
$2      #=> "c"
       # same as m[2]
$3      #=> nil
       # no third group in pattern
$+      #=> "c"
       # same as m[-1]
‎

هذه المتغيرات العامة هي متغيرات مخصصة للمهام الفرعية (thread-local)، ومخصصة للتوابع المحلية (method-local).

الأداء

يمكن أن تؤدي بعض التجميعات غير السليمة في الصياغة إلى أداء سيئ جدًا. انظر المثال التالي:

s = 'a' * 25 + 'd' + 'a' * 4 + 'c'
#=> "aaaaaaaaaaaaaaaaaaaaaaaaadaaaac"

تتم مطابقة الأنماط التالية على الفور كما هو متوقع:

/(b|a)/ =~ s #=> 0
/(b|a+)/ =~ s #=> 0
/(b|a+)*/ =~ s #=> 0

أما النمط التالي فيستغرق وقتًا أطول بشكل ملحوظ:

/(b|a+)*c/ =~ s #=> 26

يحدث هذا لأن الذرة (جزء من النمط لا يمكن تقسيمه) في التعبير النمطي مٌكمّمة (quantified) بواسطة كل من حرف + فوري متبوعة بحرف * بدون تحديد من منهما سيكون المتحكم في حرف معين. عدم الوضوح ينتج عنه أداء خطي فائق (super-linear performance). (راجع كتاب Mastering Regular Expressions، ص 222، للكاتب Jeffery Friedl لأجل تحليل أعمق). يمكن إصلاح هذه المشكلة عن طريق استخدام التجميع الذري (atomic grouping)، والذي يمنع التأشير غير الضروري:

(start = Time.now) && /(b|a+)*c/ =~ s && (Time.now - start)
  #=> 24.702736882
(start = Time.now) && /(?>b|a+)*c/ =~ s && (Time.now - start)
  #=> 0.000166571
‎

يوضح المثال التالي حالة مشابهة، والتي استغرق تنفيذها حوالي 60 ثانية عندي. مطابقة سلسلة نصية مكونة 29 حرف "a" مقابل نمط مؤلف من 29 حرف "a" اختياري يليه 29 إلزامي على النحو التالي:

Regexp.new('a?' * 29 + 'a' * 29) =~ 'a' * 29
‎

حروف "a" التسعة وعشرون الاختيارية تطابق السلسلة النصية، لكن هذا يمنع الحروف التسعة وعشرين الإلزامية الموالية من المطابقة. تتراجع روبي مرارًا وتكرارًا حتى تستوفي أكبر عدد ممكن من التطابقات الاختيارية دون التفريط في المطابقات التسعة وعشرين الإجبارية. من الواضح لنا أنه لا يمكن لأي من المطابقات الاختيارية أن تنجح، ولكن هذه الحقيقة ليست واضحة للأسف لروبي. أفضل طريقة لتحسين الأداء هي تقليل مقدار التراجع المطلوب إلى أقصى حد. في هذه الحالة، بدلًا من المطابقة الفردية للحروف 29 الاختيارية، يمكن مطابقة مجال اختياريً دفعة واحدة عبر التعبير {0،29}:

Regexp.new('a{0,29}' + 'a' * 29) =~ 'a' * 29