开发者

c++ return reference / stack memory [duplicate]

开发者 https://www.devze.com 2023-01-07 00:56 出处:网络
This question already has answers here: Can a local variable's memory be accessed outside its scope?
This question already has answers here: Can a local variable's memory be accessed outside its scope? (20 answers) Closed 9 years ago.

A basic question that I'm not sure of the answer. Is the follow function valid?

std::vector<int> & test_function() {
   std::vector<int> x;

   //开发者_开发百科 do whatever

   return x;
}

If so, why? Shouldn't the program delete x from the stack after the function returns? Thanks.


The behavior is undefined. You shouldn't return references to local variables.


The function is well-formed (syntactically correct), but as soon as the function returns, the returned reference is invalid and cannot be used.

To clarify: the code in question does not invoke any undefined behavior. You can safely call this function so long as you do not use the return value, e.g., this is valid:

test_function(); // ok

However, if you try to use the return value (i.e., initialize another reference with it or copy the referent into another object) then you will invoke undefined behavior because the lifetime of the referent (the object x) will have ended (x will be destroyed when the function returns because it is an automatic variable):

std::vector<int>& vec = test_function(); // undefined
std::vector<int> vec = test_function();  // undefined


Yes it's valid, but if you attempt to use the returned value, you'll get undefined behavior.


You can't return a reference to a local variable for the same reason you can't return a pointer to a local variable, because on return from the function those local variables are deallocated and therefore the reference or pointer becomes invalid.

0

精彩评论

暂无评论...
验证码 换一张
取 消

关注公众号