Pourquoi une variable non constante ne peut-elle pas être transmise comme argument de modèle ?

En C , les arguments de modèle doivent être des expressions constantes. Cela signifie que leurs valeurs doivent être connues au moment de la compilation. Le compilateur ne peut pas évaluer une variable non constante dans ce contexte.

Considérez le code :

template 
void modify(){}

Pour passer une variable non constante comme argument du modèle, nous pourrions écrire :

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

Cependant, cela déclenche une erreur car le compilateur ne peut pas déterminer la valeur de i au moment de la compilation. Le corps de la boucle peut s'exécuter plusieurs fois, modifiant la valeur de i.

Atteindre l'objectif sans modifier l'API

Au lieu de transmettre directement une variable non constante, nous pouvons utiliser la spécialisation de modèle pour implémenter un appel itératif :

#include 

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

int main() {
    modify();
}

Appeler Modify avec une valeur dynamique

Pour appeler Modify avec une valeur qui n'est pas connue au moment de la compilation, nous pouvons utiliser une technique appelée métaprogrammation de modèles. Voici un exemple simplifié :

#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);
}

Dans cet exemple, callModify prend un paramètre N qui est la taille d'un tuple contenant la plage de valeurs souhaitée pour i. La fonction utilise un métaprogramme récursif pour générer les appels à modifier jusqu'à la taille N spécifiée.