<-
与 =
间的区别
<-
与 =
在大部分情况下是应该可以通用的。并且,相对于 <<-
运算符,它们的赋值行为均在它们自身的环境层(environment hierarchy)中进行。
R语言中,<-
与 =
这两个赋值运算符最主要的区别在于两者的作用域不同。大家可以从下面的例子感受一下。
好多好多人喜欢用的 =
貌似许多早期学习R的童鞋都比较喜欢使用 =
进行赋值。毕竟,简简单单的a = 5
用起来比较符合大多数现有语言的习惯。
> rmx) ## 如果变量 x 存在的话,删除此变量
> meanx = 1:10)
[1] 5.5
> x
Error: object 'x' not found
在以上范例里,变量 x 是在函数的作用域里进行声明的,所以它只存在于此函数中,一旦运算完成便“消失”。
而对于 <-
使用 <-
的运算结果则如下:
> meanx <- 1:10)
[1] 5.5
> x
[1] 1 2 3 4 5 6 7 8 9 10
这一次, Global Environment 里出现了 x 变量
在什么情况下, <-
赋值会成立?
在以上代码里,你可能会认为计算机对上述语句进行的处理是“将 1:10 赋值给 x , 然后计算 x 的均值。”在某些语言里,计算机的确是如此处理的,比如说 C 。但是在R语言中,却不是这样的。见下例。
> a <- 1
> f <- functiona) returnTRUE)
> f <- fa <- a + 1); a
[1] TRUE
[1] 1
请注意,以上范例里, a 的值并没有改变!!在 R 中,在参数中进行赋值的变量只有在需要进行评估时才会改变其值。(也许,大家可以类比一下逻辑短路?1 < 0 && 2 == 1
)这会导致程序里出现一些不可预期的结果并且降低代码可读性,所以并不推荐在函数参数里使用这一种赋值方式(事实上,函数参数弄那么复杂也是太无聊了了吧)
> a <- 1
> f <- functiona) {
+ ifrunif1)>0.5) TRUE
+ else a
+ }
> fa <- a+1);a
[1] TRUE
[1] 1
> fa <- a+1);a
[1] TRUE
[1] 1
> fa <- a+1);a
[1] TRUE
[1] 1
> fa <- a+1);a
[1] 2
> fa <- a+1);a
[1] TRUE
[1] 2
> fa <- a+1);a
[1] 3
上述代码中,向函数 f) 传递传递参数 a <- a + 1 后,只有在随机数 runif1) 小于0.5的时候,a 的值才会改变,即执行+1操作。否则传递TRUE值。因此,因为随机数 runif1) 的随机性,每次调用函数 f)后 a 的值是不确定的。
BUT!
并不是说 <-
看起来复杂所以就索性不用它了。事实上,正如上文所说,如果不是有人会这么无聊在R 语言里进行数据分析时用 <-
弄个这么坑爹的函数参数,这个赋值号的意义本身是很清晰的。
<-
长得像箭头,实质上也是个箭头,如果觉得从右向左赋值让你觉得不爽的话,用 ->
甚至都是可以的。而那个传统的 =
号,在 R 里实质上是退化了的,其在规范的 R 语言代码里其实一般是作为为子集赋“name”的存在。
一个较为规范的赋值号使用方式应该是酱紫的。
> a <- listhello = 1, world = 2 ) ##如果 <- 换成 = 得多混乱……
> a
$hello
[1] 1
$world
[1] 2
> a$hello
[1] 1
> a[["world"]] ## '$' 与 '[["..."]]'是两种不同的引用name的方式~~
[1] 2
<<—
运算符,向上一环境层写入变量
在 R 语言中,处在某一个环境层的代码都拥有读入上一环境层的变量的权限,但相反地,若只通过标准的赋值运算符 <-
,是无法向上一环境层写入变量的。若想在上一环境层进行赋值行为,即向上一层次写入变量,则需要用到 <<-
(superassignment)运算符啦~
对非局部变量进行写入操作
看,灰机!
> plusx <- functionx){
+ a <<- 1 + x
+ b <- 2 + x
+ x <- x * 2
+ }
> a
Error: object 'a' not found
> b
Error: object 'b' not found
> x <- 1
> plusxx)
> a
[1] 2
> b
Error: object 'b' not found
> x
[1] 1
分析一下函数two) 中的三个变量 x, a, b
x:作为plusx)的实际参数,调用时其值1复制到形参 x ,但形参仍为局部变量,故作为全局变量的 x 值不变
a:在调用函数plusx) 之前, 变量 a 和 b 是根本就不存在的。直到调用了plusx)后,a 才在出现。并且,由于plusx)的上一环境层即为顶层环境(Global Environment), 可直接在变量框内看见 a。
b:为局部变量,正如上文所说, <-
进行的赋值仅在当前环境层进行。
此例表明, 通过 <<-
赋值符,plusx)函数在顶层环境写入了变量 a .
一些注意事项
一般说来, <<-
多用于在顶层环境中写入变量。然而需要注意的是,以 <<-
执行赋值时,会一直向上直至顶层进行变量查找。若在查找过程中寻找到该名称的变量,就会进行赋值操作。否则,将在顶层环境中创建变量并赋值。
> glob <- function){
+ d <- 5
+ nxt1 <- function){d <<- e + 1}
+ e <- 2
+ nxt1)
+ d
+ }
> glob)
[1] 3
> d
Error: object 'd' not found
此处,对 d 运用了 <<-
进行赋值时,由于nxt1)的上一环境层中出现了变量 d ,故赋值在glob)环境层进行,而非顶层(Global Environment)
对比以下代码:
> glob <- function){
>
+ ##区别在这里,少了一行' d <- 5'
+
+ nxt1 <- function){d <<- e + 1}
+ e <- 2
+ nxt1)
+ d
+ }
> glob)
[1] 3
> d
[1] 3
此处,由于glob)环境中没有 d 变量的存在,在 nxt1) 中使用 <<-
赋值时变量 d 成为顶层变量。
参考资料
[1]某论坛中贴出的关于的
<-
与=
区别的英文例子http://www.itongji.cn/tag/Ryuyan_2417_1.html
[2]<<-
赋值号部分主要参考于The Art of R Programming(《R语言编程艺术》)7.8 Writing Upstair