定数以外の変数をテンプレート引数として渡すことができないのはなぜですか?

C では、テンプレート引数は定数式である必要があります。これは、それらの値がコンパイル時に既知である必要があることを意味します。コンパイラは、このコンテキストでは非定数変数を評価できません。

次のコードを検討してください:

template 
void modify(){}

定数以外の変数をテンプレート引数として渡すには、次のように記述します:

for(int i = 0; i ();
}

ただし、コンパイラはコンパイル時に i の値を決定できないため、エラーが発生します。ループ本体は複数回実行され、i の値を変更する可能性があります。

API を変更せずに目的を達成する

非定数変数を直接渡す代わりに、テンプレートの特殊化を使用して実装できます。反復呼び出し:

#include 

template
void modify() { std::cout " 
void modify() { std::cout " 
void modify() {
    std::cout " ();
}

int main() {
    modify();
}

動的値を使用した Modify の呼び出し

コンパイル時に不明な値を使用して Modify を呼び出すには、テンプレート メタプログラミングと呼ばれる手法を使用できます。簡略化した例を次に示します:

#include 

template <:tuple>>
struct TupleSize;

template 
struct TupleSize<:tuple>> {
    static const int value = sizeof...(Args);
};

template 
void callModify(int i) {
    if constexpr (i ();
        callModify(i 1);
    }
}

int main() {
    int n = 10;
    callModify::value>(0);
}

この例では、callModify は、i に必要な値の範囲を含むタプルのサイズであるパラメーター N を受け取ります。この関数は再帰的メタプログラムを使用して、指定されたサイズ N まで変更する呼び出しを生成します。