Проверяет ли тип проверки на возврат и когда он передан как аргумент

Question

Я и мой друг пытались выполнить две программы: сначала, где int &, а второй, где передается int &.

Программа 1:

#include<iostream> 
using namespace std; 
int& fun(int x) 
{ 
    static int y=x; 
    cout<<"Inside Fun()"<<y<<endl; 
    return y; 
} 
int main() 
{ 
    cout<<(fun(10)=30)<<endl; 
    cout<<fun(40)<<endl; 
    return 0; 
} 

работает как шарм ..

В то время как программа 2

#include<iostream> 
using namespace std; 
int& fun(int &x) 
{ 
    static int y=x; 
    cout<<"Inside Fun()"<<y<<endl; 
    return y; 
} 
int main() 
{ 
    cout<<(fun(10)=30)<<endl; 
    cout<<fun(40)<<endl; 
    return 0; 
} 

дает ошибку

return.cc: In function 'int main()': 
return.cc:11: error: invalid initialization of non-const reference of type 'int&' from a temporary of type 'int' 
return.cc:3: error: in passing argument 1 of 'int& fun(int&)' 
return.cc:12: error: invalid initialization of non-const reference of type 'int&' from a temporary of type 'int' 
return.cc:3: error: in passing argument 1 of 'int& fun(int&)' 

В первой программе, весело :: & x = 30 разрешено взамен. В то время как в Программе 2 int & x = 10 не допускается. Мое сомнение заключается в том, выполняется ли более строгая проверка типов в C++ для параметров функции по сравнению с типами возврата и почему & x = 10 недействителен в качестве параметра функции.

Answer 1

Вы не можете преобразовать 10 в int &, потому что это буквальное значение. Это не имеет никакого отношения к типу возврата, его фундаментальному недостатку в вашем понимании параметра. Вы можете сделать параметр a const int &, а затем это сработает.

Answer 2

У вас проблемы с возвратом int &, но с int & в вашем параметре. Тип ссылки int & является изменяемой ссылкой, когда вы пытаетесь передать литерал int, который, очевидно, не может быть мутирован.

Answer 3

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

Если вы хотите ссылку и привяжите ее к временному или буквальному значению, вам необходимо использовать ссылку на константу , то есть int const&.

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

Например:

int val = 10; 
int& ref = fun(val); 

В приведенном выше коде, переменная ref на самом деле ссылка на статической локальной переменной y внутри функции fun.

Answer 4

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

Передача по ссылке передаст фактический объект, и вам будет разрешено его мутировать. Поскольку вы передаете литерал (10), вы не можете его мутировать, поэтому вам необходимо передать ссылку const.