Les macros récursives peuvent-elles être implémentées en C/C ?

Explorer les macros récursives en C/C : l'art de l'expansion

Les macros récursives peuvent-elles exister ?

Alors que les macros manquent capacités récursives inhérentes à C/C , il existe un chemin pour obtenir un comportement de type récursif. En utilisant une combinaison d'expressions différées et d'indirection, on peut créer des macros élaborées qui simulent la récursion.

Comment ça marche

Pour créer une macro récursive, nous devons adopter une approche multi -processus par étapes :

1. Obstruer l'auto-expansion :Empêcher l'arrêt de la macro son expansion en créant un contexte invalidant.
2. Indirection : Utiliser l'indirection pour différer l'expansion à une étape ultérieure.
3. Expansion : Appliquer plusieurs scans pour terminer le processus d'expansion.

Exemple : répétition récursive Macro

Voici une illustration d'une macro de répétition récursive :

#define REPEAT(count, macro, ...) \
    WHEN(count) \
    ( \
        OBSTRUCT(REPEAT_INDIRECT) () \
        ( \
            DEC(count), macro, __VA_ARGS__ \
        ) \
        OBSTRUCT(macro) \
        ( \
            DEC(count), __VA_ARGS__ \
        ) \
    )

Cette macro peut être invoquée comme ceci :

EVAL(REPEAT(8, M, ~)) // Outputs: 0 1 2 3 4 5 6 7

Exemple d'exécution Problème

Votre fourni code :

# define pr(n) ((n==1)? 1 : pr(n-1))
void main ()
{
    int a=5;
    cout<<"result: "<< pr(5) <<endl;
    getch();
}

ne s'exécute pas en raison d'un problème de macro récursive. La macro pr repose uniquement sur la récursivité, conduisant à une expansion infinie.

Solution

Pour résoudre ce problème, vous pouvez utiliser la version non récursive suivante de la macro :

#define fact(n) ((n == 1)? 1 : n * fact(n - 1))

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!