為什麼部分類別模板參數推導不可能？

類別模板的模板參數推導：限制和意義

在P0091 提案統一函數和模板參數推導行為之後類模板，出現一個傳導行為問題：為什麼部分類別模板參數推導不正確可能嗎？

最初的提案旨在調整扣除機制，允許在兩種情況下進行部分扣除。然而，當推導的值產生多個有效的模板特化時，人們擔心可能會出現混淆。一個經典的例子是元組類型的推導：僅指定一個參數，編譯器可以推斷具有單一元素的元組，即使原始元組定義包含多個元素。

為了防止這種歧義，部分類別模板參數推導已從提案中刪除。此限制會影響開發人員可能想要明確指定某些模板參數而讓其他模板參數被推導的場景。

例如，考慮以下類別模板：

輔助函數充當用於實例化測試對象的語法糖：

當使用帶有預先聲明的幫助器時array:

在類別模板的情況下不支援部分推導，auto b = helper(buffer); 的失敗證明了這一點。編譯器無法從參數推斷出 T 參數，進而導致編譯錯誤。相反，auto c = helper(buffer);成功推導了 S 和 T，證明了明確指定所有模板參數的必要性。

以上是為什麼部分類別模板參數推導不可能？的詳細內容。更多資訊請關注PHP中文網其他相關文章！