Order of evaluation

Da cppreference.com

This page has been machine-translated from the English version of the wiki using Google Translate.

The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here.

Click here for the English version of this page

Tópicos gerais

Controle de fluxo

Declarações execução condicional

if statement

switch statement

Instruções de iteração

for loop

`while` loop
`do-while` loop

Ir declarações

`continue` statement
`break` statement

`goto` statement
`return` statement

Funções

declaração da função

linha especificador

Tipos

tipos fundamentais
tipos de ponteiro
tipos de compostos
tipos de enumeração

tipos de união
tipos de função

Especificadores

cv especificadores

armazenamento de classe especificadores

alignas especificador (C99)

Literais

literais inteiro
literais de caracteres
literais de ponto flutuante

literais de cadeia
literais booleanos(C99)

Expressões

ordem de avaliação

operadores alternativos

operadores

precedência do operador

Utilitários

typedef declaration

atributos (C99)

lança

Diversos

Assembly embutido

[edit]

Ordem de avaliação dos operandos de qualquer operadora C, incluindo a ordem de avaliação de argumentos de função em uma expressão chamada de função, e a ordem de avaliação das subexpressões dentro de qualquer expressão não é especificado (exceto onde indicado abaixo). O compilador irá avaliá-los em qualquer ordem, e pode escolher outra ordem, quando a mesma expressão é avaliada novamente.

Não existe o conceito de esquerda para a direita ou da direita para a esquerda de avaliação em C, o que não deve ser confundido com a esquerda para a direita e da direita para a esquerda associatividade de operadores: o a + b + c expressão é analisada como (a + b) + c devido a da esquerda para a direita associatividade de operador +, mas a c subexpressão pode ser avaliada primeiro (ou o último, ou ao mesmo tempo, como a ou b) em tempo de execução.

Índice

1 Definições
- 1.1 Avaliações
- 1.2 Ordenação
2 Regras
3 Comportamento indefinido
4 Veja também

[editar] Definições

[editar] Avaliações

Existem dois tipos de avaliações realizadas pelo compilador para cada expressão ou subexpressão (ambos os quais são opcionais):

' Computação de valor: o cálculo do valor que é retornado pela expressão. Isto pode envolver a determinação da identidade do objecto (lvalue avaliação) ou a leitura do valor previamente atribuído a um objecto (avaliação rvalue)
Original:
value computation: calculation of the value that is returned by the expression. This may involve determination of the identity of the object (lvalue evaluation) or reading the value previously assigned to an object (rvalue evaluation)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
' Efeito colateral: o acesso (leitura ou gravação) para um objeto designado por um glvalue volátil, modificação (escrita) a um objeto, modificar um arquivo, modificando o ambiente de ponto flutuante (se for suportado), ou chamar uma função que faz qualquer dessas operações.
Original:
side effect: access (read or write) to an object designated by a volatile glvalue, modification (writing) to an object, modifying a file, modifying the floating-point environment (if supported), or calling a function that does any of those operations.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Se nenhuns efeitos secundários são produzidas por uma expressão e o compilador pode determinar que o valor não é utilizada, a expressão não é avaliada.

[editar] Ordenação

"Seqüenciado-antes" é uma assimétrica, transitiva, a relação de pares entre as avaliações dentro da mesma linha (que pode estender-se entre segmentos se tipos atômicos e barreiras de memória estão envolvidos).

Se um ponto de sequência está presente entre a E1 e E2 subexpressions, então ambos cálculo de valor e os efeitos colaterais de E1 são sequenciados antes de cada cálculo de valor e efeito colateral de E2
Original:
If a sequence point is present between the subexpressions E1 and E2, then both value computation and side effects of E1 are sequenced before every value computation and side effect of E2
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Se a avaliação é seqüenciado A avaliação antes de B, então a avaliação de A será concluída antes da avaliação B começa. (desde C11)
Original:
If evaluation A is sequenced before evaluation B, then evaluation of A will be complete before evaluation of B begins. (desde C11)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Se A não é sequenciado antes de B e B é sequenciado antes de A, seguida de avaliação B estará completa antes da avaliação A começa. (desde C11)
Original:
If A is not sequenced before B and B is sequenced before A, then evaluation of B will be complete before evaluation of A begins. (desde C11)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Se A não é seqüenciado antes de B e B não é seqüenciado antes de A, então existem duas possibilidades: (desde C11)
Original:
If A is not sequenced before B and B is not sequenced before A, then two possibilities exist: (desde C11)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
* Avaliações de A e B são não seqüenciada: eles podem ser realizados em qualquer ordem e podem sobrepor (dentro de um único segmento de execução, o compilador pode intercalam as instruções da CPU que compreendem A e B)
Original:
* evaluations of A and B are unsequenced: they may be performed in any order and may overlap (within a single thread of execution, the compiler may interleave the CPU instructions that comprise A and B)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
* Avaliações de A e B são indeterminably-sequenciados: podem ser executadas em qualquer ordem, mas não podem sobrepor-se: ou A estará completa antes de B, ou B estará completa antes A. A ordem pode ser o oposto da próxima vez que a mesma expressão é avaliada.
Original:
* evaluations of A and B are indeterminably-sequenced: they may be performed in any order but may not overlap: either A will be complete before B, or B will be complete before A. The order may be the opposite the next time the same expression is evaluated.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

[editar] Regras

Há um ponto de seqüência após a avaliação de todos os argumentos da função e do designador de função, e antes da chamada de função real.

Os cálculos de valor (mas não os efeitos secundários) de operandos a qualquer operador são sequenciados antes do cálculo do valor do resultado do operador (mas não os seus efeitos secundários). (desde C11)

Há um ponto de seqüência após avaliação da primeira (esquerda) e operando antes da avaliação da segunda (direita) operando dos seguintes operadores binários: && (E lógico), || (OR lógico), e , (vírgula).

Há um ponto de seqüência após avaliação da primeira (esquerda) e operando antes da avaliação do operando segundo ou terceiro (o que é avaliado) do ?: operador condicional

O efeito colateral (modificação do argumento à esquerda) do operador de atribuição direta e de todos os operadores de atribuição compostos é seqüenciado após o cálculo de valor (mas não os efeitos colaterais) de argumentos direito e esquerdo. (desde C11)

O cálculo do valor dos operadores e postincrement postdecrement é sequenciado antes de seu efeito colateral. (desde C11)

Há um ponto de sequência no final de um declarator completo. (desde C99)

Há um ponto de seqüência após a avaliação de uma expressão completa (uma expressão que não é uma subexpressão: normalmente algo que termina com um ponto e vírgula ou uma declaração de controle if / switch / / while fazer) e antes da próxima expressão completa.

Há um ponto imediatamente antes da sequência de retorno de uma função biblioteca. (desde C99)

10)

Há um ponto de sequência após a ação associada a cada especificador de conversão em formato de I / O. (desde C99)

11)

Há pontos de sequência antes e imediatamente após cada chamada para uma função de comparação feitas por as funções de biblioteca qsort e bsearch, bem como entre as chamadas para a função de comparação e o movimento dos objectos associados feitas por qsort (desde C99)

12)

Uma chamada de função que não é seqüenciado antes ou depois sequenciaram outra chamada de função é indeterminadamente sequenciado (instruções da CPU que constituem chamadas de funções diferentes não podem ser intercalados, mesmo que as funções são inlined) (desde C11)

13)

Em expressões lista de inicialização, todas as avaliações são indeterminadamente seqüenciado (desde C11)

14)

No que diz respeito a uma chamada de função indeterminadamente-sequenciado, a operação de operadores compostos de atribuição e tanto de prefixo e de sufixo formas de incremento e decremento operadores são avaliações individuais. (desde C11)

[editar] Comportamento indefinido

Se um efeito secundário de um objecto não seqüenciada escalar é relativa a um outro efeito secundário sobre o objecto escalar mesmo, o comportamento é indefinido.

i = ++i + i++; // undefined behavior
i = i++ + 1; // undefined behavior
f(++i, ++i); // undefined behavior
f(i = -1, i = -1); // undefined behavior

Se um efeito secundário de um objecto não seqüenciada escalar é relativa a um cálculo de valor com o valor do objecto escalar mesmo, o comportamento é indefinido.

f(i, i++); // undefined behavior
a[i] = i++; // undefined bevahior

As regras acima se aplicam, desde que pelo menos um permitida ordenação de subexpressões permite tal não seqüenciada efeito colateral.

[editar] Veja também

Precedência do operador que define como expressões são criadas a partir de sua representação de código fonte.

Obtida de "https://pt.cppreference.com/mwiki/index.php?title=c/language/eval_order&oldid=18398"

Linguagem
Digite apoio
Gerenciamento de memória dinâmica
De tratamento de erros
Utilidades do programa
Utilitários de data e hora
Biblioteca cordas
Algoritmos
Numéricos
Entrada / saída de apoio
Suporte de localização
Apoio discussão (C11)
Operações atômicas (C11)

cppreference.com

Espaços nominais

Variantes

Vistas

Acções