主页 / coding / 问题 / 77789511
Accepted
Strasse34
Asked: 2024-01-10 04:15:26 +0800 CST

不同编译器的执行顺序不同[重复]

  • 772

此代码在 XCode 和 Visual Studio 中提供不同的输出：

#include <iostream>

using namespace std;

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

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

在 Visual Studio 中它输出

A.1

在 XCode 中它输出

.A1

显然我希望两个编译器输出相同的东西..是否应该不这样做？这是已知的事情还是我可以对此做些什么？

c++

1 个回答

  1. Best Answer

    MSVC 编译代码的方式显然与 GCC 不同。

    通过Godbolt检查汇编代码（使用 x86-64 gcc 13.2 和 x64 msvc v19.38）显示 MSVC 为该main函数生成以下汇编代码：

    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

    ...而 GCC 产生了这个：

    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

    在 MSVC 输出中，在第一个之前f()调用，而 GCC在调用第一个之后调用。operator<<f() operator<<std::cout

    原因是在 C++ 中，求值的顺序是未指定的：

    任何表达式的任何部分的求值顺序（包括函数参数的求值顺序）均未指定（下面列出了一些例外情况）。编译器可以按任意顺序计算操作数和其他子表达式，并且在再次计算同一表达式时可以选择其他顺序。

    C++ 中没有从左到右或从右到左求值的概念。不要与运算符的从左到右和从右到左的关联性相混淆：表达式a() + b() + c()被解析为(a() + b()) + c()由于运算符+的从左到右的关联性，但c()可以首先、最后、或者之间a()或b()在处进行计算运行。

    • 6

相关问题