在通過結果進行參數傳遞時，何時將形式參數值分配給實際參數值？

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.