C 中轉發引用和右值引用共享相同語法的概念引起了開發人員的疑問。讓我們深入研究這個決定背後的基本原理,並詳細探討文法。
轉送引用(以 T&& 表示)和右值引用(也用 T&& 表示)不綁定到左值。但是,由相同語法表示的通用引用可以綁定到右值和左值。這種雙重行為可能看起來令人困惑,所以讓我們澄清一下底層機制。
通用引用,例如 T&&,能夠將 T 推導為「物件類型」或「引用類型」。當傳遞右值時,T 可以被推導為物件類型,從而產生 T&& 類型的函數參數。或者,當傳遞左值時,T 推導為引用類型,根據引用折疊規則有效折疊為 T&。
此行為與模板參數推導和引用折疊規則無縫集成,有一個小例外:現在可以將模板參數推導為引用類型。通用引用的語法與這種推導機制一致,允許跨模板和語言的其餘部分實現一致的類型系統。
C 委員會仔細考慮了替代語法,但最終決定不使用它們。考慮了諸如 T&&&&&&、T*&、T@ 和 T&42 之類的提案,但它們被認為是不必要的,並且可能更令人困惑。
通用引用的語法 T&& 確保與引用折疊規則的兼容性,提供語法上的處理對象類型和引用類型的一致方式。透過使用相同的語法來轉發引用和右值引用,語言保持了簡單性並最大限度地減少了混亂。
以上是為什麼 C 轉發引用和右值引用共享相同的語法?的詳細內容。更多資訊請關注PHP中文網其他相關文章!