テンプレート引数定数の評価

１．コンパイラがコンパイル時に 'i' を評価できないのはなぜですか?

コンパイル時の評価では、プログラムの実行前に 'i' の値がわかっている必要があります。ただし、提供されたコードでは、「i」はプログラムの実行中に変更されるループ変数です。 'i' は動的に割り当てられる値であるため、コンパイラはコンパイル時に 'i' の値を決定できません。

2。 API インターフェイスを変更せずに目的を達成できますか?

はい、テンプレートの特殊化を使用して、テンプレート引数の範囲を反復処理する再帰関数を作成できます。たとえば、関数:

template
void modify_recursive() {
    // Call modify with template argument 'i'
    modify();
    
    // Recursively call modify_recursive with the next template argument
    if (i ();
    }
}

定数以外の引数を使用して 'modify' を呼び出す

コンパイル時定数ではない値を使用して 'modify' を呼び出すには、テンプレートメタプログラミングと呼ばれる手法。 1 つのアプローチは、関数オブジェクトを引数として受け取り、それを目的の値で呼び出すテンプレート クラスを作成することです。

template
struct InvokeWithParam {
    InvokeWithParam(F f, int param) : f(f), param(param) {}
    
    void operator()() { f(param); }
    
    F f;
    int param;
};

次に、InvokeWithParam のインスタンスをテンプレート引数として渡して変更します。

int var = 5;
modify();

これは、var.