在 C 中如何將模板函數作為參數傳遞？

模板函數作為模板參數解釋

在 C 中，可以使用函數指標或模板來實現泛型程式設計。模板提供了效率，因為它們允許編譯器內聯函數，從而獲得更好的效能。

考慮一個場景，其中兩個函數 a 和 b 執行類似的操作，但略有不同。為了避免程式碼重複，可以使用範本定義通用函數：

<code class="c++">template<void (*param)(int)>
void function() {
    param(123);
    param(456);
}</code>

此範本採用函數指標作為參數，讓執行時間選擇要執行的特定函數。在這個範例中，function可以使用 a 或 b 作為參數進行呼叫。

有模板參數的模板函數

但是，當 a 和 b 本身是泛型函數時，就會出現限制。模板參數可以是類型、模板類型或值，其中沒有一個直接支援將模板函數作為參數傳遞。

為了克服這個挑戰，可以使用「模板模板參數」。然而，使用模板函數作為類型需要實例化，這使得它不切實際。解決方法涉及使用虛擬結構：

<code class="c++">struct a { static void foo () {}; };
struct b { static void foo () {}; };

template <template <typename P> class T>
void function ()
{
    T<SomeObj>::foo ();
    T<SomeOtherObj>::foo ();
}

int main ()
{
    function<a>();
    function<b>();
}</code>

在此範例中，a 和 b 被封裝為結構中的靜態成員函數。函數將模板結構體當作參數，本質上表示要呼叫的模板函數。透過傳遞這個結構體，可以針對不同類型執行特定的 foo 函數。

因此，這種方法允許定義可以接受模板函數作為參數的泛型函數，從而在 C 泛型中實現靈活且可重用的程式碼。

以上是在 C 中如何將模板函數作為參數傳遞？的詳細內容。更多資訊請關注PHP中文網其他相關文章！