當編譯時參數未知時，如何實現模板參數的持續求值？

模板參數常數求值

1.為什麼編譯器無法在編譯時計算「i」？

編譯時計算要求在程式執行前就知道「i」的值。但是，在提供的程式碼中，「i」是一個循環變量，在程式執行期間​​會發生變化。編譯器無法在編譯時確定“i”的值，因為它是動態分配的值。

2.我可以在不修改 API 介面的情況下實現目標嗎？

是的，您可以使用模板專門化來建立一個遞歸函數，迭代模板參數的範圍。例如，您可以建立一個函數：

<code class="cpp">template<int i>
void modify_recursive() {
    // Call modify with template argument 'i'
    modify<i>();
    
    // Recursively call modify_recursive with the next template argument
    if (i < 10) {
        modify_recursive<i + 1>();
    }
}</code>

使用非常量參數呼叫「modify」

使用以下值呼叫「modify」不是編譯時常數，您可以使用稱為模板元編程的技術。一種方法是建立一個模板類，該模板類將函數物件作為參數並使用所需的值來呼叫它：

<code class="cpp">template<typename F>
struct InvokeWithParam {
    InvokeWithParam(F f, int param) : f(f), param(param) {}
    
    void operator()() { f(param); }
    
    F f;
    int param;
};</code>

然後您可以傳遞InvokeWithParam 的實例作為模板參數進行修改：

<code class="cpp">int var = 5;
modify<InvokeWithParam{modify, var}>();</code>

這將使用var 的值來呼叫修改函數。

以上是當編譯時參數未知時，如何實現模板參數的持續求值？的詳細內容。更多資訊請關注PHP中文網其他相關文章！