Come funzionano reference_wrapper e std :: ref?

Question

Sto cercando di capire come funziona std :: ref.

#include <functional> 
#include <iostream> 

template <class C> 
void func(C c){ 
    c += 1; 
} 

int main(){ 
    int x{3}; 
    std::cout << x << std::endl; 
    func(x); 
    std::cout << x << std::endl; 
    func(std::ref(x)); 
    std::cout << x << std::endl; 
} 

Output : 3 3 4 

Nel codice di cui sopra, penso che il parametro di template C per la terza chiamata di funzione viene istanziato come std::reference_wrapper<int>. Durante la lettura di the reference, ho notato che non c'è l'operatore += in std::reference_wrapper<int>. Quindi, come è valido c += 1;?

Answer 1

come è valido c += 1;?

Perché reference_wrapper<int> è implicitamente convertibile in int& attraverso il suo operatore di conversione; e le conversioni implicite sono considerate per gli operandi se non esiste un sovraccarico adatto per il tipo di operando stesso.

Answer 2

std::reference_wrapper<T> ha un conversion operator a T&. Ciò significa che std :: reference_wrapper può essere convertito implicitamente in int& nell'esempio.