字节序和大小为 1 的位域

Question

我认为字节序不应该影响最多 1 个字节的结构。 但这是我的小端机器上的代码：

#include <iostream>
#include <bitset>
#include <cstdint>
#include <cstring>

using namespace std;

static_assert(sizeof(uint8_t) == 1, "Wrong uint8_t size");

struct Pieces {
    uint8_t flag : 1;
    uint8_t value : 7;
};

static_assert(sizeof(Pieces) == 1, "Something went wrong with Pieces size");

int main()
{
    uint8_t value = 0b10001111;
    Pieces pieces;
    std::memcpy(&pieces, &value, 1);

    cout << bitset<8>(value) << endl;
    // 10001111
    cout << bitset<1>(pieces.flag) << bitset<7>(pieces.value) << endl;
    // 11000111
    return 0;
}

结果不正确。 但是如果我改变了pieces结构中flag和value成员的顺序，那么结果是正确的。 但它不应该像我写的那样吗？ 我value的第一个（从左数起）位是标志。 它看起来像字节序问题，但字节序不是应该定义字节的顺序，而不是位吗？

有人可以向我解释这里到底发生了什么吗？

Answer 1

所以让我从评论中收集所有信息。

似乎标准中没有指定位字段的顺序，因此取决于实现。 该标准的相关部分是（感谢@molbdnilo）：

§9.6：“位域在某些机器上从右到左分配，在其他机器上从左到右分配。”

另外让我注意其他评论。 似乎位域的顺序在内存中只是颠倒了。 这似乎也与普通字段的顺序一致，并且可能与字节序一致（如果有人可以在大字节序机器上检查它，我将不胜感激）。

我想这就是“在某些机器上从右到左”和“在其他机器上从左到右”的意思。 然而，这是我的解释，如前所述，我们不应该依赖它。