預設模板參數:為什麼僅限於類別模板?
儘管預設模板參數提供了便利,但奇怪的是它們僅限於類別模板,讓程式設計師想知道為什麼它們不能應用於成員函數模板。
函數模板中預設模板參數的參數
考慮帶有成員的my_class 的範例函數模板:
<code class="cpp">struct my_class { template<class T = int> void mymember(T* vec) { // ... } };</code>
直觀上,在成員函數模板中為T 指定預設類型是有意義的。然而,C 強制限制預設模板參數只能用於類別模板。
限制背後的原因
此限制源自於歷史原因,當時獨立函數是被認為不如成員函數。透過強制從函數參數推斷所有模板參數,它確保了一致的處理。
函數範本中預設範本參數的未來
C 0x 認識到了局限性現有的限制。為函數模板包含預設模板參數增強了編碼靈活性,並與 STL 程式設計風格保持一致。
根據此更改的支持者 Bjarne Stroustrup 的說法,禁止函數模板使用預設模板參數是「一個錯誤的做法」剩。 」他認為,它不必要地將獨立函數與成員函數區分開來,這使得保持程式碼的一致性變得具有挑戰性。
函數模板中預設模板參數的好處
引入將預設模板參數放入函數模板中可以提供更簡化和直觀的編碼體驗。 ,可以使用或不使用明確比較器來呼叫排序函數,從而簡化語法並提高程式碼可讀性。
以上是為什麼預設模板參數僅限於 C 中的類別模板?的詳細內容。更多資訊請關注PHP中文網其他相關文章!