使用相互引用的默认参数进行功能评估

Question

为什么

f <- function( y=5, x = y) x + y

f() # 10

评估为10但

 eval(body(f),formals(f))

没有？

检查承诺，参见varable y的值5，然后搜索变量x的值，并且不进一步评估使用5.为什么？