São os operadores lógicos de atribuição. No JavaScript, foram estandardizados a partir do ECMAScript 2021 com base na chamada logical assignments proposal.
São estes os três novos operadores de atribuição lógica:
Operador |
Nome |
Equivalência ("antiga") |
Atribui somente se |
a &&= b |
Operador de atribuição lógica AND |
a && (a = b) |
a for truthy |
a ||= b |
Operador de atribuição lógica OU |
a || (a = b) |
a for falsy |
a ??= b |
Operador de atribuição lógica nullish |
a ?? (a = b) |
a for nullish |
O funcionamento lógico desses operadores é o mesmo dos operadores de curto circuito &&
, ||
e ??
. A diferença é que, a depender do resultado dessa avaliação lógica, também realizam atribuição de variável. Por conta dessa dupla funcionalidade, também podem ser chamados de operadores compostos.
Como a avaliação ocorre da esquerda para a direita, a
só receberá o valor de b
se, no momento da avaliação, o comportamento lógico vier a ser favorável. Portanto, a operação [[Set]]
(realizada pelo operador de atribuição =
) só será executada se o curto-circuito permitir.
Vale observar também que qualquer um dos três operadores de atribuição lógica avaliará para o valor da variável referenciada à esquerda, ocorrendo atribuição ou não. Desse modo, você pode concatenar expressões que envolvam o uso desses operadores, sempre tendo a garantia de que o valor mais recente da variável à esquerda será retornado pela expressão.
Vejamos como o comportamento lógico funciona para cada um deles...
Atribuição lógica AND (&&=
)
O operador de atribuição lógica AND (&&=
) executará a atribuição se o operando da esquerda for truthy, seguindo a mesma lógica operacional do &&
em curto circuito.
Se o valor da variável referenciada à esquerda for falsy, nada ocorrerá. O valor será mantido o mesmo.
Desse modo:
// Exemplo de avaliação FAVORÁVEL.
// Neste caso, o operando à esquerda de `&&=` é truthy.
// A atribuição ocorrerá.
let x = 'Antigo X (que é truthy)';
x &&= 'Novo X';
console.log('x:', x); //=> "Novo X". Atribuiu porque `x` já era truthy.
// Exemplo de avaliação DESFAVORÁVEL.
// Neste caso, o operando à esquerda de `&&=` é falsy.
// A atribuição NÃO ocorrerá.
let y;
y &&= 'Novo Y';
console.log('y:', y); //=> undefined. NÃO ocorreu atribuição porque `y` já era falsy.
Atribuição lógica OU (||=
)
O operador de atribuição lógica OU (||=
) executará a atribuição se o operando da esquerda for falsy, seguindo a mesma lógica operacional do ||
em curto-circuito.
Se o valor da variável referenciada à esquerda for truthy, nada ocorrerá. O valor será mantido o mesmo.
Desse modo:
// Exemplo de avaliação FAVORÁVEL.
// Neste caso, o operando à esquerda de `||=` é falsy.
// A atribuição ocorrerá.
let x;
x ||= 'Novo X';
console.log('x:', x); //=> "Novo X". Atribuiu porque `x` já era falsy.
// Exemplo de avaliação DESFAVORÁVEL.
// Neste caso, o operando à esquerda de `||=` é truthy.
// A atribuição NÃO ocorrerá.
let y = 'Antigo Y (que é truthy)';
y ||= 'Novo Y';
console.log('y:', y); //=> "Antigo Y (que é truthy)". NÃO ocorreu atribuição porque `y` já era truthy.
Atribuição lógica nullish (??=
)
O operador de atribuição lógica nullish (??=
) executará a atribuição se o operando da esquerda for nullish, seguindo a mesma lógica operacional do ??
em curto-circuito.
Se o valor da variável referenciada à esquerda for diferente de null
ou undefined
(isto é, um valor não nullish), nada ocorrerá. O valor será mantido o mesmo.
Desse modo:
// Exemplo de avaliação FAVORÁVEL.
// Neste caso, o operando à esquerda de `??=` é nullish.
// A atribuição ocorrerá.
let x;
x ??= 'Novo X';
console.log('x:', x); //=> "Novo X". Atribuiu porque `x` já era nullish (nesse caso, `undefined`).
// Exemplo de avaliação DESFAVORÁVEL.
// Neste caso, o operando à esquerda de `??=` é não nullish (diferente de `null` ou diferente de `undefined`).
// A atribuição NÃO ocorrerá.
let y = 'Antigo Y (que é truthy)';
y ??= 'Novo Y';
console.log('y:', y); //=> "Antigo Y (que é truthy)". NÃO ocorreu atribuição porque `y` já era não nullish.
Observações finais
Usarei o ||=
como exemplo, mas vale para os outros também.
Muitas pessoas podem achar que a ||= b
é equivalente a isto:
a = a || b;
No entanto, essa definição não é 100% precisa, uma vez que, como vimos, os operadores de atribuição lógica não executam o [[Set]]
caso a avaliação do operador lógico correspondente não seja favorável. No exemplo acima, a atribuição sempre ocorrerá, de modo que a
sempre será reatribuída ao resultado da expressão a || b
, que por sua vez avalia para b
se a
for falsy (seguindo o exemplo do ||=
e semântica lógica do ||
).
Portanto, uma "equivalência" mais adequada seria:
a || (a = b);
De modo que, somente se a
for falsy, avaliar-se-á a expressão a = b
, que por fim atribuirá à a
o valor de b
. A atribuição só ocorre caso a lógica do ||
seja favorável em relação ao curto-circuito.
E sobre o código da pergunta:
let alias = req.body.alias;
alias = (alias ||= alias = 'generic');
Não faz muito sentido, já que está atribuindo à alias
duas vezes se alias
for falsy. Ou uma, se req.body.alias
já vier truthy. Nesse caso, algo como isto já bastaria:
req.body.alias ||= 'generic';
// Utilize `alias` sabendo que sempre terá algum valor truthy.
console.log(req.body.alias);
De modo que a propriedade alias
receba o valor "generic" se for falsy. Talvez nesse caso valha mais a pena utilizar o ??=
para atribuir somente se alias
for nullish. Mas isso só a sua regra de negócio pode afirmar.
Vale lembrar, também, que só funcionará se body
estiver presente req
, mas aí já envolve outras semânticas da linguagem.
Embora seja um recurso do JavaScript, o TypeScript passou a suportá-lo a partir da versão 4.0.
alias = (alias ||= alias = 'generic');
para mim seria o corretoalias ||= 'generic';
que é o equivalente semântico aalias = alias || 'generic';
. Aqui está a definição desse operador e de outros de natureza similar.