`(I) = 1` é ilegal no padrão C?

Estou escrevendo um compilador C que segue esse padrão e se eu analisar declarações como esta:

int i;
(i) = 1;

meu compilador relatará um erro que indica que (i)é um rvalue e não deve ser atribuído.

Eu verifiquei o código e as regras e descobri o seguinte: na atribuição semântica da expressão:

Um operador de atribuição deve ter um valor modificável como seu operando esquerdo.

Uma expressão de atribuição possui o valor do operando esquerdo após a atribuição, mas não é um valor l.

No meu caso, existem duas expressões de atribuição: (i) = 1e ientre parênteses. Portanto, (i)deve ser um rvalor.

Então, minha pergunta é: é (i) = 1ilegal neste padrão C?

Para citar n1570 (o último rascunho do padrão C11 antes da publicação):

6.5.1 Expressões primárias (ênfase minha)

5 Uma expressão entre parênteses é uma expressão primária. Seu tipo e valor são idênticos aos da expressão não parênteses . É um valor l, um designador de função ou uma expressão nula se a expressão não-parênteses for, respectivamente, um valor l, um designador de função ou uma expressão nula.

ié um valor l, de acordo com o exposto acima (i). E para responder sua pergunta, a expressão (i) = 1é C. válida

O StoryTeller já explicou em que parte do padrão, por que, no seu exemplo, a expressão (i)ainda é um valor mínimo, mas acredito que você está sendo suspenso pelas especificações sem nenhum motivo, por isso, permita-me tentar abordar suas preocupações.

Eu verifiquei o código e as regras e descobri o seguinte: na atribuição semântica da expressão:

Um operador de atribuição deve ter um valor modificável como seu operando esquerdo.

Uma expressão de atribuição possui o valor do operando esquerdo após a atribuição, mas não é um valor l.

A citação inteira refere-se à expressão de atribuição como um todo, não a lhs ou rhs.

"Um operador de atribuição deve ter um valor modificável como seu operando esquerdo." afirma que o lhs deve ser um valor modificável.

"Uma expressão de atribuição tem o valor do operando esquerdo após a atribuição, mas não é um valor l." declara que toda a expressão de atribuição em si tem o valor de lhs e é um rvalue.

Portanto, o seguinte é verdadeiro:

int i;
  i <- modifiable lvalue

(i) = 1;
  (i) <- modifiable lvalue (per StoryTeller's answer)
  1 <- rvalue
  ((i) = 1) <- rvalue

Por que isso é significativo? Considere o seguinte:

int i = 0, j = 0, k = 0;
i = j = k = 1;
// parsed as `i = (j = (k = 1))`
// the expression `k = 1` has the value `1` and is an rvalue
// the expression `j = (k = 1)` has the value `1` and is an rvalue

(i = 2) = 3;
// is invalid, the expression `i = 2` is an rvalue, but it may not be the lhs of the assignment

No meu caso, existem duas expressões de atribuição: (i) = 1e ientre parênteses. Portanto, (i)deve ser um rvalor.

Não, isso está incorreto. (i) = 1é a única expressão de atribuição. Existem duas subexpressões (um identificador entre parênteses (i)e uma constante numérica 1).

Esta resposta é inspirada em @Eric Postpischil.

a produção de a assignment-expressioné:

<assignment-expression> ::= <conditional-expression>
                          | <unary-expression> <assignment-operator> <assignment-expression>

no padrão, o assignment expressionespecífico significa expressões com operadores de atribuição. Assim:

<conditional-expression> is not an assignment expression
<unary-expression> <assignment-operator> <assignment-expression> is an assignment expresssion

então a regra:

Uma expressão de atribuição possui o valor do operando esquerdo após a atribuição, mas não é um valor l.

serve apenas para produção <unary-expression> <assignment-operator> <assignment-expression>, não para<conditional-expression>

no exemplo (i) =1, ié um, <assignment-expression>mas não um assignment expression, é um, <conditional-expression>portanto, é um lvaule, portanto, (i)é um lvalue.