R语言直接调用匿名函数的行为解析请求

我尝试创建一个函数并立即调用它，写下了这段代码：

function(x){x+1}(3)

结果却不符合预期。我知道正确的写法应该是用括号先包裹函数定义，再调用：

(function(x){x+1})(3)
# 4

但我困惑的是第一段代码实际的求值结果，以及以下一系列代码的运行逻辑：

a <- function(x){x+1}(3)
a
# function(x){x+1}(3)

class(a)
# [1] "function"

a(3)
# Error in a(3) : attempt to apply non-function

a()
# Error in a() : argument "x" is missing, with no default

(a)
# function(x){x+1}(3)
# <bytecode: 0x128b52c50>

# 右侧括号内的所有内容似乎都未被求值
function(x){x+1}(1)(2)(a,b,c)[1:4,d:5,,,][seq_along(letters)]
# function(x){x+1}(1)(2)(a,b,c)[1:4,d:5,,,][seq_along(letters)]
(function(x){x+1}(1)(2)(a,b,c)[1:4,d:5,,,][seq_along(letters)])
# function(x){x+1}(1)(2)(a,b,c)[1:4,d:5,,,][seq_along(letters)]
((function(x){x+1}(1)(2)(a,b,c)[1:4,d:5,,,][seq_along(letters)]))
# function(x){x+1}(1)(2)(a,b,c)[1:4,d:5,,,][seq_along(letters)]

核心原因：R的语法解析规则 #

R的解析器对函数定义和调用的处理有明确优先级：

• 当直接写function(x){x+1}(3)时，R会将function(x){x+1}识别为一个函数对象，而后面的(3)不会被当作函数调用的参数，只是作为未被求值的后缀表达式附着在函数对象上。
• 这个结构的求值结果就是前面的函数本身，后续参数部分不会被执行，仅在打印函数对象时会被附带显示。

对示例代码的具体解释 #

1. 赋值操作a <- function(x){x+1}(3)：

   • 实际是把function(x){x+1}这个函数对象赋值给了a，(3)并未被执行。
   • 打印a时显示function(x){x+1}(3)只是R的打印机制附带了未求值部分，但a的本质仍是需要参数x的函数。
   • 调用a(3)报错是因为R的解析逻辑混乱，误将a与后续(3)当成整体，误以为a不是函数；而a()报错是因为函数本身确实需要参数x但未传入。

2. 带复杂后缀的表达式：

   • 不管是直接写长后缀还是加多层括号，R都不会对后续的调用、索引操作求值。
   • 整个结构的核心是前面的函数定义，所有后续后缀内容都被当作未解析的附加部分，不会触发任何执行，最终结果还是原函数对象，打印时会显示完整表达式。

正确立即调用的原理 #

(function(x){x+1})(3)能正常运行，是因为括号将function(x){x+1}转换成了可求值的表达式：

• R会先计算括号内的内容，得到函数对象；
• 随后的(3)会被当作对这个函数对象的调用，传入参数并执行，最终返回结果4。

内容的提问来源于stack exchange，提问作者Felix Jassler