Я пробовал следующий код:
#include<iostream>
#include<string>
using namespace std;
string f1(string s)
{
return s="f1 called";
}
void f2(string *s)
{
cout<<*s<<endl;
}
int main()
{
string str;
f2(&f1(str));
}
Но этот код не компилируется.
Что я думаю: f1 возвращается по значению, поэтому он создает временные, из которых я беру адрес и передаю на f2.
Теперь, пожалуйста, объясните мне, где я ошибаюсь?
Унарный & принимает lvalue (или имя функции). Функция f1() не возвращает lvalue, она возвращает rvalue (для функции, которая что-то возвращает, если она не возвращает ссылку, ее возвращаемое значение - rvalue), поэтому к ней нельзя применить унарный &.
=, вы фактически вызываете функцию-член строкового объекта. Вам разрешено использовать члены rvalues.
- person avakar; 06.06.2010
f1(), существует до конца полного выражения, в котором оно создано; это означает, что его время жизни эффективно с момента, когда f1() вернет его, до момента, когда f2() вернет. Итак, я бы подумал, что перегруженный унарный & позволит вам получить указатель на временный объект (хотя думать об этом несколько пугающе и ужасно).
- person James McNellis; 07.06.2010
Можно создать (и передать) указатель на временный объект, если вы знаете, что делаете. Однако делать это нужно иначе.
Функция с возвращаемым значением не ссылочного типа возвращает rvalue. В C ++ применение встроенного унарного оператора & к rvalue запрещено. Требуется lvalue.
Это означает, что если вы хотите получить указатель на свой временный объект, вы должны сделать это каким-то другим способом. Например, в виде двухстрочной последовательности
const string &r = f1(str);
f2(&r);
которые также можно сложить в одну линию с помощью гипса
f2(&(const string &) f1(str));
В обоих случаях, описанных выше, функция f2 должна принимать параметр const string *. Просто string *, как в вашем случае, не будет работать, если вы не откажетесь от константности из аргумента (что, кстати, сделает все это еще более уродливым, чем оно есть). Хотя, если мне не изменяет память, в обоих случаях нет гарантии, что ссылка будет прикреплена к временному оригиналу, а не к копии.
Просто имейте в виду, что создание указателей на временные объекты - довольно сомнительная практика, потому что очевидные проблемы с временем жизни. Обычно вам следует избегать этого.
Ваша программа не компилируется, потому что f1 имеет параметр, а вы его не передаете.
Кроме того, значение, возвращаемое функцией, является rvalue, вы не можете получить его адрес.
int вместо string, это может быть более очевидным - возвращаемое значение не обязательно должно иметь соответствующую ячейку памяти.
- person avakar; 06.06.2010
Попробуй это:
int main()
{
string str;
string str2 = f1(str); // copy the temporary
f2(&str2);
}
const ссылке, время жизни rvalue будет продлено до конца времени жизни ссылки. Итак, const std::string& str2=f1(str); - это то, что вы хотите.
- person sbi; 07.06.2010
const ссылки неясны, вам нужно наверстать упущенное. :)
- person sbi; 05.07.2017
