Recursive calls to a function - why is the address of the parameter passed to it lowering with each call? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Data science time! April 2019 and salary with experience The Ask Question Wizard is Live!What is the direction of stack growth in most modern systems?Why isn't sizeof for a struct equal to the sum of sizeof of each member?How to call a parent class function from derived class function?Why do we need virtual functions in C++?Pretty-print C++ STL containersHow to pass normal param as well as template param in a template function in C++?Are the days of passing const std::string & as a parameter over?Recursive Reverse FunctionWhy can I not move unique_ptr from a set to a function argument using an iterator?Why can I not call reserve on a vector of const elements?Having issues with .h file, it doesn't seem to be linking correctly
When speaking, how do you change your mind mid-sentence?
Is my guitar’s action too high?
How do I overlay a PNG over two videos (one video overlays another) in one command using FFmpeg?
Is there a verb for listening stealthily?
Reflections in a Square
Converting a text document with special format to Pandas DataFrame
What helicopter has the most rotor blades?
Is Vivien of the Wilds + Wilderness Reclimation a competitive combo?
How to get a single big right brace?
What is the definining line between a helicopter and a drone a person can ride in?
Network questions
Who's this lady in the war room?
lm and glm function in R
Kepler's 3rd law: ratios don't fit data
/bin/ls sorts differently than just ls
Does the Pact of the Blade warlock feature allow me to customize the properties of the pact weapon I create?
Raising a bilingual kid. When should we introduce the majority language?
Does using the Inspiration rules for character defects encourage My Guy Syndrome?
Why not use the yoke to control yaw, as well as pitch and roll?
Coin Game with infinite paradox
2 sample t test for sample sizes - 30,000 and 150,000
When does Bran Stark remember Jamie pushing him?
Can this water damage be explained by lack of gutters and grading issues?
Can gravitational waves pass through a black hole?
Recursive calls to a function - why is the address of the parameter passed to it lowering with each call?
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)
Data science time! April 2019 and salary with experience
The Ask Question Wizard is Live!What is the direction of stack growth in most modern systems?Why isn't sizeof for a struct equal to the sum of sizeof of each member?How to call a parent class function from derived class function?Why do we need virtual functions in C++?Pretty-print C++ STL containersHow to pass normal param as well as template param in a template function in C++?Are the days of passing const std::string & as a parameter over?Recursive Reverse FunctionWhy can I not move unique_ptr from a set to a function argument using an iterator?Why can I not call reserve on a vector of const elements?Having issues with .h file, it doesn't seem to be linking correctly
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty height:90px;width:728px;box-sizing:border-box;
Consider following code:
#include <iostream>
using namespace std;
void test_func(int address)
cout<<&address<<" ";
if(address < 0x7FFBEE26)
test_func(address);
int main()
test_func(512);
cout<<"Hello";
return 0;
Hello from main() is certainly not reached, since the recursive calls to test_func never end.
However, from what I can see in the cout present in test_func - the addresses being printed are lower and lower with each iteration. Why is that happening?
c++
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |
Consider following code:
#include <iostream>
using namespace std;
void test_func(int address)
cout<<&address<<" ";
if(address < 0x7FFBEE26)
test_func(address);
int main()
test_func(512);
cout<<"Hello";
return 0;
Hello from main() is certainly not reached, since the recursive calls to test_func never end.
However, from what I can see in the cout present in test_func - the addresses being printed are lower and lower with each iteration. Why is that happening?
c++
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
1
You are passing a copy - that has to have an address
– UnholySheep
2 hours ago
1
Remember that the default stack size on linux is 10MB and its 1 MB on windows. Also the stack need not be in the same location each time you run your program.
– drescherjm
2 hours ago
I can't understand why this isn't eligible for tail-call optimization. The invocation oftest_funcis the last line in the function...
– cyberbisson
2 hours ago
2
@cyberbisson The parameters of the nested invocations oftest_funcmust appear to have different addresses per language rules, and because the address ofaddresswas passed tooperator<<the compiler can't prove that this is unobservable.
– T.C.
56 mins ago
@T.C. So, the problem is that the callee might remember and use it still?
– Deduplicator
30 mins ago
add a comment |
Consider following code:
#include <iostream>
using namespace std;
void test_func(int address)
cout<<&address<<" ";
if(address < 0x7FFBEE26)
test_func(address);
int main()
test_func(512);
cout<<"Hello";
return 0;
Hello from main() is certainly not reached, since the recursive calls to test_func never end.
However, from what I can see in the cout present in test_func - the addresses being printed are lower and lower with each iteration. Why is that happening?
c++
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
Consider following code:
#include <iostream>
using namespace std;
void test_func(int address)
cout<<&address<<" ";
if(address < 0x7FFBEE26)
test_func(address);
int main()
test_func(512);
cout<<"Hello";
return 0;
Hello from main() is certainly not reached, since the recursive calls to test_func never end.
However, from what I can see in the cout present in test_func - the addresses being printed are lower and lower with each iteration. Why is that happening?
c++
c++
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 2 hours ago
drescherjm
6,59923553
6,59923553
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked 2 hours ago
tears allotears allo
461
461
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
tears allo is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
1
You are passing a copy - that has to have an address
– UnholySheep
2 hours ago
1
Remember that the default stack size on linux is 10MB and its 1 MB on windows. Also the stack need not be in the same location each time you run your program.
– drescherjm
2 hours ago
I can't understand why this isn't eligible for tail-call optimization. The invocation oftest_funcis the last line in the function...
– cyberbisson
2 hours ago
2
@cyberbisson The parameters of the nested invocations oftest_funcmust appear to have different addresses per language rules, and because the address ofaddresswas passed tooperator<<the compiler can't prove that this is unobservable.
– T.C.
56 mins ago
@T.C. So, the problem is that the callee might remember and use it still?
– Deduplicator
30 mins ago
add a comment |
1
You are passing a copy - that has to have an address
– UnholySheep
2 hours ago
1
Remember that the default stack size on linux is 10MB and its 1 MB on windows. Also the stack need not be in the same location each time you run your program.
– drescherjm
2 hours ago
I can't understand why this isn't eligible for tail-call optimization. The invocation oftest_funcis the last line in the function...
– cyberbisson
2 hours ago
2
@cyberbisson The parameters of the nested invocations oftest_funcmust appear to have different addresses per language rules, and because the address ofaddresswas passed tooperator<<the compiler can't prove that this is unobservable.
– T.C.
56 mins ago
@T.C. So, the problem is that the callee might remember and use it still?
– Deduplicator
30 mins ago
1
1
You are passing a copy - that has to have an address
– UnholySheep
2 hours ago
You are passing a copy - that has to have an address
– UnholySheep
2 hours ago
1
1
Remember that the default stack size on linux is 10MB and its 1 MB on windows. Also the stack need not be in the same location each time you run your program.
– drescherjm
2 hours ago
Remember that the default stack size on linux is 10MB and its 1 MB on windows. Also the stack need not be in the same location each time you run your program.
– drescherjm
2 hours ago
I can't understand why this isn't eligible for tail-call optimization. The invocation of
test_func is the last line in the function...– cyberbisson
2 hours ago
I can't understand why this isn't eligible for tail-call optimization. The invocation of
test_func is the last line in the function...– cyberbisson
2 hours ago
2
2
@cyberbisson The parameters of the nested invocations of
test_func must appear to have different addresses per language rules, and because the address of address was passed to operator<< the compiler can't prove that this is unobservable.– T.C.
56 mins ago
@cyberbisson The parameters of the nested invocations of
test_func must appear to have different addresses per language rules, and because the address of address was passed to operator<< the compiler can't prove that this is unobservable.– T.C.
56 mins ago
@T.C. So, the problem is that the callee might remember and use it still?
– Deduplicator
30 mins ago
@T.C. So, the problem is that the callee might remember and use it still?
– Deduplicator
30 mins ago
add a comment |
1 Answer
1
active
oldest
votes
Likely address is being placed on the stack and, on your platform, the stack grows downward in memory. See this question about stack growth direction for more.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
StackExchange.using("externalEditor", function ()
StackExchange.using("snippets", function ()
StackExchange.snippets.init();
);
);
, "code-snippets");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "1"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
tears allo is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55800947%2frecursive-calls-to-a-function-why-is-the-address-of-the-parameter-passed-to-it%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Likely address is being placed on the stack and, on your platform, the stack grows downward in memory. See this question about stack growth direction for more.
add a comment |
Likely address is being placed on the stack and, on your platform, the stack grows downward in memory. See this question about stack growth direction for more.
add a comment |
Likely address is being placed on the stack and, on your platform, the stack grows downward in memory. See this question about stack growth direction for more.
Likely address is being placed on the stack and, on your platform, the stack grows downward in memory. See this question about stack growth direction for more.
answered 2 hours ago
David SchwartzDavid Schwartz
140k14145232
140k14145232
add a comment |
add a comment |
tears allo is a new contributor. Be nice, and check out our Code of Conduct.
tears allo is a new contributor. Be nice, and check out our Code of Conduct.
tears allo is a new contributor. Be nice, and check out our Code of Conduct.
tears allo is a new contributor. Be nice, and check out our Code of Conduct.
Thanks for contributing an answer to Stack Overflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f55800947%2frecursive-calls-to-a-function-why-is-the-address-of-the-parameter-passed-to-it%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
You are passing a copy - that has to have an address
– UnholySheep
2 hours ago
1
Remember that the default stack size on linux is 10MB and its 1 MB on windows. Also the stack need not be in the same location each time you run your program.
– drescherjm
2 hours ago
I can't understand why this isn't eligible for tail-call optimization. The invocation of
test_funcis the last line in the function...– cyberbisson
2 hours ago
2
@cyberbisson The parameters of the nested invocations of
test_funcmust appear to have different addresses per language rules, and because the address ofaddresswas passed tooperator<<the compiler can't prove that this is unobservable.– T.C.
56 mins ago
@T.C. So, the problem is that the callee might remember and use it still?
– Deduplicator
30 mins ago