std :: forward od funkcji przekazywanej za pośrednictwem odwołania uniwersalnego?

Question

Rozważmy dwa następujące:

template <class Function> 
void apply(Function&& function) 
{ 
    std::forward<Function>(function)(); 
} 

i

template <class Function> 
void apply(Function&& function) 
{ 
    function(); 
} 

W co sprawa jest jakaś różnica i jakie konkretne różnica jest?

Answer 1

Istnieje różnica, czy Function ma kryteria ref. Dzięki std::forward propagowana jest kategoria wartości argumentu, bez niej kategoria wartości zostaje utracona, a funkcja będzie zawsze wywoływana jako l-wartość. Live Example.

#include <iostream> 

struct Fun { 
    void operator()() & { 
     std::cout << "L-Value\n"; 
    } 
    void operator()() && { 
     std::cout << "R-Value\n"; 
    } 
}; 

template <class Function> 
void apply(Function&& function) { 
    function(); 
} 

template <class Function> 
void apply_forward(Function&& function) { 
    std::forward<Function>(function)(); 
} 

int main() { 
    apply(Fun{});   // Prints "L-Value\n" 
    apply_forward(Fun{}); // Prints "R-Value\n" 
}