单元测试中，将任意整数常量转为对象/函数指针是否为UB？

先说结论：直接把任意整数常量（比如你这里的(uintptr_t)2）转成对象类型指针，大概率属于未定义行为（UB），核心问题出在两个点：地址有效性和对齐要求。

为什么这是未定义行为？ #

根据C标准（C17 6.3.2.3 Pointers）的规定：

整数可以转换为任何指针类型。除前面规定的情况外，结果是实现定义的，可能未正确对齐，可能不指向引用类型的实体，并且可能是陷阱表示。

拆解一下：

• 只有当这个整数是从某个有效指针通过uintptr_t反向转换而来，或者你的编译器/系统明确定义了这个整数对应的有效地址时，转换才是安全的。你这里直接用2转成struct helper*，显然不属于这两种情况。
• 如果转换后的指针不满足目标类型（struct helper）的对齐要求，哪怕你只是把它存起来不做解引用操作，在一些严格对齐的架构（比如ARM、MIPS的某些模式）下，也可能触发硬件陷阱，直接导致程序崩溃——这完全符合UB的定义。

对齐问题的具体影响 #

struct helper作为一个结构体，有它自己的对齐要求（比如结构体里如果包含int成员，通常要求4字节对齐；如果有double，可能要求8字节对齐）。(uintptr_t)2对应的地址是2，显然无法满足大多数结构体的对齐要求。这种情况下：

• 在允许非对齐访问的架构（比如x86）上，可能暂时不会出问题，但这只是编译器/架构的宽容，不是标准保证的——换个环境就可能崩溃。
• 在严格要求对齐的架构上，仅仅是创建这个指针就可能触发陷阱，更别说后续如果不小心解引用了。

单元测试的安全替代方案 #

既然你是做单元测试，struct helper是opaque类型，不需要实际操作它的内容，完全可以用更安全的方式构造合法指针：

方案1：用实际的dummy变量 #

如果struct helper只是opaque但允许实例化，直接定义一个空变量取地址即可：

struct helper dummy_helper; // 只要有前向声明就能定义
struct my_struct *ms_ptr = create_my_struct(&dummy_helper, am);

方案2：用malloc分配对齐内存 #

如果opaque类型不允许直接实例化，用malloc分配一块符合大小和对齐要求的内存：

struct helper *dummy_hptr = malloc(sizeof(struct helper));
struct my_struct *ms_ptr = create_my_struct(dummy_hptr, am);

// 测试完成后记得释放
free(dummy_hptr);
free(ms_ptr);

方案3：手动对齐的缓冲区 #

如果你的编译器支持（比如GCC/Clang），可以用属性指定对齐：

#include <stdalign.h>

// 分配一块大小足够、对齐符合要求的缓冲区
uint8_t dummy_buf[sizeof(struct helper)] __attribute__((aligned(__alignof__(struct helper))));
struct helper *dummy_hptr = (struct helper*)dummy_buf;

struct my_struct *ms_ptr = create_my_struct(dummy_hptr, am);

这些方案都能保证你传入的是合法、对齐的指针，完全不会触发UB，比直接用整数转指针靠谱得多。

内容的提问来源于stack exchange，提问作者St.Antario