為什麼我們不能進行部分類別模板參數推導？

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

先前為類別模板引入模板參數推導的努力旨在使其行為與函數模板的行為保持一致。然而，P0091 提案的發布揭示了一個關鍵限制：部分類別模板參數推導仍然不可能。

考慮提供的範例，其中定義了類別模板測試。輔助函數 helper 簡化了測試物件的創建，如演示各種形式的參數推導的程式碼片段所示。

雖然程式碼在大多數情況下都能編譯，但在嘗試對類別模板進行部分推導時會出現困難。例如，以下程式碼的第 6 行無法編譯：

int buffer[5];

test b(buffer);      // Type deduced: FAILS.

出現這種情況是因為編譯器無法確定型別參數 T。如果沒有明確指定，編譯器希望同時推導所有模板參數。這帶來了挑戰，因為每個參數的推導過程都會影響其他參數的推導。

Botond Ballo 的報告強調了此限制背後的基本原理：

最初提出的功能包括部分推導的規定，您可以明確指定一些模板參數，並保留其餘部分進行推導，但這是因為擔心在某些情況下可能會非常混亂：

// Would have deduced tuple<int string float>,
// but tuple<int> is a well-formed type in and of itself!
tuple<int> t(42, "waldo", 2.0f);</int></int></int>

因此，雖然函數模板允許部分參數推導，但類別模板中部分推導引入的歧義導致了它的排除。

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