Pourquoi les variables non constantes ne peuvent-elles pas être utilisées comme arguments de modèle en C ?

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 :

<code class="cpp">template <int a>
void modify(){}</code>

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

<code class="cpp">for(int i = 0; i < 10; i++) {
    modify<i>();
}</code>

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 :

<code class="cpp">#include <iostream>

template<>
void modify<0>() { std::cout << "modify<0>" << std::endl; }

template<>
void modify<1>() { std::cout << "modify<1>" << std::endl; }

// ...

template<int i>
void modify() {
    std::cout << "modify<" << i << ">" << std::endl;
    modify<i+1>();
}

int main() {
    modify<0>();
}</code>

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é :

<code class="cpp">#include <tuple>

template <std::tuple<int...>>
struct TupleSize;

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

template <int N>
void callModify(int i) {
    if constexpr (i < N) {
        modify<i>();
        callModify<N>(i+1);
    }
}

int main() {
    int n = 10;
    callModify<TupleSize<std::make_tuple(1,2,3,4,5,6,7,8,9,10)>::value>(0);
}</code>

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.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!