導航 TCPProposals：從錯誤處理到 Iterator.range

實習生的 SpiderMonkey 和 JavaScript 引擎增強之旅

第一次看到 Iterator.range 提案和其中的演算法時，我不確定我是否能夠破解它。作為 Outreachy 貢獻者，我和其他貢獻者將貢獻一個月，然後將選擇實習生來處理提案/規範。

前言

貢獻期的幾天后，我被分配了指定給 Outreachy 貢獻者的任務，但最重要的是，我被分配了 ErrorIsError TC39 提案。 

在 SpiderMonkey（Mozilla JavaScript 引擎）中實作 TC39 提案的第一步是為其新增首選項。
 
這允許在運行時啟用或停用該功能，這很重要，因為我們不想預設啟用某個功能，除非我們對其進行了足夠的測試以確信它不會給我們的用戶帶來問題。在本例中，我們建立一個首選項並將值設為 false。

如您所見，當使用 JavaScript 實作時，該提案非常簡單，並且是最初的實作。然而，程式碼審查回來了，最好將提案實作為原生 C 函數，這對我來說是一個學習過程，無論是原因還是使用 C 。

在這個過程中，我們遇到了一些有趣的挑戰，涉及 JavaScript 引擎中的跨隔間包裝器 (CCW) 和內部類型檢查。 

---

跨隔間包裝器和 ErrorObject 檢查的問題

處理 Error 物件時，IsErrorObject 函數會決定給定值是否是 ErrorObject 類型的實例。然而，當參數是來自另一個隔間的 ErrorObject 的跨隔間包裝器 (CCW) 時，就會出現關鍵的邊緣情況。 IsErrorObject 檢查不直接考慮 CCW，因為它們掩蓋了底層物件。

實作上下文： 在處理內部型別檢查的程式碼中，intrinsic_IsInstanceOfBuiltin 函式用於檢查物件是否屬於特定型別。雖然它在應用於 this 值時有效；假設它已經打開；它不處理可能仍由 CCW 包裝的參數。

建議的解決方案：專用的本機函數

為了解決這個問題，解決方案包括：
1.新增的本機函數： 建立專用本機函數來透明地處理 CCW：

• 開啟特定常規武器。
• 測試展開的物件是否屬於 ErrorObject 類型。
• 在一個內聚操作中驗證物件類型。

2。消除自架的複雜性：
透過將這個新函數實作為 JSNative，我們可以簡化流程，在單一本機函數中執行所有操作，而無需依賴自託管幫助程式。

為什麼要採用這種方法？

處理非物件情況：新函數整合了在繼續解包之前檢查該值是否為物件的功能。
簡化規範對齊：由於 CCW 是實作細節，而不是 TC39 JavaScript 規範的一部分，因此這些變更可確保行為與規範保持一致，同時避免差異。

---

上麵包含 45 行程式碼，不包括兩個測試檔案：一個用於 JIT（即時）編譯測試，另一個用於 Test262 測試/檔案。然而，透過這 45 行程式碼，我能夠：

• 了解預定義錯誤訊息在 Mozilla 程式碼庫中的位置以及如何使用它們。當我需要為 Iterator.range 定義錯誤訊息時，這被證明很方便。
• 了解夜間和夜間建造。
• 程式碼一致性：自訂我的程式碼以滿足 TC39 規範，並避免按照 Mozilla 標準對新添加的程式碼進行簡寫。

我目前正在做的事情：Iterator.range

在我的Outreachy 貢獻期間深入研究了跨隔室包裝器的複雜性並增強了ErrorObject 處理之後，我將注意力轉向了同樣令人興奮的事情：我的Mozilla Outreachy 實習的Iterator.range 提案。

對於那些不熟悉的人來說，Iterator.range 是 JavaScript TC39 提案的補充，旨在使迭代器更加通用。此方法引入了一種產生值範圍的有效方法，這在日常編程中特別有用，例如迭代數字序列或創建基於步驟的循環。
這個概念本身可能看起來很簡單；從起點到終點產生一系列值，但在 SpiderMonkey 中實現它被證明是一個巨大的挑戰。

與先前的 ErrorObject 工作不同，Iterator.range 需要深入了解 JavaScript 迭代器的內部運作方式以及 SpiderMonkey 如何在引擎層級整合這些功能。

當我開始研究 Iterator.range 時，與我為 ErrorIsError 提案所做的類似的初始實現 - 已經完成，即；添加對提案的首選項並使內置可在 JavaScript shell 中訪問。

Iterator.range 只是返回 false，這是一個存根，表明 Iterator.range 的實際實現正在開發中或尚未完全實現，這就是我進來的地方。

首先，我建立了一個 CreateNumericRangeIterator 函數，該函數委託給 Iterator.range 函數。接下來，我在 Iterator.range 函數中實作了前三個步驟。
接下來，我在 CreateNumericRangeIterator 函數中初始化了 NUMBER-RANGE 資料類型的變數和參數。

我專注於實作加一的序列，例如 Iterator.range(0, 10)。我還更新了 CreateNumericRangeIterator 函數，以使用適當的參數呼叫 IteratorRangeGenerator（它處理 Range Proposal 規範的步驟 18），與規範的步驟 19 保持一致，並添加了測試來驗證其功能。
本週，我正在探索如何正確設定 Iterator.range 返回的生成器的原型。 

我接下來幾週/幾個月的工作包括但不限於：

• 為 Iterator.range 傳回的生成器設定正確的原型。
• Iterator.range 支援 BigInt。
• 支援其他序列，因為我目前只介紹了加一的序列。
• 為上述內容添加足夠的測試。

您可能還喜歡：

解碼開源：我在外展之旅中學到的詞彙

想要進行自由軟體的遠距實習嗎？

以上是導航 TCPProposals：從錯誤處理到 Iterator.range的詳細內容。更多資訊請關注PHP中文網其他相關文章！