[C] Macro per il fattoriale

[Smoke666]

Ciao a tutti, sto trovando molte difficoltà nella definizione di una macro per il calcolo del fattoriale. Non ho mai sviluppato macro "complesse", e non capisco come potrei fare per definirla. Sono partito da una definizione mediante funzione ricorsiva del problema, ovvero:

int fact(x){
    if(x == 1) return x;
   return x*(fact(x-1));
}

Quindi pensavo di definire la macro in questo modo, ovvero ricorsivamente:

#define fact(x) \
(x*(fact(x-1))

Tuttavia quando viene espansa, fact(x-1) non viene risolta (come definito nello standard ANSI) e non riesco a trovare una soluzione a questo problema. Non credo di poter usare un ciclo nella definizione, e quindi devo cercare di risolvere la macro in una forma simile a questa:

#define fact(x) ((x==0) ? x : x*(x-1))

In questo modo però moltiplico solo i primi due valori (ovvero x e x-1). Come devo procedere per espandere anche gli altri valori, fino a che non arrivo ad avere x=1 ?

[MItaly]

Devi necessariamente scriverla come macro?

[Smoke666]

E' un esercizio per l'esame di sistemi operativi e nel capitolo relativo al preprocessing viene richiesto espressamente la risoluzione con una macro Sono confuso proprio per questo motivo, non so come utilizzare delle macro ricorsive, e neppure i manuali che ho consultato trattano questo argomento..

[Scara95]

Forse puoi fare qualcosa con l'operatore , (comma operator)...

[Smoke666]

Mmm ok grazie per il suggerimento, andrò a documentarmi!

[MItaly]

La questione non è banale... di base (come intento) le macro C non supportano la ricorsione, tant'è che, se nell'espansione di una macro compare nuovamente il suo nome, questo non viene ulteriormente espanso (viene "temporaneamente #undef-inito" per la durata dell'espansione della macro corrente). Leggi ad esempio qui.

Si può barare, ma sono tecniche estremamente bizzarre - trasforma la ricorsione del fattoriale in una tail recursion, che riesce a gestire con il preprocessore sfruttando magie che non ho ben capito.

[Smoke666]

Ti ringrazio per i due link, devo ammettere che non ho capito molto Comunque ti ringrazio, ci lavorerò su!

[Smoke666]

Lo scrivo sperando che possa essere d'aiuto a qualcun altro. La questione era più semplice di quanto non pensassi, ho risolto utilizzando questa semplice macro:

#define FACT(X) int k=X, i; for(i=1; i<X;i++) {k *= i;} printf("%d\n", k);

[c0der]

Non mi pare proprio che risolva, da come avevi impostato il post sembrava che volessi poter fare:
int n = FACT(100);
cosa che la "soluzione" proposta certo non risolve.
Ciao

[Smoke666]

Lo so, ma ho adottato questa soluzione "alternativa" considerando che una macro non è necessario che si comporti come una funzione. Non avendo una spiegazione più dettagliata del problema (la traccia dice solo: scrivere una macro per il calcolo del fattoriale) ho ripiegato su questa soluzione.