Por que não há operadores de atribuição compostos para operadores lógicos (como ||, && etc)?

De acordo com ECMA-262, parte 11,13, seguinte é uma lista exaustiva dos operadores de atribuição compostos: *= /= %= += -= <<= >>= >>>= &= ^= |=.

De acordo com a parte 11.11, var c = a || bcolocará avalor em cse ToBoolean(a)for verdadeiro e colocará bvalor em ccaso contrário. Como tal, o OR lógico é frequentemente usado como operador de coalescência, por exemplo

function (options) {
    options = options || {};
}

Com freqüência suficiente, coalesce é usado para especificar o valor padrão para a variável, como foi mostrado acima: a = a || b.

Parece que o operador de atribuição composto ||=seria realmente útil, permitindo a escrever o código acima de uma forma mais curta e mais limpo: a ||= b. No entanto, não é ali (embora *=, +=e outros operadores de atribuição composto são).

A questão é, por quê?

Uma razão possível é que os operadores lógicos &&e ||tenham um comportamento de "curto-circuito". O operando do lado direito &&e ||não é avaliado, a menos que seja necessário. Talvez por esse motivo, os designers de linguagem a ||= f()tenham decidido que o significado de uma expressão como não era óbvio e, portanto, esses operadores deveriam ficar de fora.

A resposta geral a todas as perguntas sobre "por que esse recurso de idioma não foi implementado" é que a equipe que projetou o idioma decidiu que o benefício não superava o custo.

O custo pode assumir várias formas. Leva tempo e esforço para implementar um recurso de linguagem, mas também há o custo intrínseco da complexidade: o recurso torna o idioma mais complexo ou ambíguo, desproporcional ao seu benefício potencial?

O ||=operador hipotético faz algo fundamentalmente diferente dos outros operadores de atribuição composta. Enquanto os outros operadores são puramente matemáticos por natureza, este é diferente: ele substitui um valor por outro (no contexto que você descreveu).

Dada essa ambiguidade (o operador executa duas funções diferentes, dependendo do contexto), não é difícil perceber por que não foi incluído no idioma. Embora você afirme que mudar

function (options) {
    options = options || {};
}

para

function (options) {
    options ||= {};
}

executar coalescência nula é um recurso valioso, o benefício é muito menos claro para mim. Se ocorrer substituição de valor, parece lógico (e mais claro) ter ambos os valores no lado direito do sinal de igual, para fornecer uma indicação visual de que essa substituição pode ocorrer.

O C # seguiu um caminho diferente e usa um operador específico para coalescência nula.

Você está certo que ||=é uma construção útil. Existe no Perl.

De fato, o Perl disponibiliza tudo isso :

**=    +=    *=    &=    <<=    &&=   -=    /=    
|=     >>=   ||=   .=    %=     ^=    //=   x=

Alguns deles são ótimos ( .=adiciona algo ao final de uma string), outros menos ( &&=acho que a variável seria configurada para o lado direito se ela e a variável forem verdadeiras. Mas por que você faria isso? ?)

O que está incluído em um idioma é realmente um recurso de sua filosofia de design.