CreateWindowEx返回指针对齐不符合预期？Win32 API疑问咨询

问题背景 #

在Win32 C语言项目中，出现了以下断言行为矛盾的情况：

const HWND window = CreateWindowExW(...);

static_assert(alignof *window == alignof (int)); // 1. 始终成立
assert((uintptr_t) window % alignof (int) == 0); // 2. 通常不成立
assert((uintptr_t) window % alignof (short) == 0); // 3. 测试中始终成立

<windef.h>中的精简定义可佐证断言1的正确性：

typedef struct HWND__ {
    int unused;
} *HWND;

疑问：为何会出现断言1与2的矛盾？这属于Win32 API的Bug吗？

核心原因解析 #

1. 类型对齐规则 vs 实际句柄本质 #

断言1验证的是C语言类型系统的对齐要求：因为HWND__结构体包含int类型成员，所以alignof(HWND__)必然等于alignof(int)（32位系统通常为4字节，64位为4或8字节）。但这里的关键是——Win32窗口句柄并非指向真实HWND__结构体的内存指针。

Windows内核中，窗口句柄是经过编码的整数（类似索引+标记的复合值），属于系统定义的不透明句柄（opaque handle），其数值特征由系统内部逻辑决定，而非C语言类型规则。

2. Win16遗留的对齐约束 #

断言3成立、断言2失败的直接原因是Win16时代的兼容性遗留：

• Win16系统中sizeof(int)为2字节，窗口句柄被设计为2字节对齐；
• 升级到Win32后，虽然C语言的int变为4字节，但系统为了兼容老程序和遗留API逻辑，仅保留了2字节（即short的对齐要求）的对齐保证，不再满足4字节对齐。

是否属于Win32 API Bug？ #

这不属于Bug，原因如下：

• 头文件中的HWND__结构体只是语法占位符，并非系统内部真实的窗口对象布局；
• Windows官方文档明确说明，不透明句柄的数值特征（包括对齐、数值范围）是未定义行为，开发者不应依赖这些特征，只需按API要求传递句柄即可。

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