为何向R语言中的省略号...赋值不报错？

问题背景 #

省略号（...）在R函数中是用于接收可变数量参数的特殊符号，但存在一些反直觉的行为：

• 直接求值或在函数中直接返回...会触发错误：

> ...
Error: '...' used in an incorrect context
> foo <- \(...) return(...)
> b <- foo(a=1)
Error: '...' used in an incorrect context

• 直接给...赋值却不会报错：

> ... <- 1

• 但给NULL、NA这类保留字赋值时会报错：

> NULL <- 1
Error in NULL <- 1 : invalid (do_set) left side assignment

背后机制与解答 #

1. 直接求值...报错的原因 #

...是仅在函数参数作用域内有效的特殊符号，它的作用是指代传入函数的可变参数集合。当你在函数参数列表之外直接调用...，或者试图直接返回它而不做参数展开（比如用list(...)），R解释器找不到对应的参数上下文，就会抛出错误——它不是普通变量，无法单独直接求值。

2. 给...赋值不报错的原因 #

R的语法规则里，...并没有被定义为不可赋值的硬保留字（像NULL、NA这类属于语法层面禁止赋值的保留字）。当你执行... <- 1时，只是在当前环境中创建了一个名为...的普通变量，和x <- 1没有本质区别——此时的...已经不再是函数中的可变参数符号，只是一个名字特殊的普通变量而已。

你可以通过以下代码验证：

> ... <- 1
> ls()
[1] "..."
> print(...)
[1] 1

3. 实用场景 #

几乎没有正经的实用场景，这种操作更多是语法规则的边缘情况：

• 强行用...作为变量名会严重降低代码可读性，其他开发者看到会误以为是函数的可变参数，极易造成混淆。
• 唯一可能的极端场景是元编程相关的实验，但完全可以用其他常规变量名替代，没必要使用...。

内容的提问来源于stack exchange，提问作者Mark Heckmann