Co to jest referencja rwartości do typu funkcji?

Question

Niedawno zawarłem mój umysł wokół pojęć C++ 0x glvalue, xvalues ​​i prvalues, a także referencje rvalue. Jest jednak jedna rzecz, która wciąż mnie wymyka:

Co to jest "wartość odniesienia rubl do typu funkcji"? Jest dosłownie wspomniany wiele razy w wersjach. Dlaczego wprowadzono taką koncepcję? Jakie są tego zastosowania?

Answer 1

nienawidzę być okrągły, ale odniesienia RValue funkcjonować t ype jest referencją rwartości do typu funkcji. Istnieje coś takiego jak typ funkcji, np. void(). I możesz utworzyć odniesienie rwartości do niego.

Pod względem systemu klasyfikacji wprowadzonego przez N3055, jest to wartość x.

Jego zastosowania są rzadkie i niejasne, ale nie są bezużyteczne. Rozważmy na przykład:

void f() {} 
... 
auto x = std::ref(f); 

x ma typ:

std::reference_wrapper<void()> 

A jeśli spojrzeć na streszczeniu dla reference_wrapper obejmuje:

reference_wrapper(T&) noexcept; 
reference_wrapper(T&&) = delete; // do not bind to temporary objects 

W tym przykładzie T jest typem funkcja void() . Tak więc druga deklaracja tworzy wartość rinue dla typu funkcji, aby zapewnić, że reference_wrapper nie może zostać skonstruowany z argumentem rwartości. Nawet jeśli T jest const.

Jeśli nie było prawnym utworzenie wartości rwartej dla funkcji, ochrona ta spowodowałaby błąd czasu kompilacji, nawet jeśli nie przekazaliśmy do konstruktora wartości r.

Answer 2

W starym standard C++, co następuje jest zabronione:

int foo(); 
void bar(int& value); 

int main() 
{ 
    bar(foo()); 
} 

ponieważ typ powrót foo() jest RValue i przepuszcza się przez odniesienie do pręta().

to pozwolono choć z włączonymi w rozszerzeniach Microsoft Visual C++ od (chyba) 2005.

możliwe obejścia bez C++ 0x (lub MSVC) byłoby deklarujących

void bar(const int& value); 

lub przy użyciu temp regulowaną przechowywania zwrotnego wartość foo() i przechodzącej zmiennej (jako punkt odniesienia) do pręta():

int main() 
{ 
    int temp = foo(); 
    bar(temp); 
}