Quais são as diferenças entre os operadores de atribuição "=" e "<-" no R?

Quais são as diferenças entre os operadores de atribuição =e <-em R?

Eu sei que os operadores são um pouco diferentes, pois este exemplo mostra

x <- y <- 5
x = y = 5
x = y <- 5
x <- y = 5
# Error in (x <- y) = 5 : could not find function "<-<-"

Mas essa é a única diferença?

Quais são as diferenças entre os operadores de atribuição =e <-em R?

Como mostra seu exemplo, =e <-tem precedência de operador ligeiramente diferente (que determina a ordem da avaliação quando eles são misturados na mesma expressão). De fato, ?Syntaxem R fornece a seguinte tabela de precedência do operador, da mais alta para a mais baixa:

…
‘-> ->>’           rightwards assignment
‘<- <<-’           assignment (right to left)
‘=’                assignment (right to left)
…

Mas essa é a única diferença?

Desde que você estava perguntando sobre os operadores de atribuição : sim, essa é a única diferença. No entanto, você seria perdoado por acreditar no contrário. Até a documentação R ?assignOpsafirma que existem mais diferenças:

O operador <-pode ser usado em qualquer lugar, enquanto o operador =é permitido apenas no nível superior (por exemplo, na expressão completa digitada no prompt de comando) ou como uma das subexpressões em uma lista entre expressões.

Não vamos enfatizar muito bem: a documentação do R está (sutilmente) errada ^{[ 1 ]} . Isso é fácil de mostrar: precisamos apenas encontrar um contra-exemplo do =operador que não esteja (a) no nível superior nem (b) uma subexpressão em uma lista de expressões (ie {…; …}). - Sem mais delongas:

x
# Error: object 'x' not found
sum((x = 1), 2)
# [1] 3
x
# [1] 1

Claramente, realizamos uma atribuição, usando =, fora dos contextos (a) e (b). Então, por que a documentação de um recurso central da linguagem R está errada há décadas?

É porque na sintaxe de R o símbolo =tem dois significados distintos que são rotineiramente confundidos:

1. O primeiro significado é como um operador de atribuição . É disso que falamos até agora.
2. O segundo significado não é um operador, mas um token de sintaxe que sinaliza o argumento chamado passando em uma chamada de função. Ao contrário do =operador, ele não executa nenhuma ação no tempo de execução, apenas altera a maneira como uma expressão é analisada.

Vamos ver.

Em qualquer parte do código da forma geral…

‹function_name›(‹argname› = ‹value›, …)
‹function_name›(‹args›, ‹argname› = ‹value›, …)

... o =é o sinal que define chamado argumento passando: ele é não o operador de atribuição. Além disso, =é totalmente proibido em alguns contextos sintáticos:

if (‹var› = ‹value›) …
while (‹var› = ‹value›) …
for (‹var› = ‹value› in ‹value2›) …
for (‹var1› in ‹var2› = ‹value›) …

Qualquer uma dessas opções gerará um erro “inesperado '=' em ‹bla›”.

Em qualquer outro contexto, =refere-se à chamada do operador de atribuição. Em particular, apenas colocar parênteses em torno da subexpressão torna qualquer uma das alternativas (a) acima e (b) uma atribuição . Por exemplo, o seguinte executa a atribuição:

median((x = 1 : 10))

Mas também:

if (! (nf = length(from))) return()

_{Agora você pode objetar que esse código é atroz (e você pode estar certo). Mas peguei esse código da base::file.copyfunção (substituindo <-por =) - é um padrão generalizado em grande parte da base de código R principal.}

A explicação original de John Chambers , na qual a documentação do R provavelmente está baseada, na verdade explica isso corretamente:

[a =atribuição é] permitida em apenas dois lugares da gramática: no nível superior (como um programa completo ou expressão digitada pelo usuário); e quando isolado da estrutura lógica circundante, por chaves ou um par extra de parênteses.

Uma confissão: eu menti antes. Não é uma diferença adicional entre a =e <-operadores: eles chamam funções distintas. Por padrão, essas funções fazem a mesma coisa, mas você pode substituí-las separadamente para alterar o comportamento. Por outro lado, <-e ->(atribuição da esquerda para a direita), embora sintaticamente distintos, sempre chamam a mesma função. Substituir um também substitui o outro. Saber isso raramente é prático, mas pode ser usado para algumas travessuras divertidas .

A diferença nos operadores de atribuição é mais clara quando você os utiliza para definir um valor de argumento em uma chamada de função. Por exemplo:

median(x = 1:10)
x   
## Error: object 'x' not found

Nesse caso, xé declarado no escopo da função, portanto, não existe no espaço de trabalho do usuário.

median(x <- 1:10)
x    
## [1]  1  2  3  4  5  6  7  8  9 10

Nesse caso, xé declarado no espaço de trabalho do usuário, para que você possa usá-lo após a conclusão da chamada da função.

Existe uma preferência geral entre a comunidade R pelo uso <-para atribuição (exceto nas assinaturas de funções) para compatibilidade com (muito) versões antigas do S-Plus. Observe que os espaços ajudam a esclarecer situações como

x<-3
# Does this mean assignment?
x <- 3
# Or less than?
x < -3

A maioria dos IDEs R possui atalhos de teclado para <-facilitar a digitação. Ctrl+ =no Architect, Alt+ -no RStudio ( Option+ -no macOS), Shift+ -(sublinhado) no emacs + ESS.

Se preferir escrever =a <-mas quiser usar o símbolo de atribuição mais comum para o código lançado publicamente (em CRAN, por exemplo), então você pode usar uma das tidy_*funções no formatRpacote para substituir automaticamente =com <-.

library(formatR)
tidy_source(text = "x=1:5", arrow = TRUE)
## x <- 1:5

A resposta para a pergunta "Por que x <- y = 5lançar um erro, mas não x <- y <- 5?" é "Tudo depende da magia contida no analisador". A sintaxe de R contém muitos casos ambíguos que precisam ser resolvidos de uma maneira ou de outra. O analisador escolhe resolver os bits da expressão em diferentes ordens, dependendo de se foi =ou <-não usado.

Para entender o que está acontecendo, você precisa saber que a atribuição silenciosamente retorna o valor que foi designado. Você pode ver isso mais claramente imprimindo explicitamente, por exemplo print(x <- 2 + 3).

Em segundo lugar, fica mais claro se usarmos notação de prefixo para atribuição. assim

x <- 5
`<-`(x, 5)  #same thing

y = 5
`=`(y, 5)   #also the same thing

O analisador interpreta x <- y <- 5como

`<-`(x, `<-`(y, 5))

Podemos esperar que x <- y = 5seria então

`<-`(x, `=`(y, 5))

mas na verdade é interpretado como

`=`(`<-`(x, y), 5)

Isso ocorre porque a =precedência é menor do que <-, conforme mostrado na ?Syntaxpágina de ajuda.

O guia de estilo R do Google simplifica o problema ao proibir o "=" para atribuição. Não é uma má escolha.

https://google.github.io/styleguide/Rguide.xml

O manual R entra em detalhes interessantes em todos os 5 operadores de atribuição.

http://stat.ethz.ch/R-manual/R-patched/library/base/html/assignOps.html

x = y = 5é equivalente a x = (y = 5), porque os operadores de atribuição "agrupam" da direita para a esquerda, o que funciona. Significado: atribua 5 a y, deixando o número 5; e depois atribua esse 5 a x.

Não é o mesmo que (x = y) = 5, o que não funciona! Significado: atribua o valor de ya x, deixando o valor de y; e depois atribui 5 a, umm ..., o que exatamente?

Quando você mistura os diferentes tipos de operadores de atribuição, as <-ligações são mais apertadas que =. Então, x = y <- 5é interpretado como x = (y <- 5), que é o caso que faz sentido.

Infelizmente, x <- y = 5é interpretado como (x <- y) = 5, que é o caso que não funciona!

Consulte ?Syntaxe ?assignOpspara as regras de precedência (encadernação) e agrupamento.

De acordo com John Chambers, o operador =é permitido apenas no "nível superior", o que significa que não é permitido em estruturas de controle como if, tornando ilegal o seguinte erro de programação.

> if(x = 0) 1 else x
Error: syntax error

Como ele escreve, "A exclusão do novo formulário de atribuição [=] nas expressões de controle evita erros de programação (como o exemplo acima) que são mais prováveis ​​com o operador igual do que com outras atribuições S."

Você pode fazer isso se estiver "isolado da estrutura lógica circundante, por chaves ou um par extra de parênteses", assim if ((x = 0)) 1 else xfuncionaria.

Consulte http://developer.r-project.org/equalAssign.html

Os operadores <-e =atribuem ao ambiente em que são avaliados. O operador <-pode ser usado em qualquer lugar, enquanto o operador =é permitido apenas no nível superior (por exemplo, na expressão completa digitada no prompt de comando) ou como uma das subexpressões em uma lista entre expressões.

Isso também pode aumentar a compreensão da diferença entre esses dois operadores:

df <- data.frame(
      a = rnorm(10),
      b <- rnorm(10)
)

Para o primeiro elemento, R atribuiu valores e nome próprio, enquanto o nome do segundo elemento parece um pouco estranho.

str(df)
# 'data.frame': 10 obs. of  2 variables:
#  $ a             : num  0.6393 1.125 -1.2514 0.0729 -1.3292 ...
#  $ b....rnorm.10.: num  0.2485 0.0391 -1.6532 -0.3366 1.1951 ...

R versão 3.3.2 (31-10-2016); macOS Sierra 10.12.1