Funkcja akceptująca oba argumenty: lvalue i rvalue

Question

Czy istnieje sposób napisania funkcji w C++, która akceptuje zarówno argumenty lvalue, jak i rvalue, bez tworzenia szablonu?

Załóżmy na przykład, że napisałem funkcję print_stream, która czyta z istream i drukuje dane, które zostały odczytane na ekranie lub coś podobnego.

Myślę, że to rozsądne, aby zadzwonić print_stream takiego:

fstream file{"filename"}; 
print_stream(file); 

jak również tak:

print_stream(fstream{"filename"}); 

Ale jak mogę zadeklarować print_stream tak, że oba zastosowania działa?

Jeśli deklarują jako

void print_stream(istream& is); 

wówczas drugi zastosowanie nie będzie opracować ponieważ RValue nie będą wiązać się z const odniesieniu lwartości.

Jeśli deklarują jako

void print_stream(istream&& is); 

czym pierwsze użycie nie kompilacji ponieważ lwartością nie będą wiązać się z odniesieniem RValue.

Gdybym zadeklarować ją jako

void print_stream(const istream& is); 

następnie wdrożenie danej funkcji nie będzie kompilować, ponieważ nie można odczytać z const istream.

Nie mogę uczynić z funkcji szablonu i użyć "uniwersalnego odniesienia", ponieważ jego implementacja musi być osobno skompilowana.

mogę dostarczyć dwa przeciążeń:

void print_stream(istream& is); 
void print_stream(istream&& is); 

i mieć drugiego naboru w pierwszym, ale to wydaje się dużo niepotrzebnej boilerplate, i uważam, że to bardzo niefortunne, aby to zrobić za każdym razem kiedy napisz funkcję z taką semantyką jak ta.

Czy jest coś lepszego, co mogę zrobić?

Answer 1

Nie ma wiele z innego wyboru niż oferowanie dwóch przeciążeń lub sprawienie, że funkcja będzie szablonem, powiedziałabym.

Jeśli naprawdę, naprawdę potrzebują (brzydki) alternatywę, to chyba jedyna (szalony), co można zrobić, to mieć swoją funkcję zaakceptować const&, z warunkiem wstępnym mówiąc, że nie można przekazać obiekt typu const - kwalifikowany typ (nie chcesz tego mimo to wspierać). Funkcja mogłaby wtedy odrzucić odniesienie do pliku referencyjnego.

Ale ja osobiście napisać dwa przeciążeń i zdefiniować jeden, jeśli chodzi o innych, więc to zrobić duplikat deklaracji, ale nie definicję:

void foo(X& x) 
{ 
    // Here goes the stuff... 
} 

void foo(X&& x) { foo(x); } 

Answer 2

Inną alternatywą jest raczej brzydki, aby Funkcja A szablon i jawnie utworzyć obie wersje:

template<typename T> 
void print(T&&) { /* ... */ } 

template void print<istream&>(istream&); 
template void print<istream&&>(istream&&); 

Można to skompilować osobno. Kod klienta wymaga tylko deklaracji szablonu.

Osobiście po prostu trzymam się tego, co sugeruje Andy Prowl.