模板推導中的部分排序過程
當確定類型推導模板的部分排序時,C 標準採用了一個特定的過程,涉及轉換後的函數類型的比較。對於涉及的每個模板,透過將每個模板參數替換為唯一的虛構類型來轉換原始函數類型。然後,在推導過程中,將轉換後的函數類型用作參數模板,而另一個模板的原始函數類型將用作參數模板。
此比較是雙向進行的:
如果可以在一個方向上建立匹配,但不能在另一個方向上建立匹配,則確定一個模板比比其他專業。否則,這兩個模板都不會被認為更專業。
此過程有助於解決模板推導中的歧義,其中多個模板可能看起來同樣適用。透過比較轉換後的類型,編譯器可以確定哪個模板可以更精確地匹配傳遞的特定參數。
以上是C 如何確定模板推導中的偏序?的詳細內容。更多資訊請關注PHP中文網其他相關文章!