| RFC-0019：使用進化 = uint64; | |
|---|---|
| 狀態 | 已接受 |
| 區域 |
|
| 說明 | 新增機制，為原始類型提供更描述性的名稱。移除語言內建功能的狀態。新增 zx 程式庫，以納入 |
| 作者 | |
| 提交日期 (年/月) | 2018-07-17 |
| 審查日期 (年/月) | 2018-08-03 |
摘要
新增機制，為原始類型提供更描述性的名稱。移除語言內建功能的狀態。推出 zx 程式庫，以納入 <zircon/types.h> 的原始類型。
與其他 RFC 的關係
這個 RFC 已由以下因素取代：
提振精神
開發人員通常會希望為原始類型指派更明確的名稱。舉例來說，status 是比較容易理解的 int32 名稱，但 status 內建於語言中，其他類型無法以相同方式使用。
設計
本提案只會影響 FIDL 來源語言。
- 擴充
using關鍵字，以便為原始類型指派描述性名稱。具體而言，請將下列實際工作環境新增至 FIDL 文法：
using-list = ( using | using-declaration )* ;
using-declaration = "using" , IDENTIFIER , "=" , primitive-type , ";" ;
從語言中移除
status原始類型。現在可以使用語言本身 (而非內建功能) 定義status原始類型。移除
status保留字詞。現在我們不再需要保留status這個字詞，現在可以用語言定義名稱了。新增zx程式庫，其中包含 Zircon 系統介面定義的原始類型宣告。在理想情況下，這個程式庫將由包含此資訊的未來 syscalls.abigen 產生。例如：
library zx;
using status = int32;
using time = uint64;
using duration = uint64;
[...]
請注意，這些宣告必須顯示在使用清單中，且必須直接參照原始類型。這種做法可避免編譯器發生複雜度，因為其使用行為可立即轉譯為基礎原始類型。
此外，請注意，系統並未提議變更任何指定語言的程式碼。這些類型會使用基礎原始類型以目標語言表示。
說明文件與範例
使用範例
1: AdvanceTime(zx.duration duration) -> (zx.status status);
回溯相容性
這項變更會移除 status 原始類型，因此對於 FIDL 來源語言不具回溯相容性。不過，遷移 status 的現有用戶端相當複雜，因為只需改用 zx.status。
效能
提議的變更不會影響成效。
安全性
提議的變更不會對安全性造成任何影響。
測試
系統會新增 FIDL 檔案 (使用 zx 程式庫中的每個類型)，在 Zircon 的 fidl-test 套件中測試這項功能。
缺點、替代方案和未知
本提案可直接在 FIDL 前端實作，且無須變更語言專屬後端。
替代方法是未解決問題，並繼續使用原始類型。
先前的圖片和參考資料
在程式設計語言中，此功能非常常見。語法直接從 C++ 借用。