在通过结果进行参数传递时，何时将形式参数值分配给实际参数值？

Question

作为标题，在返回语句之后？

int x = 1; 

function F(ref int y) { y = y + AnotherF(x); } 

function AnotherF(result z) 
{ 
    z = null; 
    return (-1); 
} 

F(x); print(x); // prints 0 or null? 

Answer 1

回答对自己：函数AnotherF返回-1。就在破坏其记录之前（并且因此在将控制权交还给F之前），z的值被分配回实际参数（y）。在将空值分配给x之后，F继续评估y = 1 +（-1）= 0。然后x为0.