R 语言赋值运算符:`<-` , `=`, `<<-`

<-= 间的区别

<-= 在大部分情况下是应该可以通用的。并且,相对于 <<- 运算符,它们的赋值行为均在它们自身的环境层(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

Published by

风君子

独自遨游何稽首 揭天掀地慰生平

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注