模板特化

模板特化是C++中的一個概念，用於在特定情況下為模板提供特定的實現版本。這可以在模板無法以通用方式處理所有類型時使用。模板特化分為函式模板特化和類模板特化。

函式模板特化：當函式模板不能在所有類型實例下正常工作時，可以定義類型參數在實例化為特定類型時的函式模板的特定實現版本。例如，對於`Max`函式模板，當T為`const char*`時，可以特化為使用`strcmp`函式來比較字元串的大小。

類模板特化：對於類模板，可能需要對特定類型進行特殊處理，例如，針對`bool`類型的`stack`類模板，因為`bool`類型只需要一個二進制位來存儲，而使用一個字或一個位元組都是浪費存儲空間。

模板特化的原因是因為某些情況下，通用模板的定義對特定類型不合適，可能會導致編譯失敗或得不到正確的結果。因此，當不希望使用模板版本時，可以定義類或函式模板的一個特例化版。

特化分為全特化和偏特化：

全特化：模板中的模板參數全部特例化，定義了一個全新的類型。

偏特化：模板中的模板參數只確定了一部分，剩餘部分需要在編譯器編譯時確定。

模板的特化在編譯時確定使用哪個版本，這被稱為編譯器多態或靜態多態。這種技術在編寫基礎庫時非常有用，因為它允許在編譯時找到最適合特定特性的實現。