位图处理中指针运算与类型转换的标准合规方案问询

在位图处理场景中，图像的每一行几乎都要求从4字节边界开始存储。当图像位深度小于32位时，就会产生填充（padding）。

示例：24位RGB图像每个像素占3字节，若图像宽度为1026像素，则一行总字节数为 1026 * 3 = 3078。由于3078无法被4整除，需要额外添加2字节填充，才能让下一行从4字节边界开始。

单行实际占用的字节空间通常被称为pitch（间距）。这意味着无法直接用y * width + x这类简单公式定位(x, y)处的像素，必须通过指针运算来处理。

假设我们定义了以下用于像素和图像数据的结构体：

struct PixelRGB24
{
  unsigned char r, g, b;
};

struct ImageRGB24
{
  unsigned int width;
  unsigned int heigth;
  unsigned int pitch;
  void *pixels;
};

请问以下哪段代码符合C++标准（无未定义行为）？（为简化逻辑，省略了边界检查）

1. 特殊指针运算实现 #

PixelRGB24 GetPixel(unsigned int x, unsigned int y, ImageRGB24 *image)
{
  PixelRGB24 *pixel = reinterpret_cast<PixelRGB24 *>(reinterpret_cast<uintptr_t>(image->pixels) + y * image->pitch + 3 * x);

  return *pixel;
}

2. 多步类型转换实现 #

PixelRGB24 GetPixel(unsigned int x, unsigned int y, ImageRGB24 *image)
{
  char *row_offset = static_cast<char *>(image->pixels) + y * image->pitch;
  void *pixel_offset_raw = static_cast<void *>(row_offset);
  PixelRGB24 *pixel = static_cast<PixelRGB24 *>(pixel_offset_raw) + x;
  return *pixel;
}

3. 简化类型转换实现 #

PixelRGB24 GetPixel(unsigned int x, unsigned int y, ImageRGB24 *image)
{
  char *row_offset = static_cast<char *>(image->pixels) + y * image->pitch;
  PixelRGB24 *pixel = reinterpret_cast<PixelRGB24 *>(row_offset) + x;
  return *pixel;
}

或者以上三种实现都存在未定义行为？如果是这样，正确的解决方案是什么？

结论：三种实现均存在未定义行为 #

具体问题分析如下：

1. 特殊指针运算实现的问题

将void*转换为uintptr_t进行算术运算后再转回指针的操作，C++标准并未保证其安全性。尽管多数平台上uintptr_t可以正确映射指针地址，但标准仅规定它是能容纳指针值的整数类型，不保证指针与整数的转换会保留内存地址的算术特性。更关键的是，最终生成的PixelRGB24*可能指向未对齐的内存地址，对该指针解引用会触发未定义行为。

2. 多步/简化类型转换实现的问题

这两种实现的核心问题一致：

• 违反了严格别名规则：标准规定，除char*/unsigned char*/std::byte*外，不同类型的指针不能交叉访问同一内存区域。位图的像素数据是字节流（本质是unsigned char数组），而非PixelRGB24类型的数组，用PixelRGB24*访问该内存属于违规操作。
• 指针加法的逻辑隐患：PixelRGB24*的指针加法是按结构体大小（3字节）偏移，看似符合像素存储间隔，但由于指针本身并未指向有效的PixelRGB24对象，这种操作属于对不存在对象的指针运算，同样是未定义行为。

符合标准的正确实现 #

要规避未定义行为，应使用unsigned char*（或char*/std::byte*）直接访问内存，再手动构造PixelRGB24对象，或通过memcpy完成数据拷贝：

方式1：逐字节构造像素

PixelRGB24 GetPixel(unsigned int x, unsigned int y, ImageRGB24 *image)
{
  unsigned char *data = static_cast<unsigned char*>(image->pixels);
  size_t pixel_offset = y * image->pitch + x * 3;
  PixelRGB24 pixel;
  pixel.r = data[pixel_offset];
  pixel.g = data[pixel_offset + 1];
  pixel.b = data[pixel_offset + 2];
  return pixel;
}

方式2：使用memcpy拷贝

#include <cstring>

PixelRGB24 GetPixel(unsigned int x, unsigned int y, ImageRGB24 *image)
{
  unsigned char *data = static_cast<unsigned char*>(image->pixels);
  size_t pixel_offset = y * image->pitch + x * 3;
  PixelRGB24 pixel;
  std::memcpy(&pixel, data + pixel_offset, sizeof(PixelRGB24));
  return pixel;
}

这两种实现的合规性在于：

• 用unsigned char*访问内存，完全符合严格别名规则；
• 手动构造或拷贝生成PixelRGB24对象，避免了对无效指针的解引用；
• 无需依赖内存对齐，逐字节访问或memcpy可处理任意对齐的内存区域。

内容的提问来源于stack exchange，提问作者Mario