Início / coding / Perguntas / 77789511
Accepted
Strasse34
Asked: 2024-01-10 04:15:26 +0800 CST

A ordem de execução é diferente em compiladores diferentes [duplicado]

  • 772

Este código fornece resultados diferentes no XCode e no Visual Studio:

#include <iostream>

using namespace std;

int f() {
    cout << 'A';
    return 1;
}

int main() {
    cout << '.' << f();
    return 0;
}

No Visual Studio ele gera

A.1

No XCode ele gera

.A1

Obviamente, eu esperaria que ambos os compiladores produzissem a mesma coisa. É de se esperar que não faça isso? É uma coisa conhecida ou há algo que eu possa fazer sobre isso?

c++

1 respostas

  1. Best Answer

    Aparentemente, o MSVC compila o código de maneira diferente do GCC.

    A inspeção do código assembly por meio do Godbolt (usando x86-64 gcc 13.2 e x64 msvc v19.38) mostra que o MSVC produz o seguinte assembly para a mainfunção:

    tv69 = 32
main    PROC
$LN3:
        sub     rsp, 56                             ; 00000038H
        call    int f(void)                         ; f
        mov     DWORD PTR tv69[rsp], eax
        mov     dl, 46                                    ; 0000002eH
        lea     rcx, OFFSET FLAT:std::basic_ostream<char,std::char_traits<char> > std::cout ; std::cout
        call    std::basic_ostream<char,std::char_traits<char> > & std::operator<<<std::char_traits<char> >(std::basic_ostream<char,std::char_traits<char> > &,char) ; std::operator<<<std::char_traits<char> >
        mov     ecx, DWORD PTR tv69[rsp]
        mov     edx, ecx
        mov     rcx, rax
        call    std::basic_ostream<char,std::char_traits<char> > & std::basic_ostream<char,std::char_traits<char> >::operator<<(int) ; std::basic_ostream<char,std::char_traits<char> >::operator<<
        xor     eax, eax
        add     rsp, 56                             ; 00000038H
        ret     0
main    ENDP

    ... enquanto o GCC produz isto:

    main:
        push    rbp
        mov     rbp, rsp
        push    rbx
        sub     rsp, 8
        mov     esi, 46
        mov     edi, OFFSET FLAT:_ZSt4cout
        call    std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char)
        mov     rbx, rax
        call    f()
        mov     esi, eax
        mov     rdi, rbx
        call    std::basic_ostream<char, std::char_traits<char> >::operator<<(int)
        mov     eax, 0
        mov     rbx, QWORD PTR [rbp-8]
        leave
        ret

    Na saída MSVC, f()é chamado antes do primeiro operator<<, enquanto o GCC chama f() depois de chamar o primeiro operator<<on std::cout.

    A razão para isso é que em C++, a ordem de avaliação não é especificada :

    A ordem de avaliação de qualquer parte de qualquer expressão, incluindo a ordem de avaliação dos argumentos da função, não é especificada (com algumas exceções listadas abaixo). O compilador pode avaliar operandos e outras subexpressões em qualquer ordem e pode escolher outra ordem quando a mesma expressão for avaliada novamente.

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

    • 6

relate perguntas