為什麼預設模板參數僅限於 C 中的類別模板？

為什麼預設模板參數僅限於類別模板

在 C 中，預設模板參數僅允許在類別模板上使用，而不允許在函數模板上使用。這個限制可能看起來令人驚訝，但背後有幾個原因。

類別範本的預設範本參數

預設範本參數允許類別範本為某些參數提供預設值。當模板的大多數實例的預設值不太可能更改時，這會很有用。例如，排序演算法的類別模板可以為排序中使用的比較函數提供預設模板參數。

函數模板的限制

但是，函數不允許使用預設模板參數模板，因為它們會帶來歧義。考慮以下假設範例：

在此範例中，不清楚 T 是 mymember 函數還是 my_class 範本本身的預設類型。這種歧義可能會導致程式碼中出現微妙的錯誤。

C 11 的出現

在 C 11 之前，禁止函數模板使用預設模板參數是一個重大限制。然而，C 11 引入了一個稱為「類型別名」的新功能，它允許我們為類型定義別名。這為函數模板缺少預設模板參數提供了一種解決方法。例如，上面的範例可以重寫如下：

雖然類型別名不如預設範本參數方便，但它們提供了類似的功能，並允許我們克服當前C 標準的限制.

Bjarne Stroustrup 的觀點

在一份缺陷報告中，C 的原始設計者Bjarne Stroustrup 表達了他對禁止函數模板使用預設模板參數的看法：

禁止函數模板使用預設模板參數是獨立函數被視為二等公民並要求所有模板參數從函數參數推導而不是指定的時代的錯誤遺留。

以上是為什麼預設模板參數僅限於 C 中的類別模板？的詳細內容。更多資訊請關注PHP中文網其他相關文章！