Dati di stato nei membri del functor vs funzione globale

Question

Quando si confrontano funzioni e funtori, viene spesso menzionato che un vantaggio di un funtore su una funzione è che un funtore è di stato.

Tuttavia, in questo codice, mi sembra che una funzione possa essere anche statica. Quindi cosa sto facendo/capendo male?

struct Accumulator 
{ 
    int counter = 0; 
    int operator()(int i) 
    { 
    counter += i; 
    return counter; 
    } 
}; 

int Accumulate(int i) 
{ 
    static int counter = 0; 
    counter += i; 

    return counter; 
}; 

int main() 
{ 
    Accumulator acc; 
    std::vector<int> vec{1,2,3,4}; 
    Accumulator acc2 = std::for_each(vec.begin(), vec.end(), acc); 
    int d1 = acc(0); // 0, acc is passed by value 
    int d2 = acc2(0); // 10 

    std::for_each(vec.begin(), vec.end(), Accumulate); 
    int d4 = Accumulate(0); // 10 

    return 0; 
} 

Answer 1

Ogni istanza di un funtore ha il proprio stato, mentre il membro statico di una funzione viene condiviso.

Se si chiamava for_each più volte con il metodo Accumula(), il contatore non si reimpostava mai e ogni chiamata successiva iniziava dove terminava la chiamata precedente. Il functor avrebbe questo comportamento solo se ogni istanza fosse riutilizzata. La creazione di un nuovo functor risolverebbe il problema.

Answer 2

Hai usato una variabile locale static per memorizzare lo stato, ma c'è solo una copia dello stato non importa quante volte si usa Accumulate. E come sottolinea chris, l'inizializzazione viene eseguita sempre una volta sola.

Con il functor, ogni nuova istanza di functor creata ha il proprio stato indipendente, inizializzato durante la creazione dell'istanza.

Anche se è stato fornito un meccanismo di ripristino per lo stato della versione della funzione (ad esempio, spostando la variabile in uno spazio dei nomi di supporto in cui una seconda funzione può modificarlo), si ha ancora un solo accumulatore alla volta.

Con i funtori, non si hanno problemi a sviluppare una regola come "i numeri primi vengono accumulati qui, anche i compositi lì ei compositi dispari in un terzo" che utilizza tre accumulatori alla volta.