Évaluation constante de l'argument du modèle

1. Pourquoi le compilateur ne peut-il pas évaluer « i » au moment de la compilation ?

L'évaluation au moment de la compilation nécessite que la valeur de « i » soit connue avant l'exécution du programme. Cependant, dans le code fourni, « i » est une variable de boucle qui change pendant l'exécution du programme. Le compilateur ne peut pas déterminer la valeur de « i » au moment de la compilation, car il s'agit d'une valeur attribuée dynamiquement.

2. Puis-je atteindre l'objectif sans modifier l'interface API ?

Oui, vous pouvez utiliser la spécialisation de modèle pour créer une fonction récursive qui parcourt la gamme d'arguments du modèle. Par exemple, vous pouvez créer une fonction :

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

Appel de 'modify' avec un argument non constant

Pour appeler 'modify' avec une valeur qui n'est pas une constante de compilation, vous pouvez utiliser un technique appelée méta-programmation de modèles. Une approche consiste à créer une classe de modèle qui prend un objet fonction comme argument et l'invoque avec la valeur souhaitée :

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

Vous pouvez ensuite transmettre une instance de InvokeWithParam comme argument de modèle à modifier :

int var = 5;
modify();

Cela invoquera la fonction de modification avec la valeur de var.