按位或的评估顺序

Question

考虑以下代码：

#include <stdint.h>
#include <vector>
#include <iostream>
int main()
{
    typedef std::vector<uint8_t> rawbytes;
    rawbytes data({0xaa,0xbb,0xcc,0xdd});
    rawbytes::iterator data_it = data.begin();

    uint32_t as_int = (*data_it++ << 24 ) | ( *data_it++ << 16 ) | ( *data_it++ << 8 ) | *data_it++;     

    std::cout << std::hex << as_int << std::endl;
}

这段代码的输出是我所期望的：

aabbccdd

实际上，我编写了类似的代码，但我意识到我不确定它是否可以正常工作。

我对此表示怀疑：

uint32_t as_int = (*data_it++ << 24 ) | ( *data_it++ << 16 ) | ( *data_it++ << 8 ) | *data_it++;

如果可以保证从左到右执行评估，那么意味着按此顺序进行？：

1: (*data_it++ << 24 )
2: (*data_it++ << 16 )
3: (*data_it++ << 8 )
4: *data_it++

我的理解如下：来自“ |” 从操作员的角度来看，先执行操作员的哪一方都没有关系。因此，这意味着该代码按预期运行，但实际上是偶然的。

所以我的问题是，如果可以保证，为什么？

Answer 1

没有这样的保证。

与它的表弟不同||，|它不是测序点。

您的程序的行为是不确定的。