Comment parcourir une liste d'arguments de modèle variadique compressée

En C, itérer sur une liste d'arguments de modèle variadique compressée pose un défi en raison de l'incapacité de connaître le nombre d'arguments et d'en récupérer les données individuellement. Ce problème est encore aggravé par l'utilisation d'une macro dans la construction de la fonction, qui exclut les appels récursifs.

Pour résoudre ce problème, la solution fournie utilise un type personnalisé, any, qui peut contenir différents types de données. En passant ce type à un modèle variadique, les arguments sont développés en un vecteur de n'importe quel objet. Par la suite, les éléments individuels de ce vecteur peuvent être récupérés à l'aide de fonctions getter spécialisées (get()), permettant une itération sur les différents types de données.

Bien que cette méthode accomplisse la tâche, elle nécessite appels de fonction détaillés, tels que foo(arg(1000)). Pour simplifier cela, nous recherchons une méthode d'itération plus concise ou un équivalent de std::get() pour les listes d'arguments de modèles variadiques compressées.

Solution utilisant les expressions de pliage STL et Lambda

Pour C 17 et versions ultérieures, les expressions de pliage peuvent être utilisées avec une fonction lambda pour réaliser une itération. Le lambda peut effectuer des opérations arbitraires dans la boucle, notamment l'incrémentation d'un compteur et l'impression de l'argument actuel :

template 
void Foo (Ts && ... inputs)
{
    int i = 0;

    ([&]
    {
        // Do things in your "loop" lambda

          i;
        std::cout << "input " << i << " = " << inputs << std::endl;

    } (), ...);
}

Cette méthode fournit un mécanisme d'itération plus succinct et plus lisible.

Alternatives pour gérer les ruptures de boucle

Bien que la solution susmentionnée accomplisse la tâche, il n'a pas la capacité d'implémenter des pauses ou des retours dans la boucle. Pour résoudre ce problème, nous pouvons utiliser des solutions de contournement telles que :

• Utilisation de try/throw : Dans cette approche, nous pouvons lancer des exceptions dans le lambda pour sortir de la boucle. Cependant, cette méthode peut avoir un impact significatif sur les performances en raison de la surcharge des exceptions.
• Commutateurs variable/if : Cette approche implique la création d'une variable pour contrôler la boucle et l'utilisation d'instructions if pour sortir de la boucle. Bien qu'efficace, cela peut conduire à un code moins esthétique.