将静态结果赋给静态变量的函数结果会在内部更改此静态变量

Question

I wonder, is the marked line in the below code correct. Because in this line the result of the function is assigned to the static variable prevRecCallResult ( I'll call it " plain assignment " ), which is changed inside this function ( I'll call it " inside assignment " ). Is it guaranteed, that the " inside assignment " is done, when the " plain assignment " executes?

int f(int _n)
{
  if (_n >= 1)
  {
    static int prevRecCallResult;
    prevRecCallResult = f(_n - 1);  //<-- Is this line Ok?
    return prevRecCallResult + 1;
  }
  else
    return _n;
}

I know, the standard says, that a sequence point occurs:

At a function return, after the return value is copied into the calling context.

, but I'm not sure, this is the answer to my question.

Update:

Considering replies I've received, I should clarify my question:

It's essence is: Is it true, that the prevRecCallResult is not in use by the assignment expression (in marked line) (ie is not occupied by it) until f(_n - 1) is finished? (And thus, until this moment, prevRecCallResult is absolutely free for any assignments inside f(_n - 1) ?)

Answer 1

static int prevRecCallResult;
prevRecCallResult = f(_n - 1);  //<-- Is this line Ok?

Your code is perfectly OK. But just wanted to make you remember that static int prevRecCallResult; executes only once. But prevRecCallResult = f(_n - 1); is assigned after each function call. Once function return prevRecCallResult 's at time function's return value will be used in rest of the function.

One more thing, static variable will not die, after you return from function. So prevRecCallResult will not die across function calls.

Answer 2

As I remember all static variables as well as all global variables in C and C++ are assigned automatically to default value for their types - in this particular example default value for 'static int prevRecCallResult' will be 0. So your fears are unfounded (you can easily check this with debugger). At the same time I cannot understand why you use static variable in this code... is it just simplified code for question or is it real code where you trying to economize memory on automatic variable of recursive function?