Início / coding / Perguntas / 79432204
Accepted
mhsquare
Asked: 2025-02-12 14:58:27 +0800 CST

A precedência do operador é confusa neste caso

  • 772

Digamos que eu tenha uma estrutura

struct s
{
    int a;
}

e uma função principal como esta

int main()
{
    struct s s1 = {.a = 10};
    
    struct s *sptr = &s1;
    
    sptr->a--;
    printf("%d\n", sptr->a);
    
    s1.a = 10;
    
    --sptr->a;
    printf("%d\n", sptr->a);
    
    return 0;
}

Saída :

9
9

De acordo com a precedência do operador, ->eles --têm a mesma precedência e associatividade esquerda->direita.

No caso de sptr->a--, posso entender sptr->aque foi feito primeiro e depois --aplicado.

Mas no caso de --sptr->a, --deve ser aplicado a sptrprimeiro. Isso pode levar a um comportamento indefinido, mas deve ser o caso. Por que isso ainda funciona da mesma forma que sptr->a--?

c

3 respostas

  1. É apenas o incremento/decremento pós-fixado que tem a mesma precedência que ->. O incremento/decremento prefixado tem precedência menor.

    Assim no caso

       sptr->a--;

    --é aplicado por último devido à associatividade da esquerda para a direita.

    No caso

       --sptr->a;

    --é aplicado por último por ->ter maior precedência.

    Atualização (já que a tag "language-lawyer" foi adicionada à pergunta):

    A parte normativa do Padrão C (observe que as referências abaixo são ao rascunho C23 N3220, que pode diferir da versão finalizada) define a precedência e a associatividade do operador de forma bastante implícita pela gramática da sintaxe da linguagem.

    A cláusula 6.5.1-3 diz:

    O agrupamento de operadores e operandos é indicado pela sintaxe.82) Exceto conforme especificado posteriormente, os efeitos colaterais e os cálculos de valor de subexpressões não são sequenciados.83)

    E a nota 82 diz:

    1. A sintaxe especifica a precedência de operadores na avaliação de uma expressão, que é a mesma que a ordem das subcláusulas principais desta subcláusula, precedência mais alta primeiro. [...]
      Dentro de cada subcláusula principal, os operadores têm a mesma precedência. A associatividade à esquerda ou à direita é indicada em cada subcláusula pela sintaxe para as expressões discutidas nela.

    "Operadores pós-fixados" (como ->e pós-fixados --) são encontrados na seção 6.5.3 e "Operadores unários" (como prefixo --) são encontrados na seção 6.5.4. Isso estabelece a ordem de precedência (que, a propósito, também é implícita pelos trechos gramaticais nas cláusulas 6.5.3.1-1 e 6.5.4-1).

    Para determinar a associatividade, a sintaxe para operadores Postfix (6.5.3.1-1) é a seguinte:

    postfix-expression:   
       primary-expression   
       postfix-expression [ expression ]   
       postfix-expression ( argument-expression-listopt )   
       postfix-expression . identifier   
       postfix-expression -> identifier   
       postfix-expression ++   
       postfix-expression --   
       compound-literal

    O que implica que, por exemplo, a expressão sptr->a--é interpretada como ( sptr->a) --.
    Ou seja, --é precedida pela expressão pós-fixa sptr->a. Assim, a associatividade é da esquerda para a direita.

    Para uma tabela completa de precedência e associatividade de operadores (embora baseada em C11), veja aqui .

    • 9
  2. Best Answer

    De acordo com a precedência do operador, -> e -- têm a mesma precedência e associatividade esquerda->direita.

    ->e pós-fixo -- têm a mesma precedência e associatividade da esquerda para a direita, assim sptr->a--como (sptr->a)--.

    ->e prefixo -- não tem a mesma precedência, --é menor. Assim --sptr->aé --(sptr->a).

    • 8

  3. Como você pode ver aqui, a precedência dos operadores de incremento/decremento prefixados é 2 , enquanto a precedência dos operadores de incremento/decremento pós-fixados é 1 (como o ->operador ).

    Portanto, sptr->a--é analisado como (sptr->a)--, mesma precedência, mas associatividade da esquerda para a direita.

    E --sptr->a é analisado como --(sptr->a), porque o operador de prefixo tem precedência menor que ->.

    • 5

relate perguntas