严格的别名和强制转换联合指针

Question

我环顾了这个网站，试图弄清楚我对不同联合的强制转换是否违反了严格的别名或其他 UB。

我有数据包通过串行线路进入，我存储/获取它们：

union uart_data {
  struct {
    uint8_t start;
    uint8_t addr;
    uin16_t length;
    uint8_t data[];
  };
  uint8_t bytes[BUFFER_SIZE];
};

void store_byte(uint8_t byte) {
  uart_data->start = byte;
  /* and so on with the other named fields. */
}

uint8_t * get_buffer() {
  return uart_data->bytes;
}

我的理解是，至少对于 GCC 和 GNU 扩展来说，这是一种进行类型双关的有效方法。

但是，然后我想将返回值从 get_buffer() 转换为 uart 不需要了解详细信息的更具体类型的数据包。

union spec_pkt {
  struct {
    uint8_t start;
    uint8_t addr;
    uin16_t length;
    uint8_t command;
    uint8_t some_field;
    uint16_t data_length;
    uint8_t data[];
  };
  uint8_t bytes[BUFFER_SIZE];
};

void process(uint8_t *data) {
  union specific_pkt *pkt = (union specific_pkt *)data;
}

我记得在某处读到这是有效的，因为我正在从联合中存在的类型进行强制转换，但我找不到源。

我这样做的理由是我可以拥有一个只需要了解最低级别细节的 uart 驱动程序。我在 MCU 上，所以我只能访问预先分配的数据缓冲区，这样我就不必在缓冲区之间使用memcpy，浪费空间。在我的应用程序代码中，我可以以更好的方式处理数据包：

uint8_t data[BUFFER_SIZE];

data[START_POS];
data[LEN_POS];
data[DATA_POS];

如果这违反了 SA 规则或者是 UB，我希望有一些替代方案来达到同样的效果。

我在支持非对齐访问的目标上使用 GCC，并且 GCC 允许通过联合进行类型双关。

Answer 1

标准完全没有指定结构或联合对象可以通过类型不是结构或联合的非字符左值访问的情况。如果一个人认识到标准的目的是纯粹表明编译器何时必须认识到一个对象正在被一个看似无关的左值访问，但并不意味着适用于编译器将能够看到一种类型的左值或指针用于派生另一种类型，然后用于访问与第一种类型关联的存储，而无需对该存储进行任何干预冲突操作，这种省略是有意义的。例如，给定：

struct sizedPointer { int length,size; int *dat; };
void storeThing(struct sizedPointer *dest, int n)
{
  if (dest->length < dest->size)
  {
    dest->dat[dest->length] = n;
    dest->length++;
  }
}

这样的解释将允许编译器假设dest->length 不会使用dest->dat 编写，因为它的值在dest->dat 形成之后已被观察到，但需要编译器识别给定的：

union blob { uint16_t hh[8]; uint64_t oo[2]; } myBblob;

类似的操作

sscanf(someString, "%4x", &myBlob.hh[1]);

在函数返回后可能与从myBlob 派生的任何左值交互。

不幸的是，gcc 和 clang 将规则解释为仅在不这样做会完全破坏语言的情况下强制识别。因为标准没有强制要求成员类型的左值可以以任何方式使用，并且 gcc 和 clang 已经明确声明不应该依赖它们来做超出标准要求的任何事情，所以对任何有用的东西的支持应该被视为任由 clang 和 gcc 的维护者随心所欲。