The use of a call by name parameter implies a textual substitution of the formal parameter name by the actual parameter.

使用名字调用时，包含有用参数对形式参数进行原文替换的意思。

youdao

For each reference to a formal parameter in the body of the procedure, a call of this thunk appears.

程序体中每当引用形式参数时，就调用形实替换程序。

youdao

For each reference to a formal parameter in the body of the procedure, a call of this thunk appears.

程序体中每当引用形式参数时，就调用形实替换程序。

youdao