מוזילה עברה להשתמש במנוע ביטוי רגולרי נפוץ עם Chromium

מנוע JavaScript של SpiderMonkey בשימוש בפיירפוקס הועבר להשתמש ביישום מעודכן של ביטויים רגולריים המבוססים על הקוד הנוכחי Irregexp ממנוע V8 JavaScript המשמש בדפדפנים המבוססים על פרויקט Chromium. ההטמעה החדשה של RegExp תוצע ב-Firefox 78, המתוכננת ל-30 ביוני, ותביא לדפדפן את כל רכיבי ה-ECMAScript החסרים הקשורים לביטויים רגולריים.

יצוין כי מנוע ה-RegExp ב-SpiderMonkey מתוכנן כרכיב נפרד, מה שהופך אותו לבלתי תלוי יחסית ומתאים להחלפה ללא צורך בביצוע שינויים מהותיים בבסיס הקוד. מודולריות אפשרה בשנת 2014 להחליף את מנוע ה-YARR RegExp ששימש במקור בפיירפוקס במזלג של מנוע ה-Irregexp מ-V8. Irregexp קשור ל-V8 API, קשור לאספן האשפה ומשתמש בייצוג מחרוזת ומודל אובייקט ספציפיים ל-V8. בתהליך ההסתגלות לממשק ה-API הפנימי של SpiderMonkey ב-2014, מנוע ה-Irregexp נכתב מחדש באופן חלקי, ושינויים צצו, כגון דגל '\u', במידת האפשר הועבר לתוך מזלג שמתוחזק על ידי מוזילה.

למרבה הצער, שמירה על מזלג מסונכרן היא קשה ודורשת משאבים. עם הופעתן של תכונות חדשות הקשורות לביטויים רגולריים בתקן ECMAScript 2018, מפתחי Mozilla חשבו כיצד להקל על העברת שינויים מ-Irregexp. כמוצא, הוצע קונספט עטיפה, המאפשר שימוש במנוע Irregexp כמעט ללא שינוי ב-SpiderMonkey (השינויים מצטמצמים רק להחלפה אוטומטית של בלוקים "#include").

המסגרת מספקת ל-Irregexp את היכולות הספציפיות הדרושות ל-V8, לרבות פונקציות ניהול זיכרון ויצירת קוד, כמו גם מבני נתונים מקוריים המיושמים באמצעות מנועי ניהול זיכרון, מחוללי קוד ומבני SpiderMonkey.

עדכון מנוע ה-RegExp יאפשר ל-Firefox לתמוך בתכונות כמו לכידות עם שם, בריחת תווים של Unicode, דגל dotAll ומצב Lookbehind:

• קבוצות עם שם לאפשר לך לשייך חלקי מחרוזת המותאמים לביטוי רגולרי עם שמות ספציפיים במקום מספרים סידוריים של התאמות (לדוגמה, במקום "/(\d{4})-(\d{2})-(\d{ 2})/" אתה יכול לציין "/( ? \d{4})-(? \d{2})-(? \d{2})/" וגישה לשנה לא דרך result[1], אלא דרך result.groups.year).
• בריחה משיעורים תווי Unicode מוסיפים קונסטרוקציות \p{...} ו-\P{...}, לדוגמה, \p{Number} מגדיר את כל התווים האפשריים עם מספרים (כולל סימנים כמו ①), \p{Alphabetic} - אותיות (כולל הירוגליפים ), \p{מתמטיקה} - סמלים מתמטיים וכו'.
• דגל dotAll גורם לירי של מסכת "." כולל תווים להזנת שורה.
• משטר הסתכל אחורה מאפשר לקבוע בביטוי רגולרי שתבנית אחת קודמת לאחרת (לדוגמה, התאמת סכום דולר מבלי ללכוד את סימן הדולר).

הפרויקט בוצע בהשתתפות מפתחי V8, אשר מצדם פעלו להפחתת התלות של Irregexp ב-V8, והעבירו כמה פיצ'רים שלא ניתן ליישם באמצעות SpiderMonkey לבלוקים של "#ifdef" להשבית. שיתוף הפעולה התברר כמועיל הדדי. מפתחי מוזילה מצידם הגישו שינויים ב-Irregexp שמבטלים חלק חוסר עקביות עם הדרישות של תקן JavaScript ו משתפר איכות קוד. כמו כן, במהלך בדיקות מעורפלות של Firefox, זוהו ובוטלו שגיאות שלא הבחינו בעבר בקוד Irregexp שהובילו לקריסות.

מקור: OpenNet.ru