Функция, которая принимает как аргументы lvalue, так и rvalue

Question

Есть ли способ написать функцию в C++, которая принимает как аргументы lvalue, так и rvalue, не делая ее шаблоном?

Например, предположим, что я пишу функцию print_stream, которая читает с istream и печатает данные, которые были прочитаны на экране, или что-то в этом роде.

Я думаю, что это разумно назвать print_stream так:

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

, а также, как это:

print_stream(fstream{"filename"}); 

Но как же я заявляю print_stream так, что оба использует работу?

Если я объявить его как

void print_stream(istream& is); 

то второе использование не будет компилировать, потому что Rvalue не будет связываться с неконстантной ссылкой-значения.

Если я объявить его как

void print_stream(istream&& is); 

то первое использование не будет компилировать, потому что именующий не будет связываться с ссылкой RValue.

Если я объявляю его как

void print_stream(const istream& is); 

тогда реализация функция не будет компилироваться, так как вы не можете прочитать из const istream.

Я не могу сделать функцию шаблоном и использовать «универсальную ссылку», потому что ее реализация должна быть отдельно скомпилирована.

Я мог бы привести две перегрузки:

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

и есть второй называют первым, но это, кажется, как много ненужной шаблонного, и я бы очень жаль, придется делать это каждый раз, когда я напишите функцию с такой семантикой.

Есть ли что-то лучшее, что я могу сделать?

Answer 1

Существует не так много из sane выбор, кроме предложения двух перегрузок или создания вашей функции шаблона, я бы сказал.

Если вы действительно, действительно нужен (безобразно) альтернативу, то я думаю, единственный (безумный), что вы можете сделать, это есть ваша функция принимать const&, с условием о том, что вы не можете передать объект const -qualified типа к нему (вы все равно не хотите его поддерживать). Затем функции будет разрешено отбрасывать значение const.

Но я бы лично написать две перегруженные и определить один в терминах других, так что вы продублировать заявление, но не определение:

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

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

Answer 2

Другой довольно уродливой альтернативой сделать функцию а шаблон и явно создавать экземпляры обеих версий:

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

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

Это может быть скомпилировано отдельно. Клиентскому коду требуется только объявление шаблона.

Я бы лично придерживался того, что предлагает Энди Проул.